Sciweavers

2687 search results - page 1 / 538
» Formal 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 2 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
FMSD
2011
236views Formal Methods» more  FMSD 2011»
12 years 8 months ago
Automatic analysis of DMA races using model checking and k-induction
Alastair F. Donaldson, Daniel Kroening, Philipp R&...
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