43 citations · 91 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
Long H. Pham, Jun Sun, Quang Loc Le
Analyzing and verifying heap-manipulating programs automatically is challenging. A key for fighting the complexity is to develop compositional methods. For instance, many existing…
Concolic Testing Heap-Manipulating Programs
Long H. Pham, Quang Loc Le, Quoc-Sang Phan +1
Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on…
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…