Antoine Van Muylder

According to our database, Antoine Van Muylder authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

Nominal Type Theory by Nullary Internal Parametricity.

Antoine Van Muylder, Andreas Nuyts, Dominique Devriese

CoRR, December, 2025

2024

Internal and Observational Parametricity for Cubical Agda.

Antoine Van Muylder, Andreas Nuyts, Dominique Devriese

Proc. ACM Program. Lang., January, 2024

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

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

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

The next 700 relational program logics.

Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder

Proc. ACM Program. Lang., 2020