Basin, David A.; Lochbihler, Andreas; Sefidgar, S. Reza CryptHOL: game-based proofs in higher-order logic. (English) Zbl 1455.94121 J. Cryptology 33, No. 2, 494-566 (2020). MSC: 94A60 94A62 68V15 91A99 PDFBibTeX XMLCite \textit{D. A. Basin} et al., J. Cryptology 33, No. 2, 494--566 (2020; Zbl 1455.94121) Full Text: DOI
Lochbihler, Andreas Probabilistic functions and cryptographic oracles in higher order logic. (English) Zbl 1335.68033 Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 503-531 (2016). MSC: 68N18 94A60 PDFBibTeX XMLCite \textit{A. Lochbihler}, Lect. Notes Comput. Sci. 9632, 503--531 (2016; Zbl 1335.68033) Full Text: DOI