Enhancing privacy and security in IoT: a CoAP protocol analysis and improvement approach.
J. Supercomput., June, 2025
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