The Complexity of Monitoring Hyperproperties

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00019 ◽

2018 ◽

Cited By ~ 11

Author(s):

Borzoo Bonakdarpour ◽

Bernd Finkbeiner

Download Full-text