Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Nonmalleable Progress Leakage
Ethan Cecchetti
Information-flow control systems often enforce progress-insensitive noninterference, as it is simple to understand and enforce. Unfortunately, real programs need to declassify resu…
cs.CR2025
A Language for Smart Contracts with Secure Control Flow (Technical Report)
Siqiu Yao, Haobin Ni, Stephanie Ma +3
Smart contracts are frequently vulnerable to control-flow attacks based on confused deputies, reentrancy, and incorrect error handling. These attacks exploit the complexity of inte…