Antoon Bosselaers

Integrity Primitives for Secure Information Systems