Tag: Security
-
Best Artifact Award for security verification
The paper “Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2”, coauthored with Hamed Arshad, Ross Horne, Olaf Owe, and Tim Willemse, wins the Best Artifact Award at the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
-
Teaching Assistants needed
Every autumn semester I need Teaching Assistant (TA) for both courses IMT4123 and IIKG2001 ? If you want to help (and be payed for it), send me an e-mail; and we see if you can join even in the middle of the semester!