news
| Dec 5, 2023 | Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing preprint available. |
|---|---|
| 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. |