CryptHOL: Game-Based Proofs in Higher-Order Logic
Basin, David A., Lochbihler, Andreas, Sefidgar, S. Reza
Published in Journal of cryptology (01.04.2020)
Published in Journal of cryptology (01.04.2020)
Get full text
Journal Article
Quotients of Bounded Natural Functors
Fürer, Basil, Lochbihler, Andreas, Schneider, Joshua, Traytel, Dmitriy
Published in Logical methods in computer science (01.02.2022)
Published in Logical methods in computer science (01.02.2022)
Get full text
Journal Article
Cardinality Estimators do not Preserve Privacy
Desfontaines, Damien, Lochbihler, Andreas, Basin, David
Published in Proceedings on Privacy Enhancing Technologies (01.04.2019)
Published in Proceedings on Privacy Enhancing Technologies (01.04.2019)
Get full text
Journal Article
Formalizing Constructive Cryptography using CryptHOL
Lochbihler, Andreas, Sefidgar, S. Reza, Basin, David, Maurer, Ueli
Published in 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (01.06.2019)
Published in 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) (01.06.2019)
Get full text
Conference Proceeding
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL
Basin, David, Lochbihler, Andreas, Maurer, Ueli, Sefidgar, S. Reza
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Get full text
Conference Proceeding