Dates
Next Presentations 2012
| Date | Speaker | Title | Abstract |
| 17/04/2012 - 5pm | Dennis Appelt | Development of an Assessment tool for HTML5 security properties and emerging Web security threats |
Previous Presentations 2012
| Date | Speaker | Title | Abstract |
| 13/04/2012 - 2pm | Matthias Büchler | SPaCiTE - Web Application Testing Engine | |
| 10/04/2012 - 5pm | Alexander Pretschner / Patrick Wenz | Data Usage Control in ChromiumOS | |
| 05/04/2012 - 11am | Tobias Wüchner | Risk in Usage Control | |
| 09/03/2012 - 2pm | Michael Lörscher | Usage Control in a Mail Client | |
| 07/03/2012 - 5pm | Alberto Calvi, University of Verona, Italy | Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC | |
| 06/03/2012 - 5pm | Alexander Edenheiser | Satellite-based orientation system for persons without ability to visually perceive their environment | |
| 24/02/2012 - 10am | Daniel Lienert | Distributed Usage Control for the MySQL Database Server | |
| 14/02/2012 - 5pm | Dennis Appelt | Assessment tool for HTML5 security properties and emerging Web security threats | |
| 30/01/2012 - 1230pm | Prachi Kumari | Deriving Implementation-level Policies for Usage Control Enforcement |
Previous Presentations 2011
| Date | Speaker | Title | Abstract |
| 15/12/2011 - 1pm | Hien Thi Thu TRUONG | A contract-extended push-pull-clone model (C-PPC) | |
| 08/12/2011 | Johan Oudinet / Matthias Büchler | Semi-Automatic Security Testing of Web Applications from a Secure Model | |
| 06/12/2011 | Franz Brosch | Parameterised System Reliability Prediction for Component-based Software Architectures | |
| 01/12/2011 | Florian Kelbert | Controlling Data Across System Boundaries, Appetizer: ftp://ftp.ira.uka.de/pub/ZVI/papers/FTPDemo.avi | |
| 29/11/2011 | Michael Lörscher | Usage Control in Thunderbird | |
| 15/11/2011 | Paul E. Sevinc | Informatik-Sonderkolloquium: Doodle - gelernte Lektionen | |
| 08/11/2011 | Richard Gay, TU Darmstadt | Service Automata | |
| 03/11/2011 | Prachi Kumari | Deriving implementation-level policies for usage control enforcement | |
| 25/10/2011 | Dennis Appelt | Assessment tool for HTML5 security properties and emerging Web security threats | |
| 29/09/2011 | Pascal Birnstill | Privacy Challenges in Modern Video Surveillance Systems II | |
| 06/09/2011 | Patrick Wenz | Usage Control for Chromium OS | |
| 06/09/2011 | Pascal Birnstill | Privacy Challenges in Modern Video Surveillance Systems | |
| 23/08/2011 | Dominik Holling | A Comprehensive Usage Control System | |
| 19/08/2011 | Alexander Fromm | Design einer generischen API für die Verhandlung von Multimediadaten | |
| 16/08/2011 | Cornelius Moucha | A Hypervisor-Based Bus System for Usage Control | |
| 09/08/2011 | Tobias Wüchner | UC4Win: Usage Control for the Windows API | |
| 12/07/2011 | Guenter Karjoth, IBM Research - Zurich | The Challenges of Introducing Authorization Constraints on the Business Level | |
| 1/07/2011 | Federica Paci, University of Trento, Italy | ACConv - An access control model for conversational web services | |
| 21/06/2011 | Matthias Büchler | Security Mutants for Property-Based Testing | [more info] |
| 14/06/2011 | Mahesh Tripunitara The University of Waterloo, Canada |
The Cascade Bloom Filter and Its Use in Access Enforcement | [more info] |
| 31/05/2011 | Enrico Lovat | Data-centric multi-layer usage control enforcement: A social network example | |
| 26/05/2011 | Giancarlo Pellegrino SAP Research Sophia-Antipolis, France |
Combining model-checking technique and security testing of web-based protocols | |
| 24/05/2011 | Tobias Wüchner | Usage Control for the Windows API | |
| 20/05/2011 | Arnaud Fontaine University of Lille, France |
Tutorial of the STAN tool | |
| 20/05/2011 | Isabelle Ryl INRIA Rocquencourt, France |
Lightweight Information flow analysis for open Java-enabled systems | |
| 17/05/2011 | Dominik Holling | A Policy Management Infrastructure for Distributed Usage Control | |
| 10/05/2011 | Canceled | ||
| 26/04/2011 | Octavian Catrina Universität Mannheim |
Towards Practical Secure Computation for Collaborative Business Applications | |
| 19/04/2011 | Denis Feth | Extending Android Security with Usage Control Policies | |
| 12/04/2011 | Canceled | ||
| 05/04/2011 | Enrico Lovat | UC+IF - past, present and future | |
| 29/03/2011 | Christoph Bier | Data Protection Law and Usage Control: Ideas & Current Work | |
| 22/03/2011 | Canceled | ||
| 15/03/2011 | Tobias Wüchner | Secure Memory Systems: An Overview | |
| 08/03/2011 | Florian Kelbert | Organizing a Lecture: Lessions Learned | |
| 01/03/2011 | Canceled | ||
| 22/02/2011 | Canceled | ||
| 15/02/2011 | Prachi Kumari | Distributed Data Usage Control for Web Applications: A Social Network Implementation | |
| 08/02/2011 | Johan Oudinet | Uniform Monte-Carlo Model Checking | |
| 01/02/2011 | Thomas Smits SAP |
Impact of Software-as-a-Service on the Provider | |
| 25/01/2011 | Prachi Kumari | Towards Operational Privacy (TOP) | |
| 18/01/2011 | Denis Feth | Extending Android Security with Usage Control Policies + Information Flow |
|
| 11/01/2011 | Canceled |
Previous Presentations 2010
| Date | Speaker | Title | Abstract |
| 21/12/2010 | Matthias Buechler | Secure Provision and Consumption in the Internet of Services | |
| 14/12/2010 | Enrico Lovat / Matthias Buechler | Usage Control Meets Information Flow: the OS example. | |
| 07/12/2010 | Cornelius Moucha | Hypervisor-assisted Usage Control | |
| 30/11/2010 | Canceled | ||
| 23/11/2010 | Denis Feth | Extending Android Security with Usage Control Policies | |
| 16/11/2010 | Prachi Kumari | Smart meter connected to a social network | |
| 09/11/2010 | Christoph Bier | Part 2 - The anonymization of video surveillance data in intelligent surveillance systems and their evaluation regarding data protection law. | |
| 02/11/2010 | Christoph Bier | Part 1 - The anonymization of video surveillance data in intelligent surveillance systems and their evaluation regarding data protection law. |
