Active Bibliography

1165 Proof-Carrying Code – George C. Necula - 1997
751 Atom: A system for building customized program analysis tools – Amitabh Srivastava, Alan Eustace - 1994
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
518 Enforceable Security Policies – Fred B. Schneider
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
703 Pin: building customized program analysis tools with dynamic instrumentation – Chi-keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa, Reddi Kim Hazelwood - 2005
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
THE INLINED REFERENCE MONITOR APPROACH TO SECURITY POLICY ENFORCEMENT – Ăšlfar Erlingsson Ph. D - 2004
523 LLVM: A compilation framework for lifelong program analysis & transformation – Chris Lattner, Vikram Adve - 2004