email:	firstname.lastname@gmail.com
cellular:	+46 739 18 11 13

I successfully defended my PhD thesis in March, 2013. As of today (2013-03-18) this web page will no longer be actively maintained.

research

My research concerns formal methods, specifically proof carrying code and runtime monitoring. My advisor is Mads Dam.

teaching

I'm currently working as an assistant on the following courses:

Previously I've worked on:

DD2372	Automata and Languages (automat10)
DD2457	Program Semantics and Analysis (semant09)
DD1350	Logic for Computer Science (logik09)
DD1352	Algorithms, data structures and complexity (adk08)
DD1340	Introduction to Computer Science (inda07)
DD2387	Program System Construction Using C++ (cprog07)
DD2440	Advanced Algorithms (avalg07)
2D1385	Software Development 2007 (prutt07)

papers

Inlined Reference Monitors: Certification, Concurrency and Tree Based Monitoring

A. Lundblad (Ph.D. thesis, 2013)

TreeDroid: A Tree Automaton Based Approach to Enforcing Data Processing Policies

M. Dam, G. Le Guernic, A. Lundblad (Proc. CCS12)

Security Monitor Inlining and Certification for Multithreaded Java

M. Dam, B. Jacobs, A. Lundblad, F. Piessens (Mathematical Structures in Computer Science, 2011)

Provably Correct Inline Monitoring for Multi-threaded Java-like Programs

M. Dam, B. Jacobs, A. Lundblad, F. Piessens (Journal of Computer Security, 2010)

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

M. Dam, A. Lundblad (technical report)

Security monitor inlining for multithreaded Java

M. Dam, B. Jacobs, A. Lundblad, F. Piessens (Proc. ECOOP09)

curriculum vitae

Download cv (last updated January 2013).

my master thesis

My master thesis concerned an investigation of a special Hoare logic with recursion. Here you may view the abstract or download the thesis as pdf.

links

Some links:

My doctors hat, made by my colleagues

HATS Project page

The Painting Problem

Coq'Art Quote

Coq Reading Course

Logic and Semantics Group here at TCS.

An implementation of a double elimination tournament system.

My KTHOPEN login script.

My opinions on hard line-wrapping.

Latex Invoice Template (Swedish)

Stefan Arnborgs opinions on unreadable emails (which I agree with)

A picture of my daughter.

Another picture of my daughter.

Java Generics gotchas

The "C is Efficient" Language Fallacy

Photos from a trip with Mads' boat.

Garfield strip browser: java -jar gf.jar

current location

my calendar

Please have a look at my calendar before suggesting times for meetings.

Usually I'm at the office from 08:00 to 16:30.