We present Serberus, the first comprehensive mitigation for hardening
co...
Adaptive remote instruction has led to important lessons for the future,...
The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin
p...
Smart contracts are programs that implement potentially sophisticated
tr...