Publications

2024

(2024). Forecasting and Mitigating Disruptions in Public Bus Transit Services. AAMAS 2024. Acceptance rate: 25%

PDF Project Project

(2024). An Online Approach to Solving Public Transit Stationing and Dispatch Problem. ICCPS 2024.

PDF Project Project

(2024). Reinforcement Learning based Proactive Control for Enabling Power Grid Resilience to Wildfire. IEEE Transactions on Industrial Informatics. Impact Factor: 11.65 (2023)

PDF

2023

(2023). Bug Hunters’ Perspectives on the Challenges and Benefits of the Bug Bounty Ecosystem. USENIX Security 2023. Distinguished Paper Award (less than 5% of accepted papers received this award)

PDF Project Slides

(2023). Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts with VeriSolid. IEEE Transactions on Dependable and Secure Computing. Impact Factor: 6.79 (2023)

PDF Project

(2023). Survey and Taxonomy of Adversarial Reconnaissance Techniques. ACM Computing Surveys. Impact Factor: 14.32 (2021)

PDF Project

(2023). Impact of COVID-19 on Public Transit Accessibility and Ridership. Transportation Research Record.

PDF Project Project

(2023). Bayesian Models for Node-Based Inference Techniques. SysCon 2023.

PDF

(2023). Rolling Horizon based Temporal Decomposition for the Offline Pickup and Delivery Problem with Time Windows. AAAI 2023. Acceptance rate: 19.6%

PDF Project Project

(2023). Principled Data-Driven Decision Support for Cyber-Forensic Investigations. AAAI 2023. Acceptance rate: 19.6%

PDF Project Slides

(2023). Strategic Cyber Camouflage. Autonomous Intelligent Cyber Defense Agent (AICA).

PDF DOI

2022

(2022). Decentralized Computation Market for Stream Processing Applications. IC2E 2022.

PDF Project

(2022). Offline Vehicle Routing Problem with Online Bookings: A Novel Problem Formulation with Applications to Paratransit. IJCAI 2022. Acceptance rate: 15%

PDF Project Project

(2022). An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services. ICCPS 2022.

PDF Project Project

(2022). A Taxonomy of Blockchain Oracles: The Truth Depends on the Question. ICBC 2022.

PDF Project

(2022). Data-Driven Prediction and Optimization of Energy Use for Transit Fleets of Electric and ICE Vehicles. ACM Transactions on Internet Technology.

PDF Project

2021

(2021). Energy and Emission Prediction for Mixed-Vehicle Transit Fleets Using Multi-Task and Inductive Transfer Learning. ECML PKDD 2021.

PDF Project Project

(2021). Transit-Gym: A Simulation and Evaluation Engine for Analysis of Bus Transit Systems. SMARTCOMP 2021.

PDF Project Project Project

(2021). Efficient Data Management for Intelligent Urban Mobility Systems. DI-CPS 2021.

Project Project Project

(2021). Selfish Mining Attacks Exacerbated by Elastic Hash Supply. FC 2021. Acceptance rate: 25%

PDF Project Slides

(2021). A Review and Outlook on Energy Consumption Estimation Models for Electric Vehicles. SAE International Journal of Sustainable Transportation, Energy, Environment, & Policy.

PDF Project

(2021). Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route Service. AAAI 2021. Acceptance rate: 21%

PDF Project

(2021). Safe and Private Forward-Trading Platform for Transactive Microgrids. ACM Transactions on Cyber-Physical Systems.

PDF Project

(2021). Data-Driven Decision Support for Optimizing Cyber Forensic Investigations. IEEE Transactions on Information Forensics & Security. Impact Factor: 7.18 (2020)

PDF Project

2020

(2020). Graph-Theoretic Approach for Increasing Participation in Networks with Assorted Resources. IEEE Transactions on Network Science and Engineering. Impact Factor: 5.21

PDF

(2020). Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches. IEEE Computer. Impact Factor: 4.41 (2019)

PDF Project

(2020). A Privacy-preserving Mobile and Fog Computing Framework to Trace and Prevent COVID-19 Community Transmission. IEEE Journal of Biomedical and Health Informatics. Impact Factor: 5.77 (2022)

(2020). Mechanisms for Outsourcing Computation via a Decentralized Market. DEBS 2020.

PDF

(2020). Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy Systems. ICPS 2020.

PDF Project

(2020). Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. ICBC 2020. Acceptance rate: 22%

PDF Project

