Sciweavers

3299 search results - page 50 / 660

» Privacy and Trusted Computing

28

CCS
2007
ACM

122views Security Privacy» more CCS 2007»

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

14 years 21 days 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 »

25

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

14 years 14 days ago

Computationally sound secrecy proofs by mechanized flow analysis

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

Michael Backes, Peeter Laud

claim paper

Read More »

22

ACSAC
2001
IEEE

94views Security Privacy» more ACSAC 2001»

Building Reliable Secure Computing Systems out of Unreliable Insecure Components

14 years 11 days ago

Building Reliable Secure Computing Systems out of Unreliable Insecure Components

Download www.cs.ncl.ac.uk

John E. Dobson, Brian Randell

claim paper

Read More »

21

CCS
2010
ACM

160views Security Privacy» more CCS 2010»

Computationally sound verification of source code

13 years 9 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 8 months ago

Social Computing: Fundamentals and applications

Download www.cs.auckland.ac.nz

Fei-Yue Wang

claim paper

Read More »

« Prev « First page 50 / 660 Last » Next »