Sciweavers

259 search results - page 5 / 52
» ccs 2010
Sort
View
CCS
2010
ACM
15 years 3 months ago
Inference and analysis of formal models of botnet command and control protocols
Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...
99
Voted
CCS
2010
ACM
15 years 6 months ago
PAriCheck: an efficient pointer arithmetic checker for C programs
Yves Younan, Pieter Philippaerts, Lorenzo Cavallar...
CCS
2010
ACM
15 years 3 months ago
Losing control of the internet: using the data plane to attack the control plane
Max Schuchard, Abedelaziz Mohaisen, Denis Foo Kune...
CCS
2010
ACM
15 years 3 months ago
Retaining sandbox containment despite bugs in privileged memory-safe code
Justin Cappos, Armon Dadgar, Jeff Rasley, Justin S...
108
Voted
ENTCS
2007
81views more  ENTCS 2007»
15 years 3 months ago
Self-assembling Trees
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