1. Automated Security Analysis for Real-World IoT Devices;Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy;2023-10-29
2. Automatic verification of transparency protocols;2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P);2023-07
3. Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores;PeerJ Computer Science;2023-03-31
4. Optimization of ProVerif Programs for AKE Protocols;Programming and Computer Software;2022-12
5. Advancing the Security of LDACS;IEEE Transactions on Network and Service Management;2022-12