Search Sciweavers | Sciweavers

5119 search results - page 146 / 1024

» Security Privacy

135

click to vote

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

15 years 9 months ago

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

146

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 »

107

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 »

107

click to vote

CCS
2008
ACM

97views Security Privacy» more CCS 2008»

Remote attestation on program execution

15 years 8 months ago

Download www.sis.smu.edu.sg

Liang Gu, Xuhua Ding, Robert Huijie Deng, Bing Xie...

claim paper

Read More »

173

click to vote

CCS
2008
ACM

149views Security Privacy» more CCS 2008»

Adaptive distributed mechanism against flooding network attacks based on machine learning

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers