Philipp Georg Haselwarter - Research - Aarhus University

Aarhus University Seal

For students
For PhDs
For employees
Departments and faculties
AU Library

Philipp Georg Haselwarter

Postdoc

Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
pgh@cs.au.dk

Latest publications

Published
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Research output: Working paper/Preprint › Preprint
Published
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (2) »

ID: 169724020