Created in July 23, 2022
2022
Towards Efficient Auditing for Real-Time Systems accepted to appear in ESORICS 2022.