13 citations · 14 across the 3 of their papers we have counts for
4 papers
Generalized Security-Preserving Refinement for Concurrent Systems
Huan Sun, David Sanán, Jingyi Wang +3
Ensuring compliance with Information Flow Security (IFS) is known to be challenging, especially for concurrent systems with large codebases such as multicore operating system (OS)…
PonziLens+: Visualizing Bytecode Actions for Smart Ponzi Scheme Identification
Xiaolin Wen, Tai D. Nguyen, Shaolun Ruan +4
With the prevalence of smart contracts, smart Ponzi schemes have become a common fraud on blockchain and have caused significant financial loss to cryptocurrency investors in the p…
Towards Large Language Model Aided Program Refinement
Yufan Cai, Zhe Hou, Xiaokun Luan +4
Program refinement involves correctness-preserving transformations from formal high-level specification statements into executable programs. Traditional verification tool support f…
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
Huijia Sun, Christopher M. Poskitt, Yang Sun +2
The rapid progress of autonomous vehicles~(AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safe…