Lucas Palazzi, Guanpeng Li, Bo Fang, and Karthik Pattabiraman, IEEE Transactions on Dependable and Secure Computing (TDSC). (Acceptance date: March 2020). [PDF] (Code)
Continue reading
-
Recent Papers
- 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
- DLAFI: Software-Based Fault Injection for Permanent Faults in Deep Learning Accelerators
- Anonymity Unveiled: A Practical Framework for Auditing Data Use in Deep Learning Models
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