Eunomia: Anonymous and Secure Vehicular Digital Forensics based on Blockchain

Vehicular Digital Forensics (VDF) is essential to enable liability cognizance of accidents and fight against crimes. Ensuring the authority to timely gather, analyze, and trace data promotes vehicular investigations. However, adversaries crave the identity of the data provider/user, damage the evidence, violate evidence jurisdiction, and leak...

Astraea: Anonymous and Secure Auditing Based on Private Smart Contracts for Donation Systems

Many regions are in urgent need of facial masks for slowing down the spread of COVID-19. To fight the pandemic, people are contributing masks through donation systems. Most existing systems are built on a centralized architecture which is prone to the single point of failure and lack of transparency. Blockchain-based solutions neglect...

A Dynamic and Integrated Approach for Modeling and Managing Domino-effects (DIAMOND)

Process and chemical industrial areas consist of hundreds and even thousands of installations situated next to each other, where quantities of hazardous (e.g., flammable, explosive, toxic) substances are stored, transported, or processed. These installations are mutually linked in terms of the hazard level they pose to each other in the system....

Your Smart Contracts Are Not Secure: Investigating Arbitrageurs and Oracle Manipulators in Ethereum

Smart contracts on Ethereum enable billions of dollars to be transacted in a decentralized, transparent and trustless environment. However, adversaries lie await in the Dark Forest, waiting to exploit any and all smart contract vulnerabilities in order to extract profits from unsuspecting victims in this new financial system. As the...