September 12, 2023
2023
System Auditing for Real-Time Systems accepted for ACM Transactions on Privacy and Security.