Philipp G. Haselwarter

According to our database, Philipp G. Haselwarter authored at least 8 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic.

Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

Proc. ACM Program. Lang., January, 2024

2023

Finitary Type Theories With and Without Contexts.

Philipp G. Haselwarter, Andrej Bauer

J. Autom. Reason., December, 2023

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters

ACM Trans. Program. Lang. Syst., September, 2023

The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography.

Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters

IACR Cryptol. ePrint Arch., 2023

2021

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters

IACR Cryptol. ePrint Arch., 2021

2020

A general definition of dependent type theories.

Andrej Bauer, Philipp G. Haselwarter, Peter LeFanu Lumsdaine

CoRR, 2020

Equality Checking for General Type Theories in Andromeda 2.

Andrej Bauer, Philipp G. Haselwarter, Anja Petkovic

Proceedings of the Mathematical Software - ICMS 2020, 2020

2016

Design and Implementation of the Andromeda Proof Assistant.

Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016