Doktorsavhandlingar/Doctoral Theses 2013
Kristjan Valur Jonsson
The Security Properties of In-Network Aggregation
Muddasar Sindhu
Algorithms and Tools for Learning-based Testing of Reactive Systems
Andreas Lundblad
Inlined Reference Monitors: Certification,Concurrency and Tree Based Monitoring
Elina Eriksson
Situated Reflexive Change: User-Centred Design in(to) Practice
