Sciweavers

5484 search results - page 10 / 1097

» Almost-Everywhere Secure Computation

27

CSFW
1994
IEEE

83views Security Privacy» more CSFW 1994»

A Model of Computation for the NRL Protocol Analyzer

14 years 1 months ago

A Model of Computation for the NRL Protocol Analyzer

Download www.cse.msu.edu

Catherine Meadows

claim paper

Read More »

30

CCS
2007
ACM

122views Security Privacy» more CCS 2007»

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

14 years 1 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 »

26

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

14 years 1 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 »

24

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 »

16

ISI
2008
Springer

75views Security Privacy» more ISI 2008»

Social Computing: Fundamentals and applications

13 years 9 months ago

Social Computing: Fundamentals and applications

Download www.cs.auckland.ac.nz

Fei-Yue Wang

claim paper

Read More »

« Prev « First page 10 / 1097 Last » Next »