Billede af Bas Spitters

Vis Scopus-profil

Bas Spitters

 https://orcid.org/0000-0002-2802-0973

  • Åbogade 34, 5341, 119

    8200 Aarhus N

    Danmark

20062024

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2024

    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
  • 2023

    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 adgang
    6 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

    2 Citationer (Scopus)
  • 2022

    Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework

    Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B., okt. 2022, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022). Dargaye, Z. & Schneidewind, C. (red.). Dagstuhl Publishing, 13 s. (OpenAccess Series in Informatics, Bind 105).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    1 Citationer (Scopus)
  • 2021

    Extracting smart contracts tested and verified in Coq

    Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B., jan. 2021, CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021. Hritcu, C. & Popescu, A. (red.). Association for Computing Machinery, s. 105-121 17 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    11 Citationer (Scopus)

  • Formalizing Nakamoto-Style Proof of Stake

    Thomsen, S. E. & Spitters, B., 2021, Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021. IEEE, 15 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    13 Citationer (Scopus)

  • Formal security analysis of MPC-in-the-head zero-knowledge protocols

    Sidorenco, N., Oechsner, S. & Spitters, B., 2021, Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021. IEEE, s. 607-620 14 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    11 Citationer (Scopus)

  • SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

    Abate, C., Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hriţcu, C., Maillard, K. & Spitters, B., 2021, Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021. IEEE, 15 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    15 Citationer (Scopus)
  • 2020

    ConCert: A smart contract certification framework in Coq

    Annenkov, D., Botsch Nielsen, J. & Spitters, B., 2020, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20-21, 2020, New Orleans, LA, USA. New York: Association for Computing Machinery, s. 215-228 14 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    30 Citationer (Scopus)

  • Smart contract interactions in coq

    Nielsen, J. B. & Spitters, B., jan. 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (red.). Cham: Springer, s. 380-391 12 s. (Lecture Notes in Computer Science, Bind 12232).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    7 Citationer (Scopus)
  • 2018

    Computer-Aided Proofs for Multiparty Computation with Active Security

    Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B. & Strub, P., 7 aug. 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. Oxford: IEEE, Bind 2018. s. 119-131 13 s. 8429300. (Proceedings of the IEEE Computer Security Foundations Symposium; Nr. 31).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    22 Citationer (Scopus)

  • Preuves constructives de programmes probabilistes

    Faissole, F. & Spitters, B., jan. 2018, Journées Francophones des Langages Applicatifs. (Journées Francophones des Langages Applicatifs (JFLA); Nr. 2018).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2017

    The HoTT Library: A Formalization of Homotopy Type Theory in Coq

    Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M. & Spitters, B., 16 jan. 2017, CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017. Bertot, Y. & Vafeiadis, V. (red.). New York, NY, USA: Association for Computing Machinery, s. 164-172 9 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    38 Citationer (Scopus)
  • 2016

    Guarded Cubical Type Theory: Path Equality for Guarded Recursion

    Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2016, CSL 2016: 25th EACSL Annual Conference on Computer Science Logic. Talbot, J.-M. & Regnier, L. (red.). s. 1 - 17 17 s. (Leibniz International Proceedings in Informatics, Bind 62).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    168 Downloads (Pure)
  • 2013

    The Picard algorithm for ordinary differential equations in Coq

    Makarov, E. & Spitters, B., 28 aug. 2013, Interactive Theorem Proving - 4th International Conference, ITP 2013, Proceedings. s. 463-468 6 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7998 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    25 Citationer (Scopus)
  • 2011

    Computer certified efficient exact reals in Coq

    Krebbers, R. & Spitters, B., 11 aug. 2011, Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings. s. 90-106 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 6824 LNAI).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    10 Citationer (Scopus)