43 citations · 91 across the 6 of their papers we have counts for
6 papers · 1 filter
Code Integrity Attestation for PLCs using Black Box Neural Network Predictions
Yuqi Chen, Christopher M. Poskitt, Jun Sun
Cyber-physical systems (CPSs) are widespread in critical domains, and significant damage can be caused if an attacker is able to modify the code of their programmable logic control…
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
Tai D. Nguyen, Long H. Pham, Jun Sun
Smart contracts are distributed, self-enforcing programs executing on top of blockchain networks. They have the potential to revolutionize many industries such as financial institu…
CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies
Qingze Hum, Wei Jin Tan, Shi Ying Tey +4
Cryptocurrencies have become very popular in recent years. Thousands of new cryptocurrencies have emerged, proposing new and novel techniques that improve on Bitcoin's core innovat…
Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences
Yuqi Chen, Christopher M. Poskitt, Jun Sun +2
The threat of attack faced by cyber-physical systems (CPSs), especially when they play a critical role in automating public infrastructure, has motivated research into a wide varie…
Parametric Timed Model Checking for Guaranteeing Timed Opacity
Étienne André, Jun Sun
Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage is the ability for an attacker to deduce int…
sCompile: Critical Path Identification and Analysis for Smart Contracts
Jialiang Chang, Bo Gao, Hao Xiao +3
Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed,…