Gray-box runtime enforcement of hyperproperties
Published in Acta Informatica, 2025
📝 Tzu-Han Hsu, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci & Borzoo Bonakdarpour. (2025). "Gray-box runtime enforcement of hyperproperties." Acta Informatica.
Download Paper