Sciweavers

6164 search results - page 41 / 1233
» Teaching Computer Security
Sort
View
IEEEARES
2007
IEEE
16 years 6 days ago
Self-Stabilization as a Foundation for Autonomic Computing
Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Reuve...
103
Voted
ESORICS
2007
Springer
16 years 2 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 3 months ago
Patterns and statistical analysis for understanding reduced resource computing
Martin C. Rinard, Henry Hoffmann, Sasa Misailovic,...