Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
- Publication date
- 1 January 2020
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 31st International Conference on Concurrency Theory (CONCUR 2020)