hax: Verifying Security-Critical Rust Software using Multiple Provers - Karthikeyan Bhargavan; Maxime Buyse; Lucas Franceschino; Lasse Letager Hansen; Franziskus Kiefer; Jonas Schneider-Bensch; Bas Spitters (IACR Cryptol. ePrint Arch., 2025)

hax: Verifying Security-Critical Rust Software Using Multiple Provers - Karthikeyan Bhargavan; Maxime Buyse; Lucas Franceschino; Lasse Letager Hansen; Franziskus Kiefer; Jonas Schneider-Bensch; Bas Spitters (Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers, 2024)

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact) - Maxime Buyse; Rémi Delmas; Youssef Hamadi (Dagstuhl Artifacts Ser., 2021)

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety - Maxime Buyse; Rémi Delmas; Youssef Hamadi (35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference), 2021)

Communicating Concurrent Kleene Algebra for Distributed Systems Specification - Maxime Buyse; Jason Jaskolka (Arch. Formal Proofs, 2019)