Sciweavers

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