CHEDDAR: Communications Hub (Extension 25-26)

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/04/25 → 31/03/26

User-Guided Verification of Security Protocols via Sound Animation
Ye, K., Metere, R. & Yadav, P., 26 Nov 2024, Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Proceedings. Madeira, A. & Knapp, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 33-51 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15280 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Project Details