Sciweavers

6164 search results - page 41 / 1233
» Teaching Computer Security
Sort
View
IEEEARES
2007
IEEE
16 years 22 days ago
Self-Stabilization as a Foundation for Autonomic Computing
Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Reuve...
ESORICS
2007
Springer
16 years 18 days ago
Inductive Proofs of Computational Secrecy
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...
CCS
2003
ACM
15 years 11 months ago
Automatic generation of two-party computations
Philip D. MacKenzie, Alina Oprea, Michael K. Reite...
OOPSLA
2010
Springer
15 years 4 months ago
Patterns and statistical analysis for understanding reduced resource computing
Martin C. Rinard, Henry Hoffmann, Sasa Misailovic,...