Sciweavers

5119 search results - page 73 / 1024
» Security Privacy
Sort
View
CRISIS
2009
14 years 11 months ago
Formal analysis of attacks for e-voting system
Komminist Weldemariam, Richard A. Kemmerer, Adolfo...
CCS
2010
ACM
14 years 10 months ago
Spectrum based fraud detection in social networks
Xiaowei Ying, Xintao Wu, Daniel Barbará
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