Sciweavers

2687 search results - page 1 / 538
» Formal Analysis of PKCS
Sort
View
71
Voted
CSFW
2008
IEEE
15 years 4 months ago
Formal Analysis of PKCS#11
Stéphanie Delaune, Steve Kremer, Graham Ste...
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...
IFIP
2010
Springer
14 years 4 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
FMSD
2011
236views Formal Methods» more  FMSD 2011»
14 years 1 months ago
Automatic analysis of DMA races using model checking and k-induction
Alastair F. Donaldson, Daniel Kroening, Philipp R&...
ACISP
2004
Springer
15 years 3 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