personal homepage of
|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.
My research concerns formal methods, specifically proof carrying code and runtime monitoring. My advisor is Mads Dam.
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)|
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
Security Monitor Inlining and Certification for Multithreaded Java
Provably Correct Inline Monitoring for Multi-threaded Java-like Programs
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
Security monitor inlining for multithreaded Java
Download cv (last updated January 2013).
Garfield strip browser:
java -jar gf.jar
Please have a look at my calendar before suggesting times for meetings.
Usually I'm at the office from 08:00 to 16:30.