Explicit effect subtyping. - Georgios Karachalias; Matija Pretnar; Amr Hany Saleh; Stien Vanderhallen; Tom Schrijvers (J. Funct. Program., 2020)

Robust authentication for automotive control networks through covert channels. - Stien Vanderhallen; Jo Van Bulck; Frank Piessens; Jan Tobias Mühlberg (Comput. Networks, 2021)