[pdf] [bibtex] ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects
Proc. ICE 2013
  • K. Palmskog
  • M. Dam
  • A. Lundblad
  • A. Jafari
[pdf] [bibtex] Inlined Reference Monitors: Certification, Concurrency and Tree Based Monitoring
Ph.D. thesis, 2013
  • A. Lundblad
[pdf] [bibtex] TreeDroid: A Tree Automaton Based Approach to Enforcing Data Processing Policies
Proc. CCS 2012
  • M. Dam
  • G. Le Guernic
  • A. Lundblad
[pdf] [bibtex] Security Monitor Inlining and Certification for Multithreaded Java
MSCS 2011
  • M. Dam
  • B. Jacobs
  • A. Lundblad
  • F. Piessens
[pdf] [bibtex] Provably Correct Inline Monitoring for Multi-threaded Java-like Programs
JCS 2010
  • M. Dam
  • B. Jacobs
  • A. Lundblad
  • F. Piessens
[pdf] [bibtex] A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
Technical Report
  • M. Dam
  • A. Lundblad
[pdf] [bibtex] Security monitor inlining for multithreaded Java
Proc. ECOOP 2009
  • M. Dam
  • B. Jacobs
  • A. Lundblad
  • F. Piessens
[pdf] [bibtex] Verification Condition Generation and Discharge in a Hoare Logic with Recursion
M.Sc. thesis, 2007
  • A. Lundblad