(2020). An Empirical Study of Android Security Bulletins in Different Vendors. WWW 2020.

PDF Project

(2020). Finding Needles in a Moving Haystack: Prioritizing Alerts with Adversarial Reinforcement Learning. AAAI 2020. Acceptance rate: 20.6%

PDF Dataset

(2020). Integrating Redundancy, Diversity, and Hardening to Improve Security of Industrial Internet of Things. Cyber-Physical Systems.

PDF

2019

(2019). Post-Incident Audits on Cyber Insurance Discounts. Computers & Security. Impact Factor: 3.06 (2018)

PDF

(2019). Detection and Mitigation of Attacks on Transportation Networks as a Multi-Stage Security Game. Computers & Security. Impact Factor: 3.06 (2018)

PDF

(2019). Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks. PHM 2019.

PDF

(2019). Diversity and Trust to Increase Structural Robustness in Networks. ACC 2019.

PDF

(2019). A Game-Theoretic Approach for Selecting Optimal Time-Dependent Thresholds for Anomaly Detection. Autonomous Agents and Multi-Agent Systems.

PDF

(2019). Database Audit Workload Prioritization via Game Theory. ACM Transactions on Privacy and Security.

PDF

(2019). Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. ISORC 2019.

PDF

(2019). Cyber-Physical Simulation Platform for Security Assessment of the Transactive Energy Systems. MSCPES 2019.

PDF Project

(2019). VeriSolid: Correct-by-Design Smart Contracts for Ethereum. FC 2019. Acceptance rate: 22%

PDF Dataset Project Slides

(2019). Towards High-Resolution Multi-Stage Security Games. Proactive and Dynamic Network Defense.

PDF DOI

2018

(2018). TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids. ICPADS 2018.

PDF Project

(2018). Improving Network Connectivity and Robustness Using Trusted Nodes with Application to Resilient Consensus. IEEE Transactions on Control of Network Systems.

PDF

(2018). On the Assessment of Systematic Risk in Networked Systems. ACM Transactions on Internet Technology.

PDF

(2018). Synergistic Security for the Industrial Internet of Things: Integrating Redundancy, Diversity, and Hardening. ICII 2018.

PDF

(2018). Cyber-Insurance as a Signaling Game: Self-Reporting and External Security Audits. GameSec 2018.

PDF

(2018). SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. IEEE Blockchain 2018. Acceptance rate: 15.3%

PDF Project

(2018). Economic Analyses of Security Investments on Cryptocurrency Exchanges. IEEE Blockchain 2018. Acceptance rate: 15.3%

PDF

(2018). Application-Aware Anomaly Detection of Sensor Measurements in Cyber-Physical Systems. Sensors. 5-Year Impact Factor: 3.014 (2017)

PDF

(2018). Get Your Workload in Order: Game Theoretic Prioritization of Database Auditing. ICDE 2018. Acceptance rate: 23.1%

(2018). A Game-Theoretic Approach for Integrity Assurance in Resource-Bounded Systems. International Journal of Information Security.

PDF

(2018). Scheduling Resource-Bounded Monitoring Devices for Event Detection and Isolation in Networks. IEEE Transactions on Network Science and Engineering.

PDF

(2018). The Rules of Engagement for Bug Bounty Programs. FC 2018. Acceptance rate: 26%

PDF Project Slides

(2018). An Economic Study of the Effect of Android Platform Fragmentation on Security Updates. FC 2018. Acceptance rate: 26%

PDF

(2018). SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems. Proceedings of the IEEE. Impact Factor: 9.11 (2016)

2017

(2017). PlaTIBART: A Platform for Transactive IoT Blockchain Applications with Repeatable Testing. M4IoT 2017.

PDF Project

(2017). On the Economics of Ransomware. GameSec 2017.

PDF

(2017). Monitoring Stealthy Diffusions. Knowledge and Information Systems. Impact Factor: 2.25 (2017)

PDF

(2017). Improving Network Connectivity Using Trusted Nodes and Edges. ACC 2017.

PDF

(2017). Synergic Security for Smart Water Networks: Redundancy, Diversity, and Hardening. CySWater 2017.

PDF

(2017). Scheduling Battery-Powered Sensor Networks for Minimizing Detection Delays. IEEE Communications Letters. Impact Factor: 2.72

PDF

(2017). Optimal Detection of Faulty Traffic Sensors Used in Route Planning. SCOPE 2017.

PDF

