CHEDDAR: Communications Hub (Extension 25-26)

Research output

Research output per year 2024 2024 2024

• 1 Conference contribution

Research output per year

Research output per year

Search results

• 2024

  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