Sciweavers

259 search results - page 5 / 52

» ccs 2010

102

CCS
2010
ACM

209views Security Privacy» more CCS 2010»

Inference and analysis of formal models of botnet command and control protocols

15 years 3 months ago

Inference and analysis of formal models of botnet command and control protocols

Download bitblaze.cs.berkeley.edu

Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...

claim paper

Read More »

99

Voted

CCS
2010
ACM

143views Security Privacy» more CCS 2010»

PAriCheck: an efficient pointer arithmetic checker for C programs

15 years 6 months ago

PAriCheck: an efficient pointer arithmetic checker for C programs

Download seclab.cs.sunysb.edu

Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...

claim paper

Read More »

101

CCS
2010
ACM

165views Security Privacy» more CCS 2010»

Losing control of the internet: using the data plane to attack the control plane

15 years 3 months ago

Losing control of the internet: using the data plane to attack the control plane

Download www-users.cs.umn.edu

Max Schuchard, Abedelaziz Mohaisen, Denis Foo Kune...

claim paper

Read More »

71

CCS
2010
ACM

163views Security Privacy» more CCS 2010»

Retaining sandbox containment despite bugs in privileged memory-safe code

15 years 3 months ago

Retaining sandbox containment despite bugs in privileged memory-safe code

Download www.cs.washington.edu

Justin Cappos, Armon Dadgar, Jeff Rasley, Justin S...

claim paper

Read More »

108

Voted

ENTCS
2007

81views more ENTCS 2007»

Self-assembling Trees

15 years 3 months ago

Self-assembling Trees

Download www.pps.jussieu.fr

RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...

Vincent Danos, Jean Krivine, Fabien Tarissan

claim paper

Read More »

« Prev « First page 5 / 52 Last » Next »