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. Election Verifiability with ProVerif;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
3. Adversary Safety by Construction in a Language of Cryptographic Protocols;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08
4. TrollThrottle —Raising the Cost of Astroturfing;Applied Cryptography and Network Security;2020
5. A Security Formal Model for Multiple Channels Communication;2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2019-08