Sciweavers

10666 search results - page 138 / 2134

» Quantum programming languages

68

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

14 years 9 months ago

AnBx - Security Protocols Design and Verification

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »

77

IFIP
2010
Springer

80views Programming Languages» more IFIP 2010»

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

14 years 9 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 »

79

IFIP
2010
Springer

107views Programming Languages» more IFIP 2010»

Reasoning with Past to Prove PKCS#11 Keys Secure

14 years 9 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 »

93

IFIP
2010
Springer

114views Programming Languages» more IFIP 2010»

Formal Analysis of Key Integrity in PKCS#11

14 years 9 months ago

Formal Analysis of Key Integrity in PKCS#11

Download www.dsi.unive.it

Andrea Falcone, Riccardo Focardi

claim paper

Read More »

83

IFIP
2010
Springer

78views Programming Languages» more IFIP 2010»

Secure Upgrade of Hardware Security Modules in Bank Networks

14 years 9 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 »

« Prev « First page 138 / 2134 Last » Next »