Frolin Ocariza Jr., Karthik Pattabiraman and Ali Mesbah, Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012 (Acceptance rate: 27%). [ PDF File | Talk ]
Continue reading
-
Recent Papers
- ICS-Sniper: A Targeted Blackhole Attack on Encrypted ICS Traffic
- 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
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