Sciweavers

259 search results - page 2 / 52
» ccs 2010
Sort
View
CCS
2010
ACM
13 years 5 months ago
Robusta: taming the native beast of the JVM
Joseph Siefers, Gang Tan, Greg Morrisett
CCS
2010
ACM
13 years 5 months ago
Computationally sound verification of source code
Michael Backes, Matteo Maffei, Dominique Unruh
CCS
2010
ACM
13 years 3 months ago
Fingerprinting websites using remote traffic analysis
Xun Gong, Negar Kiyavash, Nikita Borisov
CCS
2010
ACM
13 years 9 months ago
Preventing drive-by download via inter-module communication monitoring
Chengyu Song, Jianwei Zhuge, Xinhui Han, Zhiyuan Y...
CCS
2010
ACM
13 years 11 months ago
Computationally secure two-round authenticated message exchange
Klaas Ole Kürtz, Henning Schnoor, Thomas Wilk...