research
∙
01/31/2020
Tenderbake – Classical BFT Style Consensus for Public Blockchains
Our work has been originally motivated by Tezos, a public blockchain whi...
share
research
∙
09/24/2019
Runtime Verification over Out-of-order Streams
We present an approach for verifying systems at runtime. Our approach ta...
research
∙
01/23/2018
