Concepedia

Andreas Lochbihler

AL

7

Publications

179

Citations

7

H-Index

2007

Active since

Affiliations

ETH Zurich(Current)

Andreas Lochbihler is an author at ETH Zurich specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsAutomated ReasoningGamesCryptographyData PrivacyData Security

Publications per year

2007–2020

7

Publications

7

Cardinality Estimators do not Preserve Privacy

Damien Desfontaines, Andreas Lochbihler, David Basin · Proceedings on Privacy Enhancing Technologies · 2019 · 45 citations · Full text

Privacy Protection, Engineering, Information Security +18

CryptHOL: Game-Based Proofs in Higher-Order Logic

David Basin, Andreas Lochbihler, S. Reza Sefidgar · Journal of Cryptology · 2020 · 39 citations

Engineering, Automated Reasoning, Proof Complexity +6

Making the java memory model safe

Andreas Lochbihler · ACM Transactions on Programming Languages and Systems · 2013 · 31 citations · Full text

Engineering, Verification, Computer Architecture +18

Formalizing Constructive Cryptography using CryptHOL

Andreas Lochbihler, S. Reza Sefidgar, David Basin et al. · 2019 · 18 citations · Full text

Cryptographic Proofs, Cryptographic Primitive, Engineering +17

Type Safe Nondeterminism ñ A Formal Semantics of Java Threads

Andreas Lochbihler · 2007 · 17 citations

Engineering, Verification, Concurrent System +17

Rows per page

1–5 of 7