Sciweavers

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