2024-12-102024-12-10https://hdl.handle.net/11420/52395IEEE Transactions on Dependable and Secure Computing