< Terug naar vorige pagina
Onderzoeker
Antoine Joaquim S Van Muylder
- Trefwoorden:Informatica
Affiliaties
- Software Languages Lab (Onderzoeksgroep)
Lid
Vanaf26 mrt 2021 → 1 jan 2023 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 nov 2020 → Heden
Publicaties
1 - 1 van 1
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq(2021)Series: 2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021)Volume: 1
Auteurs: Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Joaquim S Van Muylder, Théo Winterhalter, Cătălin Hrițcu, Kenji Maillard, Bas Spitters
Pagina's: 608-622