2 papers
cs.LO2025
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)…
cs.HC2024
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…