Conference Papers

Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid

Smart contracts enable the creation of decentralized applications which often handle assets of large value. These decentralized applications are frequently built on multiple …

Keerthi Nelaturu
•

An Empirical Study of Android Security Bulletins in Different Vendors

Mobile devices encroach on almost every part of our lives, including work and leisure, and contain a wealth of personal and sensitive information. It is, therefore, imperative that …

Sadegh Farhang
•

Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media

Blockchain-based platforms are emerging as a transformative technology that can provide reliability, integrity, and auditability without trusted entities. One of the key features …

avatar
Afiya Ayman
•

Finding Needles in a Moving Haystack: Prioritizing Alerts with Adversarial Reinforcement Learning

Detection of malicious behavior is a fundamental problem in security. One of the major challenges in using detection systems in practice is in dealing with an overwhelming number …

Liang Tong
•

Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks

Traffic networks are one of the most critical infrastructures for any community. The increasing integration of smart and connected sensors in traffic networks provides researchers …

Sanchita Basak
•

Diversity and Trust to Increase Structural Robustness in Networks

In a networked system, any change in the underlying network structure, such as node and link removals due to an attack, could severely affect the overall system behavior. …

Waseem Abbas
•

Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots

Learning enabled components (LECs) trained using data-driven algorithms are increasingly being used in autonomous robots commonly found in factories, hospitals, and educational …

Shreyas Ramakrishna
•

Cyber-Physical Simulation Platform for Security Assessment of the Transactive Energy Systems

Transactive energy systems (TES) are emerging as a transformative solution for the problems that distribution system operators face due to an increase in the use of distributed …

Yue Zhang
•

VeriSolid: Correct-by-Design Smart Contracts for Ethereum

The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the …

Anastasia Mavridou
•

TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids

Power grids are undergoing major changes due to rapid growth in renewable energy and improvements in battery technology. Prompted by the increasing complexity of power systems, …

avatar
Aron Laszka
•