Norine Coenen

Norine Coenen

CISPA Helmholtz Center for Information Security
Verified email at react.uni-saarland.de
Cited by 254
Formal Verification Hyperproperties Counterfactual Causality