2024-12-102024-12-10https://hdl.handle.net/11420/52395IEEE transactions on dependable and secure computing