Active Bibliography

Least Privilege for Browser Extensions – Adrienne Porter Felt
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
648 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
1165 Proof-Carrying Code – George C. Necula - 1997
446 Towards an Active Network Architecture – David L. Tennenhouse, David J. Wetherall - 1996
415 Extensibility, safety and performance in the SPIN operating system – Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers - 1995
411 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
407 A Secure Environment for Untrusted Helper Applications -- Confining the Wily Hacker – Ian Goldberg, David Wagner, Randi Thomas, Eric A. Brewer
4 Securing Script-Based Extensibility in Web Browsers – Vladan Djeric, Ashvin Goel