Sciweavers

10622 search results - page 137 / 2125

» Python Programming Language

89

IFIP
2010
Springer

80views Programming Languages» more IFIP 2010»

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

14 years 11 months ago

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

Download www-sop.inria.fr

Clément Hurlin, Hélène Kirchn...

claim paper

Read More »

93

IFIP
2010
Springer

107views Programming Languages» more IFIP 2010»

Reasoning with Past to Prove PKCS#11 Keys Secure

14 years 11 months ago

Reasoning with Past to Prove PKCS#11 Keys Secure

Download csd.informatik.uni-oldenburg.de

Sibylle B. Fröschle, Nils Sommer

claim paper

Read More »

109

IFIP
2010
Springer

114views Programming Languages» more IFIP 2010»

Formal Analysis of Key Integrity in PKCS#11

14 years 11 months ago

Formal Analysis of Key Integrity in PKCS#11

Download www.dsi.unive.it

Andrea Falcone, Riccardo Focardi

claim paper

Read More »

95

IFIP
2010
Springer

78views Programming Languages» more IFIP 2010»

Secure Upgrade of Hardware Security Modules in Bank Networks

14 years 11 months ago

Secure Upgrade of Hardware Security Modules in Bank Networks

Download www.dsi.unive.it

Riccardo Focardi, Flaminia L. Luccio

claim paper

Read More »

114

IFIP
2010
Springer

94views Programming Languages» more IFIP 2010»

Match It or Die: Proving Integrity by Equality

14 years 11 months ago

Match It or Die: Proving Integrity by Equality

Download www.dsi.unive.it

Matteo Centenaro, Riccardo Focardi

claim paper

Read More »

« Prev « First page 137 / 2125 Last » Next »