personal homepage of
ANDREAS
LUNDBLAD
| 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.
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:
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)
Download cv (last updated January 2013).
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.
Some links:
My doctors hat, made by my colleagues
Logic and Semantics Group here at TCS.
An implementation of a double elimination tournament system.
My opinions on hard line-wrapping.
Latex Invoice Template (Swedish)
Stefan Arnborgs opinions on unreadable emails (which I agree with)
Another picture of my daughter.
The "C is Efficient" Language Fallacy
Photos from a trip with Mads' boat.
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.