dbosk
commented
7 months ago - [ ] Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol
- [ ] Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System
- [ ] Formal verification of a pervasive messaging system