Sciweavers

10585 search results - page 134 / 2117

» The Orc Programming Language

98

Voted

IFIP
2010
Springer

114views Programming Languages» more IFIP 2010»

Formal Analysis of Key Integrity in PKCS#11

14 years 10 months ago

Formal Analysis of Key Integrity in PKCS#11

Download www.dsi.unive.it

Andrea Falcone, Riccardo Focardi

claim paper

Read More »

84

IFIP
2010
Springer

78views Programming Languages» more IFIP 2010»

Secure Upgrade of Hardware Security Modules in Bank Networks

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

103

IFIP
2010
Springer

94views Programming Languages» more IFIP 2010»

Match It or Die: Proving Integrity by Equality

14 years 10 months ago

Match It or Die: Proving Integrity by Equality

Download www.dsi.unive.it

Matteo Centenaro, Riccardo Focardi

claim paper

Read More »

100

IFIP
2010
Springer

116views Programming Languages» more IFIP 2010»

A Mediation Information System to Help to Coordinate the Response to a Crisis

14 years 10 months ago

A Mediation Information System to Help to Coordinate the Response to a Crisis

Download www.uninova.pt

Sébastien Truptil, Frédérick ...

claim paper

Read More »

119

IFIP
2010
Springer

114views Programming Languages» more IFIP 2010»

Towards an Environmental Management Approach for Collaborative Networks

14 years 10 months ago

Towards an Environmental Management Approach for Collaborative Networks

Download www.uninova.pt

Ovidiu Noran

claim paper

Read More »

« Prev « First page 134 / 2117 Last » Next »