Paper accepted at GandALF 2018

The paper “A Comparison of BDD-Based Parity Game Solvers” by Lisette Sanchez, Wieger Wesselink and Tim Willemse  has been accepted for presentation at the International Symposium on Games, Automata, Logics, and Formal Verification (GandALF) that will be held in September in Saarbrücken (Germany). The work builds on the FSA seminar assignment carried out by Lisette in …continue reading

Paper accepted at SACMAT

The paper “Efficient Extended ABAC Evaluation” by Charles Morisset (Newcastle University), Tim Willemse and Nicola Zannone (TU/e) has been accepted for presentation at the ACM Symposium on Access Control Models and Technologies (SACMAT 2018) in Indianapolis, IN, USA. The paper proposes an efficient, BDD-based method to evaluate extended ABAC policies, addressing attribute hiding attacks. A case study on two …continue reading

Prestigious TOP-grant awarded

The Accelerated Verification and Verification Accelerated (AVVA) proposal by Jan Friso Groote, Tim Willemse and Anton Wijs, and Rob van Nieuwpoort (eScience Centre/UvA) has been granted by the Dutch Science Foundation NWO. The project provides funding for two PhD students and a postdoc for fundamental research on accelerating model checking using hypercomputers and verifying programs written …continue reading