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., Spitters, B. & Hvass, B. S.
01/08/2019 → 12/04/2023
Project: Research
Research output
-
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 Access -
Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing
Aranha, D. F., Hvass, B. S., Spitters, B. & Tibouchi, M., 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
-
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 Access -
High-assurance field inversion for curve-based cryptography
Hvass, B. S., Aranha, D. F. & Spitters, B., 2023, 2023 IEEE 36th Computer Security Foundations Symposium (CSF) . IEEE, p. 552-567 16 p. (Proceedings of the IEEE Computer Security Foundations Symposium).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Haselwarter, P. G., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C., Sidorenco, N., Hriţcu, C., Maillard, K. & Spitters, B., Jul 2023, In: ACM Transactions on Programming Languages and Systems. 45, 3, p. 61 15.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access