Search results for: Robert R. Schneck
Lecture Notes in Computer Science > Automated Deduction—CADE-18 > Proof-Carrying Code and Compiler Verification > 47-62
Lecture Notes in Computer Science > Software Security — Theories and Systems > Proof-Carrying Code and Type Systems for Security Protocols > 283-298