2024-07-102024-07-102024-07-101545-5971https://infoscience.epfl.ch/handle/20.500.14299/69572IEEE Transactions on Dependable and Secure Computing