Skip to Main content Skip to Navigation

hal-03066338v1  Conference papers
Dario CatalanoGeorg FuchsbauerAzam Soleimanian. Double-Authentication-Preventing Signatures in the Standard Model
SCN 2020 - 12th International Conference Security and Cryptography for Networks, Sep 2020, Amalfi / Virtual, Italy. pp.338-358
hal-01400469v1  Conference papers
Karthikeyan BhargavanAntoine Delignat-LavaudCédric FournetAnitha GollamudiGeorges Gonthier et al.  Formal Verification of Smart Contracts: Short Paper
ACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. ⟨10.1145/2993600.2993611⟩
tel-02947185v1  Theses
Michele Orrù. Non-interactive arguments of knowledge
Cryptography and Security [cs.CR]. ENS Paris, 2020. English