13 citations · 28 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 5 cited
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
Sunbeom So, Myungho Lee, Jisu Park +2
We present VeriSmart, a highly precise verifier for ensuring arithmetic safety of Ethereum smart contracts. Writing safe smart contracts without unintended behavior is critically i…
cs.SE2019★ 1 cited
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
Sooyoung Cha, Seongjoon Hong, Jingyoung Kim +2
We present a technique to automatically generate search heuristics for dynamic symbolic execution. A key challenge in dynamic symbolic execution is how to effectively explore the p…