Projekter pr. år
Personlig profil
Emneord
- Semantik af programmeringssprog
- Programmeringssprog og formelle modeller
- Kryptologi
- Funktionel programmering
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Bas Spitters er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Projekter
- 1 Afsluttet
-
Verifiable cryptographic software
Aranha, D. F. (PI), Spitters, B. (CoPI) & Hvass, B. S. (Deltager)
01/08/2019 → 12/04/2023
Projekter: Projekt › Forskning
Publikation
-
Modernizing FIPS for safe languages and verified libraries
Protzenko, J. & Spitters, B., 2024.Publikation: Konferencebidrag › Paper › Forskning
Fil5 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. (red.). Association for Computing Machinery, s. 30-44 15 s.Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing
Aranha, D. F., Hvass, B. S., Spitters, B. & Tibouchi, M., 15 nov. 2023, CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. New York: Association for Computing Machinery, s. 3228-3238 11 s.Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
3 Citationer (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. (red.). New York: Association for Computing Machinery, s. 290-302 13 s.Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang5 Citationer (Scopus) -
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, s. 552-567 16 s. (Proceedings of the IEEE Computer Security Foundations Symposium).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
1 Citationer (Scopus)