Gray-box runtime enforcement of hyperproperties. - Hsu, Tzu-Han; Oliveira da Costa, Ana; Wintenberg, Andrew; Bartocci, Ezio; Bonakdarpour, Borzoo (Acta Informatica, 2025)