BibTeX records: Antoine Van Muylder

• > Home > Persons > Antoine Van Muylder

@article{DBLP:journals/pacmpl/MuylderND24,
  author       = {Antoine Van Muylder and
                  Andreas Nuyts and
                  Dominique Devriese},
  title        = {Internal and Observational Parametricity for Cubical Agda},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{POPL}},
  pages        = {209--240},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632850},
  doi          = {10.1145/3632850},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MuylderND24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/HaselwarterRMWASHMS23,
  author       = {Philipp G. Haselwarter and
                  Exequiel Rivas and
                  Antoine Van Muylder and
                  Th{\'{e}}o Winterhalter and
                  Carmine Abate and
                  Nikolaj Sidorenco and
                  Catalin Hritcu and
                  Kenji Maillard and
                  Bas Spitters},
  title        = {SSProve: {A} Foundational Framework for Modular Cryptographic Proofs
                  in Coq},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {3},
  pages        = {15:1--15:61},
  year         = {2023},
  url          = {https://doi.org/10.1145/3594735},
  doi          = {10.1145/3594735},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HaselwarterRMWASHMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csfw/AbateHRMWHMS21,
  author       = {Carmine Abate and
                  Philipp G. Haselwarter and
                  Exequiel Rivas and
                  Antoine Van Muylder and
                  Th{\'{e}}o Winterhalter and
                  Catalin Hritcu and
                  Kenji Maillard and
                  Bas Spitters},
  title        = {SSProve: {A} Foundational Framework for Modular Cryptographic Proofs
                  in Coq},
  booktitle    = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
                  Croatia, June 21-25, 2021},
  pages        = {1--15},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CSF51468.2021.00048},
  doi          = {10.1109/CSF51468.2021.00048},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/AbateHRMWHMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/AbateHRMWHMS21,
  author       = {Carmine Abate and
                  Philipp G. Haselwarter and
                  Exequiel Rivas and
                  Antoine Van Muylder and
                  Th{\'{e}}o Winterhalter and
                  Catalin Hritcu and
                  Kenji Maillard and
                  Bas Spitters},
  title        = {SSProve: {A} Foundational Framework for Modular Cryptographic Proofs
                  in Coq},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {397},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/397},
  timestamp    = {Wed, 07 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/AbateHRMWHMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/MaillardHRM20,
  author       = {Kenji Maillard and
                  Catalin Hritcu and
                  Exequiel Rivas and
                  Antoine Van Muylder},
  title        = {The next 700 relational program logics},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {4:1--4:33},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371072},
  doi          = {10.1145/3371072},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MaillardHRM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1907-05244,
  author       = {Kenji Maillard and
                  Catalin Hritcu and
                  Exequiel Rivas and
                  Antoine Van Muylder},
  title        = {The Next 700 Relational Program Logics},
  journal      = {CoRR},
  volume       = {abs/1907.05244},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.05244},
  eprinttype    = {arXiv},
  eprint       = {1907.05244},
  timestamp    = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-05244.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}