(2017). Graph-Theoretic Approach for Increasing Participation in Social Sensing. SocialSens 2017.

PDF

(2017). A Game-Theoretic Approach for Alert Prioritization. AICS 2017.

PDF Slides

(2017). Devising Effective Policies for Bug-Bounty Platforms and Security Vulnerability Discovery. Journal of Information Policy.

PDF Project

2016

(2016). Optimal Thresholds for Anomaly-Based Intrusion Detection in Dynamical Environments. GameSec 2016.

PDF

(2016). Banishing Misaligned Incentives for Validating Reports in Bug-Bounty Platforms. ESORICS 2016. Acceptance rate: 21%

PDF Project

(2016). Vulnerability of Transportation Networks to Traffic-Signal Tampering. ICCPS 2016.

PDF Dataset Slides

(2016). Resilient Wireless Sensor Networks for Cyber-Physical Systems. Cyber-Physical System Design with Sensor Networking Technologies.

PDF DOI

(2016). Optimal Thresholds for Intrusion Detection Systems. HotSoS 2016.

PDF

(2016). Multi-Defender Strategic Filtering Against Spear-Phishing Attacks. AAAI 2016.

PDF

2015

(2015). Resilient Observation Selection in Adversarial Settings. CDC 2015.

PDF Slides

(2015). Monitoring Stealthy Diffusion. ICDM 2015. Acceptance rate: 18.2%

PDF Dataset

(2015). Games of Timing for Security in Dynamic Environments. GameSec 2015.

PDF

(2015). Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems. CPS-SPC 2015.

PDF Slides

(2015). Should Cyber-Insurance Providers Invest in Software Security?. ESORICS 2015. Acceptance rate: less than 20%

PDF Slides

(2015). Game-Theoretic Model of Incentivizing Privacy-Aware Users to Consent to Location Tracking. RATSP 2015.

PDF

(2015). A Game-Theoretic Approach for Minimizing Security Risks in the Internet-of-Things. IoT/CPS-Security 2015.

PDF

(2015). Adaptive Steganography and Steganalysis with Fixed-Size Embedding. Transactions on Data Hiding and Multimedia Security.

PDF

(2015). Optimal Personalized Filtering Against Spear-Phishing Attacks. AAAI 2015.

PDF Slides

2014

(2014). FlipThem: Modeling Targeted Attacks with FlipIt for Multiple Resources. GameSec 2014.

PDF Slides

(2014). Secure Team Composition to Thwart Insider Threats and Cyberespionage. ACM Transactions on Internet Technology.

PDF

(2014). A Survey of Interdependent Information Security Games. ACM Computing Surveys. Impact Factor: 6.75

PDF

(2014). The Complexity of Estimating Systematic Risk in Networks. CSF 2014.

PDF

(2014). How Many Down? Toward Understanding Systematic Risk in Networks. ASIACCS 2014. Acceptance rate: 20%

PDF

(2014). Game-Theoretic Analysis of DDoS Attacks Against Bitcoin Mining Pools. BITCOIN 2014.

PDF

(2014). Estimating Systematic Risk in Real-World Networks. FC 2014. Acceptance rate: 22.5%

PDF

2013

(2013). Mitigating Covert Compromises: A Game-Theoretic Model of Targeted and Non-Targeted Covert Attacks. WINE 2013. Acceptance rate: 24%

PDF Slides

(2013). Mitigation of Targeted and Non-Targeted Covert Attacks as a Timing Game. GameSec 2013.

PDF

(2013). Bitspotting: Detecting Optimal Adaptive Steganography. IWDW 2013.

PDF

(2013). Managing the Weakest Link: A Game-Theoretic Approach for the Mitigation of Insider Threats. ESORICS 2013. Acceptance rate: 17.8%

PDF Slides

(2013). A Game-Theoretic Analysis of Content-Adaptive Steganography with Independent Embedding. EUSIPCO 2013.

PDF

(2013). Designing Robust Network Topologies for Wireless Sensor Networks in Adversarial Environments. Pervasive and Mobile Computing. Impact Factor: 2.35

PDF

(2013). Quantifying All-to-One Network Topology Robustness Under Budget Constraints. W-PIN+NetEcon 2013 2013. published in ACM SIGMETRICS Performance Evaluation Review, Volume 41 Issue 4, March 2014

PDF

2012

(2012). Game-theoretic Robustness of Many-to-one Networks. GameNets 2012.

PDF

2011