Search Sciweavers | Sciweavers

14824 search results - page 215 / 2965

» Security - Introduction

135

click to vote

OOPSLA
2000
Springer

85views Security Privacy» more OOPSLA 2000»

Practical virtual method call resolution for Java

15 years 10 months ago

Download www.cs.tau.ac.il

Vijay Sundaresan, Laurie J. Hendren, Chrislain Raz...

claim paper

Read More »

136

click to vote

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

15 years 10 months ago

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

148

click to vote

CCS
2008
ACM

104views Security Privacy» more CCS 2008»

Computationally sound mechanized proofs for basic and public-key Kerberos

15 years 8 months ago

Download www.math.upenn.edu

Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, J...

claim paper

Read More »

109

click to vote

CCS
2008
ACM

107views Security Privacy» more CCS 2008»

PEREA: towards practical TTP-free revocation in anonymous authentication

15 years 8 months ago

Download www.cs.dartmouth.edu

Patrick P. Tsang, Man Ho Au, Apu Kapadia, Sean W. ...

claim paper

Read More »

108

click to vote

CCS
2008
ACM

97views Security Privacy» more CCS 2008»

Remote attestation on program execution

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers