research
∙
11/28/2020
Delegated RingCT: faster anonymous transactions
We present a modification to RingCT protocol with stealth addresses that...
share
research
∙
05/29/2020
WhylSon: Proving your Michelson Smart Contracts in Why3
This paper introduces WhylSon, a deductive verification tool for smart c...
research
∙
05/24/2020
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
This paper introduces Tezla, an intermediate representation of Michelson...
research
∙
12/05/2017
