Find

Department of Computer Science

Bas Spitters

Associate Professor

Department of Computer Science
Åbogade 34
building 5335, 398
8200 Aarhus N
Denmark
spitters@cs.au.dk

ORCID: 0000-0002-2802-0973

https://www.cs.au.dk/~spitters/

Published
Formalising Decentralised Exchanges in Coq
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research
Published
High-assurance field inversion for curve-based cryptography
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

ID: 86072534