research
∙
08/14/2023
Artificial Intelligence for Smart Transportation
There are more than 7,000 public transit agencies in the U.S. (and many ...
share
research
∙
06/11/2023
Adversarial Reconnaissance Mitigation and Modeling
Adversarial reconnaissance is a crucial step in sophisticated cyber-atta...
research
∙
04/14/2023
SoK: The MITRE ATT CK Framework in Research and Practice
The MITRE ATT CK framework, a comprehensive knowledge base of adversar...
research
∙
03/06/2023
Rolling Horizon based Temporal Decomposition for the Offline Pickup and Delivery Problem with Time Windows
The offline pickup and delivery problem with time windows (PDPTW) is a c...
research
∙
01/28/2023
The Benefits of Vulnerability Discovery and Bug Bounty Programs: Case Studies of Chromium and Firefox
Recently, bug-bounty programs have gained popularity and become a signif...
research
∙
01/12/2023
Bug Hunters' Perspectives on the Challenges and Benefits of the Bug Bounty Ecosystem
Although researchers have characterized the bug-bounty ecosystem from th...
research
∙
11/23/2022
Principled Data-Driven Decision Support for Cyber-Forensic Investigations
In the wake of a cybersecurity incident, it is crucial to promptly disco...
research
∙
04/25/2022
Offline Vehicle Routing Problem with Online Bookings: A Novel Problem Formulation with Applications to Paratransit
Vehicle routing problems (VRPs) can be divided into two major categories...
research
∙
03/28/2022
An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services
Many transit agencies operating paratransit and microtransit services ha...
research
∙
09/16/2021
Strategic Remote Attestation: Testbed for Internet-of-Things Devices and Stackelberg Security Game for Optimal Strategies
Internet of Things (IoT) devices and applications can have significant v...
research
∙
07/12/2021
Reinforcement Learning based Proactive Control for Transmission Grid Resilience to Wildfire
Power grid operation subject to an extreme event requires decision-makin...
research
∙
05/11/2021
Survey and Taxonomy of Adversarial Reconnaissance Techniques
Adversaries are often able to penetrate networks and compromise systems ...
research
∙
03/14/2021
Selfish Mining Attacks Exacerbated by Elastic Hash Supply
Several attacks have been proposed against Proof-of-Work blockchains, wh...
research
∙
01/22/2021
Efficient Data Management for Intelligent Urban Mobility Systems
Modern intelligent urban mobility applications are underpinned by large-...
research
∙
08/06/2020
Impact of COVID-19 on Public Transit Accessibility and Ridership
Public transit is central to cultivating equitable communities. Meanwhil...
research
∙
06/23/2020
A Privacy-preserving Mobile and Fog Computing Framework to Trace and Prevent COVID-19 Community Transmission
To slow down the spread of COVID-19, governments around the world are tr...
research
∙
06/14/2020
Equilibrium of Blockchain Miners with Dynamic Asset Allocation
We model and analyze blockchain miners who seek to maximize the compound...
research
∙
05/23/2020
Mechanisms for Outsourcing Computation via a Decentralized Market
As the number of personal computing and IoT devices grows rapidly, so do...
research
∙
04/10/2020
Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route Service
Public transit can have significantly lower environmental impact than pe...
research
∙
04/10/2020
Data-Driven Prediction of Route-Level Energy Use for Mixed-Vehicle Transit Fleets
Due to increasing concerns about environmental impact, operating costs, ...
research
∙
03/16/2020
Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities
Vyper has been proposed as a new high-level language for Ethereum smart ...
research
∙
03/13/2020
Plasma Go: A Scalable Sidechain Protocol for Flexible Payment Mechanisms in Blockchain-based Marketplaces
The rapid proliferation of decentralized marketplace applications demand...
research
∙
02/22/2020
An Empirical Study of Android Security Bulletins in Different Vendors
Mobile devices encroach on almost every part of our lives, including wor...
research
∙
11/27/2019
Deep Reinforcement Learning based Adaptive Moving Target Defense
Moving target defense (MTD) is a proactive defense approach that aims to...
research
∙
10/11/2019
Safe and Private Forward-Trading Platform for Transactive Microgrids
Transactive microgrids have emerged as a transformative solution for the...
research
∙
08/13/2019
Post-Incident Audits on Cyber Insurance Discounts
We introduce a game-theoretic model to investigate the strategic interac...
research
∙
06/20/2019
Finding Needles in a Moving Haystack: Prioritizing Alerts with Adversarial Reinforcement Learning
Detection of malicious behavior is a fundamental problem in security. On...
research
∙
05/22/2019
Hey Google, What Exactly Do Your Security Patches Tell Us? A Large-Scale Empirical Study on Android Patched Vulnerabilities
In this paper, we perform a comprehensive study of 2,470 patched Android...
research
∙
05/15/2019
Smart Contract Development in Practice: Trends, Issues, and Discussions on Stack Overflow
Blockchain based platforms are emerging as a transformative technology t...
research
∙
04/20/2019
Economic Analyses of Security Investments on Cryptocurrency Exchanges
Cryptocurrency exchanges are frequently targeted and compromised by cybe...
research
∙
02/06/2019
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots
This paper deals with resource constrained autonomous robots commonly fo...
research
∙
01/04/2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
The adoption of blockchain based distributed ledgers is growing fast due...
research
∙
08/28/2018
Synergistic Security for the Industrial Internet of Things: Integrating Redundancy, Diversity, and Hardening
As the Industrial Internet of Things (IIot) becomes more prevalent in cr...
research
∙
08/25/2018
Detection and Mitigation of Attacks on Transportation Networks as a Multi-Stage Security Game
In recent years, state-of-the-art traffic-control devices have evolved f...
research
∙
04/22/2018
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
Internet of Things and data sciences are fueling the development of inno...
research
∙
02/26/2018
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
Blockchain-based distributed computing platforms enable the trusted exec...
research
∙
01/22/2018
Get Your Workload in Order: Game Theoretic Prioritization of Database Auditing
For enhancing the privacy protections of databases, where the increasing...
research
∙
12/21/2017
An Economic Study of the Effect of Android Platform Fragmentation on Security Updates
Vendors in the Android ecosystem typically customize their devices by mo...
research
∙
11/26/2017
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
The adoption of blockchain-based distributed computation platforms is gr...
research
∙
02/08/2017