< Back to previous pageResearcher Antoine Joaquim S Van MuylderKeywords:Computer science (incl. applied informatics)AffiliationsSoftware Languages Lab (Research group)MemberFrom26 Mar 2021 → 1 Jan 2023Vrije Universiteit BrusselInformatics and Applied Informatics (Department)MemberFrom1 Nov 2020 → TodayVrije Universiteit BrusselPublications1 - 1 of 1SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq(2021)Series: 2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021)Volume: 1Authors: Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Joaquim S Van Muylder, Théo Winterhalter, Cătălin Hrițcu, Kenji Maillard, Bas SpittersPages: 608-622