Verifying privacy-type properties in a modular way

No ratings

Presented at 25th IEEE Computer Security Foundations Symposium 2012 by

Vincent Cheval

Stephanie Delaune

Myrto Arapinis

N/A