Sciweavers

343 search results - page 1 / 69
» Formal security analysis of PKCS
Sort
View
CSFW
2008
IEEE
15 years 3 months ago
Formal Analysis of PKCS#11
Stéphanie Delaune, Steve Kremer, Graham Ste...
57
Voted
JCS
2010
61views more  JCS 2010»
14 years 8 months ago
Formal security analysis of PKCS#11 and proprietary extensions
Stéphanie Delaune, Steve Kremer, Graham Ste...
59
Voted
IFIP
2010
Springer
14 years 4 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
ACISP
2004
Springer
15 years 2 months ago
Theoretical Analysis of XL over Small Fields
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
Bo-Yin Yang, Jiun-Ming Chen
83
Voted
IEEEARES
2010
IEEE
15 years 1 months ago
Formal Specification and Analysis of an E-voting System
Komminist Weldemariam, Richard A. Kemmerer, Adolfo...