Han, Qian, Molinaro, Cristian, Picariello, Antonio · IEEE Transactions on Dependable and Secure Computing · 2022