Cited By
View all- Hai TAksoy MIwendi CIbeke EMohan S(2024)CIA Security for Internet of Vehicles and Blockchain-AI IntegrationJournal of Grid Computing10.1007/s10723-024-09757-322:2Online publication date: 2-Apr-2024
- Fei YZhu HYin J(2023)FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoTFormal Aspects of Computing10.1145/359973135:4(1-36)Online publication date: 25-May-2023
- Xie XWu BHou B(2023)BEPHAPJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2023.102869138:COnline publication date: 1-May-2023
- Show More Cited By