Security Privacy | Sciweavers

17

click to vote

CCS
2006
ACM

106views Security Privacy» more CCS 2006»

Salsa: a structured approach to large-scale anonymity

13 years 11 months ago

Download ranger.uta.edu

Arjun Nambiar, Matthew Wright

claim paper

Read More »

26

click to vote

CCS
2006
ACM

105views Security Privacy» more CCS 2006»

Providing witness anonymity in peer-to-peer systems

13 years 11 months ago

Download cs.gmu.edu

In this paper, we introduce the concept of witness anonymity for peer-to-peer systems. Witness anonymity combines the seemingly conflicting requirements of anonymity (for honest p...

Bo Zhu, Sanjeev Setia, Sushil Jajodia

claim paper

Read More »

24

click to vote

CCS
2006
ACM

128views Security Privacy» more CCS 2006»

Replayer: automatic protocol replay by binary analysis

13 years 11 months ago

Download bitblaze.cs.berkeley.edu

We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...

James Newsome, David Brumley, Jason Franklin, Dawn...

claim paper

Read More »

25

click to vote

CCS
2006
ACM

169views Security Privacy» more CCS 2006»

Secure function evaluation with ordered binary decision diagrams

13 years 11 months ago

Download pages.cs.wisc.edu

Privacy-preserving protocols allow multiple parties with private inputs to perform joint computation while preserving the privacy of their respective inputs. An important cryptogr...

Louis Kruger, Somesh Jha, Eu-Jin Goh, Dan Boneh

claim paper

Read More »

17

click to vote

CCS
2006
ACM

93views Security Privacy» more CCS 2006»

NETRA: : seeing through access control

13 years 11 months ago

Download www.cs.sunysb.edu

Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani...

claim paper

Read More »

17

click to vote

CCS
2006
ACM

101views Security Privacy» more CCS 2006»

Securing the drop-box architecture for assisted living

13 years 11 months ago

Download seclab.uiuc.edu

Home medical devices enable individuals to monitor some of their own health information without the need for visits by nurses or trips to medical facilities. This enables more con...

Michael J. May, Wook Shin, Carl A. Gunter, Insup L...

claim paper

Read More »

20

click to vote

CCS
2006
ACM

101views Security Privacy» more CCS 2006»

An intruder model for verifying liveness in security protocols

13 years 11 months ago

Download people.inf.ethz.ch

We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...

Jan Cederquist, Muhammad Torabi Dashti

claim paper

Read More »

21

click to vote

CCS
2006
ACM

103views Security Privacy» more CCS 2006»

Secure information flow with random assignment and encryption

13 years 11 months ago

Download users.cis.fiu.edu

Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...

Geoffrey Smith

claim paper

Read More »

22

click to vote

CCS
2006
ACM

115views Security Privacy» more CCS 2006»

Time series modeling for IDS alert management

13 years 11 months ago

Download www.rennes.supelec.fr

Intrusion detection systems create large amounts of alerts. Significant part of these alerts can be seen as background noise of an operational information system, and its quantity...

Jouni Viinikka, Hervé Debar, Ludovic M&eacu...

claim paper

Read More »

15

click to vote

CCS
2006
ACM

102views Security Privacy» more CCS 2006»

Addressing the shortcomings of one-way chains

13 years 11 months ago