Formal Correctness of Security Protocols

Innovative Security Solutions for Information Technology and Communications: 15th International Conference, SecITC 2022, Virtual Event, December 8–9, 2022, Revised Selected Papers