Stack-Aware Hyperproperties. - Ali Bajwa; Minjian Zhang 002; Rohit Chadha; Mahesh Viswanathan 001 (TACAS (1), 2023)