Sciweavers

8949 search results - page 132 / 1790

» is 1998

37

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

14 years 3 months ago

Recursive Object Types in a Logic of Object-Oriented Programs

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

38

ESORICS
1998
Springer

98views Security Privacy» more ESORICS 1998»

On the Security of Digital Tachographs

14 years 3 months ago

On the Security of Digital Tachographs

Download www.cl.cam.ac.uk

Ross J. Anderson

claim paper

Read More »

35

ESORICS
1998
Springer

102views Security Privacy» more ESORICS 1998»

Dealing with Multi-policy Security in Large Open Distributed Systems

14 years 3 months ago

Dealing with Multi-policy Security in Large Open Distributed Systems

Download hal.archives-ouvertes.fr

Christophe Bidan, Valérie Issarny

claim paper

Read More »

21

EUROCRYPT
1998
Springer

84views Cryptology» more EUROCRYPT 1998»

Fast Batch Verification for Modular Exponentiation and Digital Signatures

14 years 3 months ago

Fast Batch Verification for Modular Exponentiation and Digital Signatures

Download cseweb.ucsd.edu

Mihir Bellare, Juan A. Garay, Tal Rabin

claim paper

Read More »

22

EUROCRYPT
1998
Springer

124views Cryptology» more EUROCRYPT 1998»

A Practical and Provably Secure Scheme for Publicly Verifiable Secret Sharing and Its Applications

14 years 3 months ago

A Practical and Provably Secure Scheme for Publicly Verifiable Secret Sharing and Its Applications

Download www.cs.bham.ac.uk

Eiichiro Fujisaki, Tatsuaki Okamoto

claim paper

Read More »

« Prev « First page 132 / 1790 Last » Next »