Concepedia

Philipp G. Haselwarter

PG

3

Publications

52

Citations

3

H-Index

2021

Active since

Affiliations

Aarhus University(Current)

Centre Inria de l'Université de Rennes

Max Planck Institute for Security and Privacy

Philipp G. Haselwarter is an author at Aarhus University specializing in computer science, software analysis, and data security.

ORCID

Top concepts

Publications per year

2021–2024

3

Publications

3

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas et al. · 2021 · 21 citations

, , +18

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter et al. · Proceedings of the ACM on Programming Languages · 2024 · 18 citations · Full text

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder et al. · ACM Transactions on Programming Languages and Systems · 2023 · 13 citations · Full text

Rows per page

1–3 of 3