Cited By
View all- Debnath JJenkins CSun YChau SChowdhury O(2024)ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation2024 IEEE Symposium on Security and Privacy (SP)10.1109/SP54263.2024.00220(1462-1480)Online publication date: 19-May-2024
- Ammann MHirschi LKremer S(2024)DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing2024 IEEE Symposium on Security and Privacy (SP)10.1109/SP54263.2024.00096(1481-1499)Online publication date: 19-May-2024