Bas Spitters
Aarhus Universitet
H-index: 24
Europe-Denmark
Top articles of Bas Spitters
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography
2024/1/9
Bas Spitters
H-Index: 16
SSProve: A foundational framework for modular cryptographic proofs in Coq
ACM Transactions on Programming Languages and Systems
2023/7/20
Bas Spitters
H-Index: 16
High-assurance field inversion for curve-based cryptography
2023/7/10
Bas Spitters
H-Index: 16
High Assurance Specification of the halo2 Protocol
2023/6
Bas Spitters
H-Index: 16
Formalising decentralised exchanges in Coq
2023/1/11
Bas Spitters
H-Index: 16
CertiCoq-Wasm: Verified compilation from Coq to WebAssembly
2023
Jean Pichon-Pharabod
H-Index: 6
Bas Spitters
H-Index: 16
Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing
2023/11/15
Bas Spitters
H-Index: 16
Finding smart contract vulnerabilities with ConCert's property-based testing framework
arXiv preprint arXiv:2208.00758
2022/8/1
Bas Spitters
H-Index: 16
A formal security analysis of Blockchain voting
preprint
2022
Bas Spitters
H-Index: 16
A verified pipeline from a specification language to optimized, safe rust
2022
Bas Spitters
H-Index: 16
Synthetic topology in Homotopy Type Theory for probabilistic programming
Mathematical Structures in Computer Science
2021/11
Bas Spitters
H-Index: 16
Formal security analysis of MPC-in-the-head zero-knowledge protocols
2021/6/21
Sabine Oechsner
H-Index: 5
Bas Spitters
H-Index: 16
Formalizing nakamoto-style proof of stake
2021/6/21
Søren Eller Thomsen
H-Index: 1
Bas Spitters
H-Index: 16
Extending MetaCoq Erasure: Extraction to Rust and Elm
The Coq Workshop
2021
Jakob Botsch Nielsen
H-Index: 2
Bas Spitters
H-Index: 16
Extracting Smart Contracts Tested and Verified in Coq
2021/1/17
Jakob Botsch Nielsen
H-Index: 2
Bas Spitters
H-Index: 16
An application of computable distributions to the semantics of probabilistic programs
Foundations of Probabilistic Programming
2020/12/3
Modal dependent type theory and dependent right adjoints
Mathematical Structures in Computer Science
2020/2
ConCert: a smart contract certification framework in Coq
2020/1/20
Jakob Botsch Nielsen
H-Index: 2
Bas Spitters
H-Index: 16
Congruence closure in cubical type theory
Workshop on Homotopy Type Theory/Univalent Foundations. https://www. cs. au. dk/spitters/Emil. pdf
2020
Bas Spitters
H-Index: 16
Co-Authors
