Sciweavers

10871 search results - page 139 / 2175

» A stable programming language

22

IFIP
2010
Springer

80views Programming Languages» more IFIP 2010»

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

13 years 5 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 »

23

IFIP
2010
Springer

107views Programming Languages» more IFIP 2010»

Reasoning with Past to Prove PKCS#11 Keys Secure

13 years 5 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 »

20

IFIP
2010
Springer

114views Programming Languages» more IFIP 2010»

Formal Analysis of Key Integrity in PKCS#11

13 years 5 months ago

Formal Analysis of Key Integrity in PKCS#11

Download www.dsi.unive.it

Andrea Falcone, Riccardo Focardi

claim paper

Read More »

19

IFIP
2010
Springer

78views Programming Languages» more IFIP 2010»

Secure Upgrade of Hardware Security Modules in Bank Networks

13 years 5 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 »

27

IFIP
2010
Springer

94views Programming Languages» more IFIP 2010»

Match It or Die: Proving Integrity by Equality

13 years 5 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 139 / 2175 Last » Next »