Sciweavers

343 search results - page 1 / 69
» Formal security analysis of PKCS
Sort
View
98
Voted
CSFW
2008
IEEE
15 years 8 months ago
Formal Analysis of PKCS#11
Stéphanie Delaune, Steve Kremer, Graham Ste...
JCS
2010
61views more  JCS 2010»
15 years 6 days ago
Formal security analysis of PKCS#11 and proprietary extensions
Stéphanie Delaune, Steve Kremer, Graham Ste...
80
Voted
IFIP
2010
Springer
14 years 8 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
ACISP
2004
Springer
15 years 7 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
106
Voted
IEEEARES
2010
IEEE
15 years 6 months ago
Formal Specification and Analysis of an E-voting System
Komminist Weldemariam, Richard A. Kemmerer, Adolfo...