Publications
Conference 26 Journal 11
2025
- SEKEFormal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJIn The 37th International Conference on Software Engineering and Knowledge Engineering, 2025
- SEKEFormal Specification and Model Checking of the BB84 Protocol in Maude (To Appear)In The 37th International Conference on Software Engineering and Knowledge Engineering, 2025
- PPDPFolding Narrowing for the Analysis of Mutual Exclusion Protocols (To Appear)In The 27th International Symposium on Principles and Practice of Declarative Programming, 2025
- SFPVVQRAT: A Reachability Analysis Tool for Quantum Programs (To Appear)In The 2nd International Symposium on Software Fault Prevention, Verification, and Validation, 2025