16 citations · 48 across the 14 of their papers we have counts for
16 papers
TAP: Transparent and Privacy-Preserving Data Services
Daniel Reijsbergen, Aung Maw, Zheng Yang +2
Users today expect more security from services that handle their data. In addition to traditional data privacy and integrity requirements, they expect transparency, i.e., that the…
Threat Modeling and Security Analysis of Containers: A Survey
Ann Yi Wong, Eyasu Getahun Chekole, Martin Ochoa +1
Traditionally, applications that are used in large and small enterprises were deployed on "bare metal" servers installed with operating systems. Recently, the use of multiple virtu…
Reinshard: An optimally sharded dual-blockchain for concurrency resolution
Vishal Sharma, Zengpeng Li, Pawel Szalachowski +2
Decentralized control, low-complexity, flexible and efficient communications are the requirements of an architecture that aims to scale blockchains beyond the current state. Such p…
Post-Quantum VRF and its Applications in Future-Proof Blockchain System
Zengpeng Li, Teik Guan Tan, Pawel Szalachowski +2
A verifiable random function (VRF in short) is a powerful pseudo-random function that provides a non-interactively public verifiable proof for the correctness of its output. Recent…
Toward Safe Integration of Legacy SCADA Systems in the Smart Grid
Aldar C-F. Chan, Jianying Zhou
A SCADA system is a distributed network of cyber-physical devices used for instrumentation and control of critical infrastructures such as an electric power grid. With the emergenc…
Accountable Fine-grained Blockchain Rewriting in the Permissionless Setting
Yangguang Tian, Bowen Liu, Yingjiu Li +2
Blockchain rewriting with fine-grained access control allows a user to create a transaction associated with a set of attributes, while another user (or modifier) who possesses enou…
Transparent Electricity Pricing with Privacy
Daniel Reijsbergen, Zheng Yang, Aung Maw +2
Smart grids leverage data from smart meters to improve operations management and to achieve cost reductions. The fine-grained meter data also enable pricing schemes that simultaneo…
Scanning the Cycle: Timing-based Authentication on PLCs
Chuadhry Mujeeb Ahmed, Martin Ochoa, Jianying Zhou +1
Programmable Logic Controllers (PLCs) are a core component of an Industrial Control System (ICS). However, if a PLC is compromised or the commands sent across a network from the PL…
Securing Password Authentication for Web-based Applications
Teik Guan Tan, Pawel Szalachowski, Jianying Zhou
The use of passwords and the need to protect passwords are not going away. The majority of websites that require authentication continue to support password authentication. Even hi…
SSIDS: Semi-Supervised Intrusion Detection System by Extending the Logical Analysis of Data
Tanmoy Kanti Das, S. Gangopadhyay, Jianying Zhou
Prevention of cyber attacks on the critical network resources has become an important issue as the traditional Intrusion Detection Systems (IDSs) are no longer effective due to the…
LaKSA: A Probabilistic Proof-of-Stake Protocol
Daniel Reijsbergen, Pawel Szalachowski, Junming Ke +2
We present Large-scale Known-committee Stake-based Agreement (LaKSA), a chain-based Proof-of-Stake protocol that is dedicated, but not limited, to cryptocurrencies. LaKSA minimizes…
Revisiting Anomaly Detection in ICS: Aimed at Segregation of Attacks and Faults
Chuadhry Mujeeb Ahmed, Jay Prakash, Jianying Zhou
In an Industrial Control System (ICS), its complex network of sensors, actuators and controllers have raised security concerns for critical infrastructures and industrial productio…
Challenges and Opportunities in CPS Security: A Physics-based Perspective
Chuadhry Mujeeb Ahmed, Jianying Zhou
The integration of cyber technologies (computing and communication) with the physical world gives rise to complex systems referred to as Cyber Physical Systems (CPS), for example,…
SAFE^d: Self-Attestation For Networks of Heterogeneous Embedded Devices
Alessandro Visintin, Flavio Toffalini, Mauro Conti +1
The Internet of Things (IoT) is an emerging paradigm that allows to set large networks of small and independent devices. To ensure their integrity, practitioners employ so-called R…
ScaRR: Scalable Runtime Remote Attestation for Complex Systems
Flavio Toffalini, Eleonora Losiouk, Andrea Biondo +2
The introduction of remote attestation (RA) schemes has allowed academia and industry to enhance the security of their systems. The commercial products currently available enable o…
Data Integrity Threats and Countermeasures in Railway Spot Transmission Systems
Hoon Wei Lim, William G. Temple, Bao Anh N. Tran +3
Modern trains rely on balises (communication beacons) located on the track to provide location information as they traverse a rail network. Balises, such as those conforming to the…