Selected Publications
|
2024 |
AirBugCatcher: Automated Wireless Reproduction of IoT Bugs.
40th Annual Computer Security Applications Conference (ACSAC). |
VaktBLE: A Benevolent Man-in-the-middle Bridge to Guard against Malevolent BLE Connections.
40th Annual Computer Security Applications Conference (ACSAC). |
|
|
Knowledge-based Consistency Testing of Large Language Models.
The 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP) Findings. |
|
|
Distribution-aware Fairness Test Generation.
Journal of Systems and Software (JSS). To be presented at 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024). |
|
|
U-Fuzz: Stateful Fuzzing of IoT Protocols on COTS Devices.
17th IEEE International Conference on Software Testing, Verification and Validation (ICST). |
|
|
Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection.
2024 IEEE International Conference on Robotics and Automation (ICRA)/IEEE Robotics and Automation Letters (RA-L), Vol 8 Issue 12. |
|
|
2023 |
VitroBench: Manipulating In-vehicle Networks and COTS ECUs on Your Bench.
Vehicular Communications. |
|
Identifying Threats, Cybercrime and Digital Forensic Opportunities in Smart City Infrastructure via Threat Modeling.
Elsevier Forensic Science International: Digital Investigation (FSIDIIN). |
|
|
Towards Backdoor Attacks and Defense in Robust Machine Learning Models.
Elsevier Journal of Computers and Security. |
|
|
2022 |
BrakTooth: Causing Havoc on Bluetooth Link Manager via Directed Fuzzing.
USENIX Security Symposium. |
|
Towards Automated Fuzzing of 4G/5G Protocol Implementations Over the Air.
IEEE Global Communications Conference (GLOBECOM). |
|
|
A systematic survey of attack detection and prevention in Connected and Autonomous Vehicles.
Vehicular Communications, Volume 37, October 2022, 100515. |
|
|
Model Agnostic Defence against Backdoor Attacks in Machine Learning.
IEEE Transactions on Reliability. |
|
|
AequeVox: Automated Fairness Testing of Speech Recognition Systems.
25th International Conference on Fundamental Approaches to Software Engineering (FASE). |
|
|
Astraea: Grammar-based fairness testing.
IEEE Transactions on Software Engineering (TSE). |
|
|
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage.
20th ACM-IEEE International Conference on Formal Methods and Models for System Design. |
|
|
Physical Adversarial Attack on a Robotic Arm.
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2022)/IEEE Robotics and Automation Letters (RA-L). |
|
|
Symbolic identification of shared memory based bank conflicts for GPUs.
Journal of Systems Architecture (JSA). |
|
|
2021 |
SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems.
International Journal of Critical Infrastructure Protection. |
|
Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems.
International Journal of Critical Infrastructure Protection. |
|
|
Circ-Tree: A B+-Tree Variant with Circular Design for Persistent Memory.
IEEE Transactions on Computers (TC). |
|
|
2020 |
Greyhound: Directed Greybox Wi-Fi Fuzzing.
IEEE Transactions on Dependable and Secure Computing (TDSC). |
|
SweynTooth: Unleashing Mayhem over Bluetooth Low Energy.
USENIX Annual Technical Conference (USENIX ATC). |
|
|
STITCHER: Correlating Digital Forensic Evidence on Internet-of-Things Devices.
Elsevier Forensic Science International: Digital Investigation (FSIDIIN). |
|
|
Crab-tree: A Crash Recoverable B+-tree Variant for Persistent Memory with ARMv8 Architecture.
ACM Transactions on Embedded Computing Systems (TECS). |
|
|
CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems.
Elsevier Journal of Computers and Security. |
|
|
KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.
ACM Transactions on Software Engineering and Methodology (TOSEM). |
|
|
An Experimental Analysis of Security Vulnerabilities in Industrial IoT Devices.
ACM Transactions on Internet Technology (TOIT). |
|
|
Systematic Classification of Attackers via Bounded Model Checking.
Proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). |
|
|
Callisto: Entropy based test generation and data quality assessment for Machine Learning Systems.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. Testing Tools Track. |
|
|
Genetic Algorithm Based Estimation of Non-Functional Properties for GPGPU Programs.
Elsevier Journal of Systems Architecture, Embedded Software Design. |
|
|
How to Secure Autonomous Mobile Robots? An Approach with Fuzzing, Detection and Mitigation.
Elsevier Journal of Systems Architecture, Embedded Software Design. |
|
|
Efficient and Trusted Detection of Rootkit in IoT Devices via Offline Profiling and Online Monitoring.
30th ACM Great Lakes Symposium on VLSI (GLSVLSI). |
|
|
Isle-Tree: A B+-Tree with Intra-Cache Line Sorted Leaves for Non-volatile Memory.
38th IEEE International Conference on Computer Design (ICCD). |
|
|
2019 |
oo7: Low-overhead Defense against Spectre Attacks via Program Analysis.
IEEE Transactions on Software Engineering (TSE). Accepted to appear in the IEEE Transactions on Software Engineering (TSE). |
|
Grammar Based Directed Testing of Machine Learning Systems.
IEEE Transactions on Software Engineering (TSE). Accepted to appear in the IEEE Transactions on Software Engineering (TSE). |
|
|
An Exploration of Effective Fuzzing for Side-channel Cache Leakage.
Software Testing, Verification and Reliability (STVR). |
|
|
Compositional Design of Multi-Robot Systems Control Software on ROS.
ACM Transactions on Embedded Computing Systems (TECS). Also to appear in the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2019. |
|
|
Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory.
Proceedings of the Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 2019. Fig. 5(c) in the LCTES version captures the same values as Fig. 5(b) by mistake. Kindly use the fixed version of the paper from our website. |
|
|
Cache-aware Kernel Tiling: An Approach for System-level Performance Optimization of GPU-based Applications.
Proceedings of the 2019 Design, Automation & Test in Europe Conference & Exhibition, (DATE) 2019, Florence, Italy, March 25-29, 2019. |
|
|
Quantifying the Information Leakage in Cache Attacks via Symbolic Execution.
ACM Transactions on Embedded Computing Systems (TECS). |
|
|
Road Context-aware Intrusion Detection System for Autonomous Cars.
Proceedings of the 21st International Conference on Information and Communications Security (ICICS). |
|
|
2018 |
Symbolic Verification of Cache Side-channel Freedom.
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems (TCAD). Also to appear in the International Conference on Embedded Software (EMSOFT), 2018. |
|
Automated directed fairness testing.
Proceedings of the 33rd (ACM/IEEE) International Conference on Automated Software Engineering, (ASE) 2018, Montpellier, France, September 3-7, 2018. |
|
|
LAWN: boosting the performance of NVMM file system through reducing write amplification.
Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018. |
|
|
Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems.
Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings. |
|
|
Measurement Based Execution Time Analysis of GPGPU Programs via SE+GA.
Proceedings of the Euromicro Conference on Digital Systems Design (DSD). |
|
|
Work-in-Progress: Road Context-aware Intrusion Detection System for Autonomous Cars.
Proceedings of the International Conference on Embedded Software (EMSOFT). |
|
|
Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). |
|
|
2017 |
How developers debug software the DbgBench dataset: poster.
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume. |
|
Testing Cache Side-Channel Leakage.
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. |
|
|
Quantifying the information leak in cache attacks via symbolic execution.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017. |
|
|
Where is the bug and how is it fixed? an experiment with practitioners.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017. |
|
|
Directed Automated Memory Performance Testing.
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. |
|
|
2016 |
On Testing Embedded Software.
Advances in Computers. |
|
Systematic detection of memory related performance bottlenecks in GPGPU programs.
Journal of Systems Architecture - Embedded Systems Design. |
|
|
SPARTA: A scheduling policy for thwarting differential power analysis attacks.
21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016, Macao, Macao, January 25-28, 2016. |
|
|
Quantifying the Information Leak in Cache Attacks through Symbolic Execution.
CoRR. |
|
|
2015 |
MESS: Memory Performance Debugging on Embedded Multi-core Systems.
Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. |
|
2014 |
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization.
Foundations and Trends in Electronic Design Automation 8(3-4). |
|
Static analysis of multi-core TDMA resource arbitration delays.
Real-Time Systems 50(2). |
|
|
A Unified WCET analysis framework for multicore platforms.
ACM Trans. Embedded Comput. Syst. 13(4s). |
|
|
Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches.
ACM Trans. Embedded Comput. Syst. 13(5s). |
|
|
Automated software testing of memory performance in embedded GPUs.
2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. |
|
|
Detecting energy bugs and hotspots in mobile apps.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. |
|
|
2013 |
Scalable and precise refinement of cache timing analysis via path-sensitive verification.
Real-Time Systems 49(4). |
|
Program performance spectrum.
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, LCTES '13, Seattle, WA, USA, June 20-21, 2013. |
|
|
Precise micro-architectural modeling for WCET analysis via AI+SAT.
19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013. |
|
|
Integrated Timing Analysis of Application and Operating Systems Code.
Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, BC, Canada, December 3-6, 2013. |
|
|
Static Analysis Driven Cache Performance Testing.
Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, BC, Canada, December 3-6, 2013. |
|
|
2012 |
A Unified WCET Analysis Framework for Multi-core Platforms.
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, Beijing, China, April 16-19, 2012. |
|
2011 |
Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds.
23rd Euromicro Conference on Real-Time Systems, ECRTS 2011, Porto, Portugal, 5-8 July, 2011. |
|
Static bus schedule aware scratchpad allocation in multiprocessors.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011. |
|
|
Scalable and Precise Refinement of Cache Timing Analysis via Model Checking.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011. |
|
|
Timing Analysis of a Protected Operating System Kernel.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011. |
|
|
2010 |
Modeling shared cache and bus in multi-cores for timing analysis.
13th International Workshop on Software and Compilers for Embedded Systems, SCOPES '10, St. Goar, Germany, June 29-30, 2010. |
|
2009 |
Unified Cache Modeling for WCET Analysis and Layout Optimizations.
Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, 1-4 December 2009. |
