Sciweavers

6861 search results - page 71 / 1373

» Security for Ubiquitous Computing

29

CSFW
1994
IEEE

83views Security Privacy» more CSFW 1994»

A Model of Computation for the NRL Protocol Analyzer

14 years 2 months ago

A Model of Computation for the NRL Protocol Analyzer

Download www.cse.msu.edu

Catherine Meadows

claim paper

Read More »

31

CCS
2007
ACM

122views Security Privacy» more CCS 2007»

Robust computational secret sharing and a unified account of classical secret-sharing goals

14 years 2 months ago

Robust computational secret sharing and a unified account of classical secret-sharing goals

Download eprint.iacr.org

Phillip Rogaway, Mihir Bellare

claim paper

Read More »

28

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

14 years 2 months ago

Computationally sound secrecy proofs by mechanized flow analysis

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

Michael Backes, Peeter Laud

claim paper

Read More »

25

CCS
2010
ACM

160views Security Privacy» more CCS 2010»

Computationally sound verification of source code

13 years 10 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 »

17

ISI
2008
Springer

75views Security Privacy» more ISI 2008»

Social Computing: Fundamentals and applications

13 years 10 months ago

Social Computing: Fundamentals and applications

Download www.cs.auckland.ac.nz

Fei-Yue Wang

claim paper

Read More »

« Prev « First page 71 / 1373 Last » Next »