Pi-Lambda talk: Christian Probst

Title: Static Analysis for Digital Rights Management

Abstract: Digital Rights Management is a security property gaining in importance due to commercial interest. It is well known that static analysis can be used to validate a number of more classical security policies, such as discretionary and mandatory access control policies, as well as communication protocols using symmetric and asymmetric...

---

Friday lecturer: Lars Arge

Lars Arge's lecture is part of The Daimi Friday Lecture Series, see http://www.daimi.au.dk/fridaylectures

Abstract:
The Center for Massive Data Algorithmics, or the MADALGO center, is a
major new basic research center funded by the Danish National Research
Foundation (Danmarks Grundforskningsfond). The center is located at
DAIMI, but also includes researchers at Massachusetts Institute...

---

Specialeeksamen, Bjørn Casper Torndahl

---

Kandidateksamen: Tony Gjerlufsen

---

Specialeeksamen, Bo S. Carstensen

---