Design and formal security evaluation of
β
Toledo, Nerea; Higuero, Marivi; Astorga, Jasone; Aguado, Marina; Bonnin, Jean Ma
π
Article
π
2013
π
Elsevier Science
π
English
β 860 KB