| Jul 03, 2024 | Dissertation, titled Safe and Secure Autonomous Vehicles, successfully defended and accepted. |
| May 28, 2024 | Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles amidst Obstacle Detection Faults published in the journal Software Testing, Verification and Reliability. |
| Dec 05, 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 04, 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. |