Andreas Lochbihler
Affiliations: | 2012 | Computer Science | KIT, Karlsruhe, Germany |
Google:
"Andreas Lochbihler"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Basin DA, Lochbihler A, Sefidgar SR. (2020) CryptHOL: Game-Based Proofs in Higher-Order Logic Journal of Cryptology. 33: 494-566 |
| Lochbihler A, Sefidgar SR, Basin D, et al. (2019) Formalizing Constructive Cryptography using CryptHOL Cell Structure and Function. 152-166 |
| Lammich P, Lochbihler A. (2019) Automatic Refinement to Efficient Data Structures: A Comparison of Two Approaches Journal of Automated Reasoning. 63: 53-94 |
| Lochbihler A. (2018) Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler Journal of Automated Reasoning. 61: 243-332 |