Articles with public access mandates - Bas SpittersLearn more
Available somewhere: 14
Modalities in homotopy type theory
E Rijke, M Shulman, B Spitters
Logical Methods in Computer Science, Volume 16, Issue 1 (January 8, 2020), 2017
Mandates: US Department of Defense, Villum Foundation
The HoTT library: a formalization of homotopy type theory in Coq
A Bauer, J Gross, PLF Lumsdaine, M Shulman, M Sozeau, B Spitters
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
Mandates: US National Science Foundation, US Department of Defense, Villum Foundation …
Internal universes in models of homotopy type theory
DR Licata, I Orton, AM Pitts, B Spitters
Formal Structures for Computation and Deduction (FSCD 2018), Leibniz …, 2018
Mandates: US Department of Defense, Villum Foundation, UK Engineering and Physical …
Guarded cubical type theory: Path equality for guarded recursion
L Birkedal, A Bizjak, R Clouston, HB Grathwohl, B Spitters, A Vezzosi
arXiv preprint arXiv:1606.05223, 2016
Mandates: Danish Council for Independent Research, Villum Foundation
Modal dependent type theory and dependent right adjoints
L Birkedal, R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters
Mathematical Structures in Computer Science 30 (2), 118-138, 2020
Mandates: US Department of Defense, Danish Council for Independent Research, Villum …
Ssprove: A foundational framework for modular cryptographic proofs in coq
C Abate, PG Haselwarter, E Rivas, A Van Muylder, T Winterhalter, ...
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
Mandates: US Department of Defense, Research Foundation (Flanders), European Commission
Computer-aided proofs for multiparty computation with active security
H Haagh, A Karbyshev, S Oechsner, B Spitters, PY Strub
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 119-131, 2018
Mandates: Danish Council for Independent Research, Villum Foundation, European Commission
Formal security analysis of MPC-in-the-head zero-knowledge protocols
N Sidorenco, S Oechsner, B Spitters
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-14, 2021
Mandates: US Department of Defense, Danish Council for Independent Research
Synthetic topology in Homotopy Type Theory for probabilistic programming
ME Bidlingmaier, F Faissole, B Spitters
Mathematical Structures in Computer Science 31 (10), 1301-1329, 2021
Mandates: US Department of Defense, Villum Foundation
Cubical sets and the topological topos
B Spitters
arXiv preprint arXiv:1610.05270, 2016
Mandates: Villum Foundation
SSProve: A foundational framework for modular cryptographic proofs in Coq
PG Haselwarter, E Rivas, A Van Muylder, T Winterhalter, C Abate, ...
ACM Transactions on Programming Languages and Systems 45 (3), 1-61, 2023
Mandates: US Department of Defense, Research Foundation (Flanders), German Research …
Metric complements of overt closed sets
T Coquand, E Palmgren, B Spitters
Mathematical Logic Quarterly 57 (4), 373-378, 2011
Mandates: Swedish Research Council
Congruence closure in cubical type theory
EH Gjørup, B Spitters
Workshop on Homotopy Type Theory/Univalent Foundations. https://www. cs. au …, 2020
Mandates: US Department of Defense
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography
PG Haselwarter, BS Hvass, LL Hansen, T Winterhalter, C Hriţcu, ...
Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024
Mandates: German Research Foundation, Villum Foundation, Federal Ministry of Education …
Publication and funding information is determined automatically by a computer program