Sciweavers

3395 search results - page 11 / 679

» Computational Differential Privacy

87

CCS
2007
ACM

122views Security Privacy» more CCS 2007»

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

15 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 »

65

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

15 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 »

62

ACSAC
2001
IEEE

94views Security Privacy» more ACSAC 2001»

Building Reliable Secure Computing Systems out of Unreliable Insecure Components

15 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 »

77

EUROSEC
2008
ACM

119views Security Privacy» more EUROSEC 2008»

Case study: automated security testing on the trusted computing platform

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

59

CCS
2010
ACM

160views Security Privacy» more CCS 2010»

Computationally sound verification of source code

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