Verifying Privacy-Type Properties in a Modular Way

2012 IEEE 25th Computer Security Foundations Symposium ◽

10.1109/csf.2012.16 ◽

2012 ◽

Cited By ~ 8

Author(s):

Myrto Arapinis ◽

Vincent Cheval ◽

Stephanie Delaune

Download Full-text