Foundations for the run-time analysis of software systems

Verisim: Formal Analysis of Network Simulations

IEEE Transactions on Software Engineering

Java-MaC: A Run-Time Assurance Approach for Java Programs

Formal Methods in System Design

Computability classes for enforcement mechanisms

ACM Transactions on Programming Languages and Systems (TOPLAS)

Execution monitoring enforcement under memory-limitation constraints

Information and Computation

Run-Time Enforcement of Nonsafety Policies

ACM Transactions on Information and System Security (TISSEC)

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties

ICISS '08 Proceedings of the 4th International Conference on Information Systems Security

Execution monitoring enforcement for limited-memory systems

Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services

Enforcement monitoring wrt. the safety-progress classification of properties: NOTE: ACM has found that the authors of this paper failed to cite a work they previously published with much identical content entitled Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. Published in December 2008 in the Springer LNCS series for the ICISS 2008 conference DOI= http://dx.doi.org/10.1007/978-3-540-89862-7_3

Proceedings of the 2009 ACM symposium on Applied Computing

On the expressiveness and complexity of randomization in finite state monitors

Journal of the ACM (JACM)

Using Edit Automata for Rewriting-Based Security Enforcement

Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII

Security Monitor Inlining for Multithreaded Java

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming

Automata-based confidentiality monitoring

ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues

A theory of runtime enforcement, with results

ESORICS'10 Proceedings of the 15th European conference on Research in computer security

You should better enforce than verify

RV'10 Proceedings of the First international conference on Runtime verification

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Formal Methods in System Design

Foundations for the run-time monitoring of reactive systems: fundamentals of the MaC language

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing

Enforcing non-safety security policies with program monitors

ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security

Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors

ACM Transactions on Information and System Security (TISSEC)

Enforceable security policies revisited

POST'12 Proceedings of the First international conference on Principles of Security and Trust

Enforceable Security Policies Revisited

ACM Transactions on Information and System Security (TISSEC)