Volgen
Rikard Hjort
Rikard Hjort
Chalmers University of Technology
Geverifieerd e-mailadres voor student.chalmers.se - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A proposal of blockchain-based electronic voting system
CK Adiputra, R Hjort, H Sato
2018 second world conference on smart trends in systems, security and …, 2018
942018
Formally verifying webassembly with kwasm towards an automated prover for wasm smart contracts
R Hjort
22020
The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler
R Hjort, J Holmgren, C Persson
International Symposium on Trends in Functional Programming, 135-148, 2017
22017
The CakeML Compiler Explorer Visualizing how a verified compiler transforms expressions
R Hjort, J Holmgren, C Persson
12017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4