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

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

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

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)