Antoine Van Muylder

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Relational Queries

Propositional Calculus

Framework Enables

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Antoine Van Muylder, Andreas Nuyts, Dominique Devriese
Internal and Observational Parametricity for Cubical Agda. Proc. ACM Program. Lang. 8 (POPL) (2024)
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. IACR Cryptol. ePrint Arch. 2021 (2021)
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. CSF (2021)
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
The next 700 relational program logics. Proc. ACM Program. Lang. 4 (POPL) (2020)
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
The Next 700 Relational Program Logics. CoRR (2019)