Sciweavers

3395 search results - page 11 / 679

» Computational Differential Privacy

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 »

22

ACSAC
2001
IEEE

94views Security Privacy» more ACSAC 2001»

Building Reliable Secure Computing Systems out of Unreliable Insecure Components

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

32

EUROSEC
2008
ACM

119views Security Privacy» more EUROSEC 2008»

Case study: automated security testing on the trusted computing platform

13 years 11 months ago

Case study: automated security testing on the trusted computing platform

Download home.mit.bme.hu

Gergely Tóth, Gábor Koszegi, Zolt&aa...

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 »

« Prev « First page 11 / 679 Last » Next »