- Certified In-lined Reference Monitoring on .NET Kevin W. Hamlen
- A Type System for Expressive Security Policies David Walker
- A Theory of Secure Control Flow Martin Abadi1
- Towards Security-aware Program Visualization for Analyzing In-lined Reference Monitors
- Cheko : Aspect-Oriented Runtime Monitor Certification via Model-Checking
- Flexible In-lined Reference Monitor Certification: Challenges and Future Directions
- A Token-Based Access Control System for RDF Data in the Clouds Arindam Khaled
- International Journal of Information Security and Privacy, 4(2), 39-51, April-June 2010 39 Copyright 2010, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global
- Challenges and Future Directions of Software Technology: Secure Software Development*
- Reining In Windows API Abuses with In-lined Reference Monitors
- Enforcing IRM Security Policies: Two Case Studies* Micah Jones
- Aspect-Oriented In-lined Reference Monitors Kevin W. Hamlen Micah Jones
- Centralized Security Labels in Decentralized P2P Networks Nathalie Tsybulnik, Kevin W. Hamlen and Bhavani Thuraisingham
- A Closed System of Production Possibility and Social Welfare
- Proof-Carrying Code for x86 Architectures Kevin W. Hamlen
- The symlist package Kevin W. Hamlen
- Unforgivable Vulnerabilities Steve Christey
- Identifying Dormant Functionality in Malware Programs Paolo Milani Comparetti, Guido Salvaneschi, Engin Kirda,
- Platform-Independent Programs Sang Kil Cha, Brian Pak, David Brumley
- DIFC Programs by Automatic Instrumentation William R. Harris Somesh Jha Thomas Reps
- CS 4485: CS PROJECT Dr. Kevin Hamlen
- CS 4485: CS PROJECT Spring 2009
- CS 4485: CS PROJECT Dr. Kevin Hamlen
- CS 4485: CS PROJECT Dr. Kevin Hamlen
- Melange: Creating a "Functional" Internet Anil Madhavapeddy
- Enforceable Security Policies FRED B. SCHNEIDER
- Introduction to Abstract Interpretation
- Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL '99), San Antonio, Texas, USA, January 1999 JFlow: Practical Mostly-Static Information Flow Control
- Differentiating Code from Data in x86 Binaries Richard Wartell, Yan Zhou, Kevin W. Hamlen, Murat Kantarcioglu, and
- The trfrac package Kevin W. Hamlen
- Exploiting an Antivirus Interface Kevin W. Hamlena,
- ActionScript In-lined Reference Monitoring in Meera Sridhar and Kevin W. Hamlen
- Control-Flow Integrity Principles, Implementations, and Applications
- Will appear in the 2009 IEEE Symposium on Security and Privacy Native Client: A Sandbox for Portable, Untrusted x86 Native Code
- Model-Checking In-Lined Reference Monitors Meera Sridhar and Kevin W. Hamlen
- End-to-End Availability Policies and Noninterference Lantian Zheng Andrew C. Myers
- CS 6371 Advanced Programming Languages Sample Spring 2011 Midterm Exam
- Using Replication and Partitioning to Build Secure Distributed Systems
- CS 4485: CS PROJECT Dr. Kevin Hamlen
- Model Checking: A Tutorial Overview Stephan Merz
- Certified In-lined Reference Monitoring on .NET Kevin W. Hamlen
- ActionScript Bytecode Verification With Co-Logic Programming Brian W. DeVries
- Decentralized Robustness Stephen Chong Andrew C. Myers
- SECURE SEMANTIC SENSOR WEB AND PERVASIVE COMPUTING Bhavani Thuraisingham and Kevin W. Hamlen
- Coinductive big-step operational semantics Xavier Leroy a, Herve Grall b
- Data Mining for Security Applications Bhavani Thuraisingham, Latifur Khan, Mohammad M. Masud, Kevin W. Hamlen
- Independence From Obfuscation: A Semantic Framework for Diversity
- CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula Westley Weimer
- IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 21, NO. 1, JANUARY 2003 1 Language-Based Information-Flow Security
- Experience With Safe Manual Memory-Management in Michael Hicks Greg Morrisett
- Robusta: Taming the Native Beast of the JVM Joseph Siefers
- SECURITY POLICY ENFORCEMENT BY AUTOMATED PROGRAM-REWRITING
- Evaluating SFI for a CISC Architecture Stephen McCamant
- SECURITY POLICY ENFORCEMENT BY AUTOMATED PROGRAM-REWRITING
- Mimimorphism: A New Approach to Binary Code Obfuscation
- Secure Peer-to-peer Networks for Trusted Collaboration
- Cyclone: A safe dialect of C Greg Morrisett
- CONSCRIPT: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser
- Disambiguating Aspect-Oriented Security Policies Micah Jones
- Coinductive big-step operational semantics Xavier Leroy
- CS 4485: CS PROJECT Dr. Kevin Hamlen
- On the Effectiveness of Address-Space Randomization Hovav Shacham
- A Tutorial on (Co)Algebras and (Co)Induction
- Computability Classes for Enforcement Mechanisms* KEVIN W. HAMLEN
- Security Automata Micah Jones
- Procedia Computer Science 00 (2011) 000000 International Conference on Mobile Web Information Systems (MobiWIS)
- An Empirical Study of Privacy-Violating Information Flows in JavaScript Web Applications
- IRM Enforcement of Java Stack Inspection Ulfar Erlingsson
- Certified In-lined Reference Monitoring on .NET Kevin W. Hamlen
- Summary of Accomplishments Kevin W. Hamlen
- Insider Threat Detection using Stream Mining and Graph Mining
- TOWARDS THE DESIGN AND IMPLEMENTATION OF A CLOUD-CENTRIC
- TOWARDS AN INTEGRATED SEMANTIC WEB: INTEROPERABILITY BETWEEN DATA MODELS
- TMIS0203-16 ACM-TRANSACTION September 22, 2011 12:6 Cloud-Based Malware Detection for Evolving Data Streams
- DECLARATIVE ASPECT-ORIENTED SECURITY POLICIES FOR IN-LINED REFERENCE MONITORS
- CS 4384 Automata Theory Sample Fall 2011 Midterm
- SECURITY-AWARE PROGRAM VISUALIZATION FOR ANALYZING IN-LINED REFERENCE MONITORS
- The METAflow package for METAPOST Kevin W. Hamlen
- SECURE SEMANTIC COMPUTING KEVIN W. HAMLEN and BHAVANI THURAISINGHAM
- Supervised Learning for Insider Threat Detection Using Stream Mining
- Summary of Accomplishments Kevin W. Hamlen
- Knowl Inf Syst DOI 10.1007/s10115-011-0447-8
- CS 6371 Advanced Programming Languages Sample Spring 2012 Midterm Exam
- Aspect-Oriented Runtime Monitor Certification Kevin W. Hamlen, Micah M. Jones, and Meera Sridhar
