Projects per year
Personal profile
Keywords
- Semantics of programming language
- Programming languages and formal models
- Cryptology
- Functional programming
Fingerprint
Dive into the research topics where Bas Spitters is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Finished
-
Verifiable cryptographic software
Aranha, D. F. (PI), Spitters, B. (CoPI) & Hvass, B. S. (Participant)
01/08/2019 → 12/04/2023
Project: Research
Research output
-
CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq
Meier, W., Jensen, M., Pichon-Pharabod, J. & Spitters, B., 10 Jan 2025, Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, p. 127-139 13 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research
-
hax: Verifying Security-Critical Rust Software Using Multiple Provers
Bhargavan, K., Buyse, M., Franceschino, L., Hansen, L. L., Kiefer, F., Schneider-Bensch, J. & Spitters, B., 2025, Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Revised Selected Papers. Protzenko, J. & Raad, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 96-119 24 p. (Lecture Notes in Computer Science, Vol. 15525 LNCS).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
Modernizing FIPS for safe languages and verified libraries
Protzenko, J. & Spitters, B., 2024.Research output: Contribution to conference › Paper › Research
File16 Downloads (Pure) -
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography
Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C. & Spitters, B., Jan 2024, CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). Association for Computing Machinery, p. 30-44 15 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access1 Citation (Scopus) -
Formalising Decentralised Exchanges in Coq
Nielsen, E. H., Annenkov, D. & Spitters, B., Jan 2023, CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). New York: Association for Computing Machinery, p. 290-302 13 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access9 Citations (Scopus)