2025
Enhancing privacy and security in IoT: a CoAP protocol analysis and improvement approach.
J. Supercomput., June, 2025

2024
Observational equivalence and security games: Enhancing the formal analysis of security protocols.
Comput. Secur., 2024

SyntaxBridge: Protocol Description Transformer for Enhanced Formal Analysis of Security Protocols.
Proceedings of the 23rd IEEE International Conference on Trust, 2024