REFEREE: trust management for Web applications

Proof-carrying code

George C. Necula · 1997 · 1.8K citations

Engineering, Information Security, Proof Validation +16

Decentralized trust management

Matt Blaze, Joan Feigenbaum, Jack Lacy · 2002 · 962 citations

Decentralized Security, Engineering, Information Security +7

Safe kernel extensions without run-time checking

George C. Necula, Peter Lee · 1996 · 502 citations

Engineering, Runtime Verification, Program Analysis +9