News
2012-Jan: Staff Meeting 2012 in Höchst i. Odw.
2011-Dec: Call for Proposals for Phase 2
2011-Nov: Topic Workshop "E-Voting and Information Flow"
2011-Nov: Exploring Assistant Positions
2011-Nov: Topic Workshop "Information Flow Control for Mobile Devices"
2011-Oct: Tutorial "Information Flow Security and Verification Tools"
