Kartik Bajaj, Karthik Pattabiraman and Ali Mesbah, To appear in the Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), 2014. [ PDF | Talk ] (Acceptance Rate: 20%)
Continue reading
-
Recent Papers
- The Anatomy of a Misprediction: Tracking Terrestrial and Orbital Radiation-Induced Errors in Systolic Arrays
- The Statistical Assessment of Bayes-“sub”optimal Binary Machine Learning Classifier Risk
- RVDebloater: Mode-based Adaptive Firmware Debloating for Robotic Vehicles
- Requalizer: A Co-designed Information Flow Control and Quality of Service Management Framework
- ReSect: A Tool for Automated Analysis of Reentrancy Exploit Transactions on Blockchains
- Thinking Inside the Box: Injecting Realistic Radiation Faults in ML Accelerators
- ARMOR: Attack-Resilient Reinforcement Learning Control for UAVs
- Systems-Theoretic and Data-Driven Security Analysis in ML-enabled Medical Devices
- Feed-Forward Controller-Based Recovery for Robotic Vehicles from Physical Attacks
- Turnstile: Hybrid Information Flow Control Framework for Managing Privacy in Internet-of-Things Applications
Pages
- About us
- Achievements
- Papers
- People
- Photos
- Projects
- Autonomous Systems and IoT Security
- Building Robust ML Systems against Training Data Faults
- Decentralized Finance (DeFi) and Blockchain Oracle Security
- Error Resilient ML Applications
- Membership Inference Attacks in Machine Learning Models
- Middleware for Edge Computing Applications
- Resilience Assessment of ML Models under Hardware Faults
- Smart Contract’s Security
- Software