Sciweavers

6164 search results - page 29 / 1233

» Teaching Computer Security

82

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 »

64

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 »

58

CCS
2010
ACM

160views Security Privacy» more CCS 2010»

Computationally sound verification of source code

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

56

ISI
2008
Springer

75views Security Privacy» more ISI 2008»

Social Computing: Fundamentals and applications

14 years 9 months ago

Social Computing: Fundamentals and applications

Download www.cs.auckland.ac.nz

Fei-Yue Wang

claim paper

Read More »

61

SP
2008
IEEE

118views Security Privacy» more SP 2008»

Cheaper adjoints by reversing address computations

14 years 9 months ago

Cheaper adjoints by reversing address computations

Download www-sop.inria.fr

Laurent Hascoët, Jean Utke, Uwe Naumann

claim paper

Read More »

« Prev « First page 29 / 1233 Last » Next »