I am supervising degree projects in a range of topics including distributed systems; modelling and verification; programming languages; security.
Master's project |
Advisor |
Student |
Examiner |
Start |
End |
Opponent |
Seminar Time & place |
Control Flow Graph Based Attacks | Mads Dam | Zhen Li | Johan Håstad | 131201 | |||
Memory-Efficient Data Structures for Garbage Collection in the Hotspot Vitrual Machine | Mads Dam | Andreas Sjöberg | Johan Håstad | 140301 | |||
Host-Based Card Emulation in Android | Mads Dam | Lucas Taubert | Johan Håstad | 140301 | |||
Evaluating and improving biased locking in the HotSpot virtual machine | Mads Dam | Marcus Larsson | Johan Håstad | 140301 | |||
Stochastic Control Flow Analysis | Mads Dam | Markus Dicander | Johan Håstad | 101001 | 111031 |
Master's project |
Advisor |
Student |
Examiner |
Start |
End |
Opponent |
Seminar Time & place |
Load balancing for garbage collection in the HotSpot virtual machine | Mads Dam | Erik Helin | Johan Håstad | 120301 | |||
HbbTV, standardizing broadcast interactive applications on televisions sets | Mads Dam | Christoffer Hirsimaa | Johan Håstad | 120115 | 121010 | Martin Nycander | |
Document processing with batch jobs in Hydra using Hadoop | Mads Dam | Matteus Klich | Johan Håstad | 120201 | 120928 | ||
Monitor Inlining in ABS | Mads Dam | Lei Mou | (Presented in Uppsala) | 101001 | 110331 | ||
Presburger arithmetic and its use in verification | Michael R. Hansen (DTU), Mads Dam | Dung Phan | Johan Håstad | 110201 | 110701 | ||
Parallelisering av APZ VM | Mads Dam | Andreas Sehr, Carl Bring | Johan Håstad | 100913 | 110311 | ||
A Solution of the POPLMark Challenge with VCPT | Mads Dam | Marco Diciolla | Johan Håstad | 090301 | 100615 | - | Tue June 15 2010 |
Privacy Preserving Collaborative Anomaly detection Using Secure Multi-party Computation | Mads Dam | Abu Hamed Mohammad Misbah Uddin | Johan Håstad | 100101 | 100630 | Marco Diciolla | Tue June 22 2010 |
Secure P2P Backup Frontend | Mads Dam | John Eriksson | Johan Håstad | 090201 | 090615 | tbd | Wed Nov 11 2009 |
Mads Dam
|
Alexander Lindholm
|
Johan Håstad
|
080818
|
090430
|
Per Gidlund Monten
|
Thursday April 30 2009, room 4523 |
|
Mads Dam |
Karl Palmskog |
Johan Håstad |
060501 |
061031 |
Johan Linde |
Nada room 1535, 8 Nov 2006, 13.00 |
|
Mads Dam |
Erik Angelin |
Johan Håstad |
050330 |
050930 |
Karl Palmskog |
Nada room 4523, 14 sept 2006, 15.15 |
|
Mads Dam |
Rana Bakshi |
Mads Dam |
050901 |
050228 |
Lucas Diez |
Nada room 4523, 24 Aug 2006 |
|
Mads Dam |
Gianluca Pannozzo |
Mads Dam |
050501 |
051101 |
Prashant Varghese |
Forum Lvl 8 seminar room, 28 nov 05, 10.00 |
|
Mads Dam |
Mikael Lagerkvist |
Mads Dam |
040620 |
041120 |
Erik Angelin |
April 2005 |
|
Mads Dam |
Per Isacson |
Mads Dam |
030901 |
040228 |
Romano Setzu |
Forum lvl 8 seminar room, 25 Feb 04, 10.00 |
|
Mads Dam |
Johannes Borgström |
Mads Dam |
020107 |
020630 |
Rickard Sandström |
Forum lvl 8 seminar room, 12 Dec 02, 10.00 |
|
Mads Dam |
Conny Wickström |
Mads Dam |
020901 |
030228 |
Andreas Petterson |
Castor, Forum lvl 8, Sept 3 03, 10.00 |
|
Analysis of attacks and
development of filters for an Intrusion Detection System based on NFR |
Olav Bandmann |
Erwan Lemonnier |
Mads Dam |
010115 |
010630 |
Guillaume Girard |
Forum, lvl 8 seminar room, 8 Oct 01, 13.00 |
Olav Bandmann |
Guillaume Bigonze |
Mads Dam |
010110 |
010630 |
Erwan Lemonnier |
Forum, lvl 8 seminar room, 27 June 01, 13.00 |
|
Mads Dam |
Frej Drejhammar |
Mads Dam |
000901 |
010131 |
Dejan Bucar |
Telegrafen, 19 Feb 01, 11.00 |
|
Dilian Gurov |
Magnus Ljung |
Mads Dam |
980706 |
981231 |
Shaharyar Warsi |
Friday 5/2/99, Telegrafen, 13-14 |
|
Case Studies in Formal Specification of Real-Time Systems Using a
Metric Temporal Logic |
Dilian Gurov |
Anders Stefansson |
Mads Dam |
980901 |
990228 |
Ronnie Westman |
Monday 10/5/99, Telegrafen, 13-14 |
A Syntax Directed Editor for a Metric Temporal Logic |
Mads Dam |
Shaharyar Warsi |
Mads Dam |
980901 |
990228 |
Tommy Niitula |
Telegrafen, 29 Jan 01, 10.00 |
Mads Dam |
Tommy Niitula |
Mads Dam |
000814 |
010131 |
Jonas Andersson |
Telegrafen, 29 Jan 01, 9.00 |