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
Open Access -
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, p. 96-119 24 p. (Lecture Notes in Computer Science, Vol. 15525).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
File45 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) -
Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing
Aranha, D. F., Hvass, B. S., Spitters, B. & Tibouchi, M., 21 Nov 2023, CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. New York: Association for Computing Machinery, p. 3228-3238 11 p.Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
7 Citations (Scopus)