Skip to content

Author

Staley Ian

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Aug 2026

Three Measurement Hazards in Analyzer-in-the-Loop Repair of Smart Contracts

An executed exploit is reported showing a specification-level authorization defect that produced no high or medium impact finding, its consequence for repair metrics, where it biases both transition counts upward and can confound comparison between methods producing differently sized .patches.

Staley Ian · 0 citations