2 citations · 2 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018
Specification Mining for Smart Contracts with Automatic Abstraction Tuning
Florentin Guth, Valentin Wüstholz, Maria Christakis +1
Smart contracts are programs that manage digital assets according to a certain protocol, expressing for instance the rules of an auction. Understanding the possible behaviors of a…
cs.PL2018
Permission Inference for Array Programs
Jérôme Dohrau, Alexander J. Summers, Caterina Urban +2
Information about the memory locations accessed by a program is, for instance, required for program parallelisation and program verification. Existing inference techniques for this…