Bas Spitters
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
7
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust. | Karthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters |
| 2025 | CPP | CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq. | Wolfgang Meier, Martin Jensen, Jean Pichon-Pharabod, Bas Spitters |
| 2024 | CPP | The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. | Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Tho Winterhalter, Catalin Hritcu, Bas Spitters |
| 2023 | CCS | Faster Constant-time Evaluation of the Kronecker Symbol with Application to Elliptic Curve Hashing. | Diego F. Aranha, Benjamin Salling Hvass, Bas Spitters, Mehdi Tibouchi |
| 2023 | CPP | Formalising Decentralised Exchanges in Coq. | Eske Hoy Nielsen, Danil Annenkov, Bas Spitters |
| 2022 | CAV | Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. | Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters |
| 2021 | CPP | Extracting smart contracts tested and verified in Coq. | Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters |
| 2020 | CPP | ConCert: a smart contract certification framework in Coq. | Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters |
| 2019 | FM | Smart Contract Interactions in Coq. | Jakob Botsch Nielsen, Bas Spitters |
| 2017 | CPP | The HoTT library: a formalization of homotopy type theory in Coq. | Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters |
| 2016 | CSL | Guarded Cubical Type Theory: Path Equality for Guarded Recursion. | Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi |
| 2013 | ITP | The Picard Algorithm for Ordinary Differential Equations in Coq. | Evgeny Makarov, Bas Spitters |
| 2010 | ITP | Developing the Algebraic Hierarchy with Type Classes in Coq. | Bas Spitters, Eelis van der Weegen |
| 2009 | CCA | Computer Verified Exact Analysis (Tutorial). | Bas Spitters, Russell O'Connor |