Andreas Lundblad

Provably correct inline monitoring for multithreaded Java-like programs

Frank Piessens, Mads Dam, Bart Jacobs, 2010, J. Comput. Secur..

Security Monitor Inlining for Multithreaded Java

Frank Piessens, Mads Dam, Bart Jacobs, 2009, ECOOP.

ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects

Karl Palmskog, Mads Dam, Ali Jafari, 2013, ICE.

Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring

Andreas Lundblad, Andreas Lundblad, 2013 .

A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode pdf

Mads Dam, Andreas Lundblad, M. Dam, 2010, ArXiv.

Security monitor inlining and certification for multithreaded Java

Frank Piessens, Mads Dam, Bart Jacobs, 2014, Mathematical Structures in Computer Science.