Research output per year
Research output per year
Search results
-
2023
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 -
2022
Finding smart contract vulnerabilities with ConCert's property-based testing framework
Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B., Aug 2022, 13 p. (FMBC: Formal Methods for Blockchains).Research output: Working paper/Preprint › Working paper › Research
Open AccessFile38 Downloads (Pure) -
Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework
Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B., Oct 2022, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022). Dargaye, Z. & Schneidewind, C. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 13 p. (OpenAccess Series in Informatics, Vol. 105).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access -
2020
Toolchain for Timing Leakage Analysis of NIST Lightweight Crypto Candidates
Blatchley Hansen, A., Eskilden, M. & Nielsen, E. H., Oct 2020.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review