Sciweavers

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