Automated Verification of Electrum Wallet - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Automated Verification of Electrum Wallet

Mathieu Turuani
  • Fonction : Auteur
  • PersonId : 974806
Thomas Voegtlin
  • Fonction : Auteur
  • PersonId : 974807

Résumé

We introduce a formal modeling in ASLan++ of the two-factor authentication protocol used by the Electrum Bitcoin wallet. This allows us to perform an automatic analysis of the wallet and show that it is secure for standard scenarios in Dolev Yao model [Dolev 1981]. The result could be derived thanks to some advanced features of the protocol analyzer such as the possibility to specify i) new intruder deduction rules with clauses and ii) non-deducibility constraints.
Fichier principal
Vignette du fichier
longversion.pdf (293.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01256397 , version 1 (14-01-2016)

Identifiants

  • HAL Id : hal-01256397 , version 1

Citer

Mathieu Turuani, Thomas Voegtlin, Michael Rusinowitch. Automated Verification of Electrum Wallet. 3rd Workshop on Bitcoin and Blockchain Research, Feb 2016, Christ Church, Barbados. ⟨hal-01256397⟩
301 Consultations
991 Téléchargements

Partager

Gmail Facebook X LinkedIn More