news
Sep 12, 2023 | System Auditing for Real-Time Systems accepted for ACM Transactions on Privacy and Security. |
---|---|
Aug 25, 2023 | Synergistic Perception and Control Simplex abstract accepted for AIAA SciTech 2024. |
Sep 4, 2022 | Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles preprint available. |
Jul 29, 2022 | Verifiable Obstacle Detection accepted to appear in ISSRE 2022. |
Jul 23, 2022 | Towards Efficient Auditing for Real-Time Systems accepted to appear in ESORICS 2022. |