Sciweavers

5119 search results - page 73 / 1024

» Security Privacy

110

Voted

CRISIS
2009

154views Security Privacy» more CRISIS 2009»

Formal analysis of attacks for e-voting system

15 years 4 months ago

Formal analysis of attacks for e-voting system

Download dit.unitn.it

Komminist Weldemariam, Richard A. Kemmerer, Adolfo...

claim paper

Read More »

90

CCS
2010
ACM

155views Security Privacy» more CCS 2010»

Spectrum based fraud detection in social networks

15 years 3 months ago

Spectrum based fraud detection in social networks

Download coitweb.uncc.edu

Xiaowei Ying, Xintao Wu, Daniel Barbará

claim paper

Read More »

81

CCS
2010
ACM

162views Security Privacy» more CCS 2010»

An improved algorithm for tor circuit scheduling

15 years 3 months ago

An improved algorithm for tor circuit scheduling

Download www.cypherpunks.ca

Can Tang, Ian Goldberg

claim paper

Read More »

80

CCS
2010
ACM

173views Security Privacy» more CCS 2010»

Robusta: taming the native beast of the JVM

15 years 3 months ago

Robusta: taming the native beast of the JVM

Download www.cse.lehigh.edu

Joseph Siefers, Gang Tan, Greg Morrisett

claim paper

Read More »

90

CCS
2010
ACM

160views Security Privacy» more CCS 2010»

Computationally sound verification of source code

15 years 3 months ago

Computationally sound verification of source code

Download www.lbs.cs.uni-saarland.de

Michael Backes, Matteo Maffei, Dominique Unruh

claim paper

Read More »

« Prev « First page 73 / 1024 Last » Next »