Sciweavers

14850 search results - page 75 / 2970
» The Security of
Sort
View
CRISIS
2009
13 years 9 months ago
Formal analysis of attacks for e-voting system
Komminist Weldemariam, Richard A. Kemmerer, Adolfo...
CCS
2010
ACM
13 years 9 months ago
Spectrum based fraud detection in social networks
Xiaowei Ying, Xintao Wu, Daniel Barbará
CCS
2010
ACM
13 years 9 months ago
Robusta: taming the native beast of the JVM
Joseph Siefers, Gang Tan, Greg Morrisett
CCS
2010
ACM
13 years 9 months ago
Computationally sound verification of source code
Michael Backes, Matteo Maffei, Dominique Unruh