Institut for Datalogi

• Udgivet

  Formalising Decentralised Exchanges in Coq

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning

• Udgivet

  High-assurance field inversion for curve-based cryptography

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

• Udgivet

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

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

Vis alle (45) »