18 citations · 68 across the 14 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2022★ 1 cited
ACon: Adaptive Conformal Consensus for Provable Blockchain Oracles
Sangdon Park, Osbert Bastani, Taesoo Kim
Blockchains with smart contracts are distributed ledger systems that achieve block-state consistency among distributed nodes by only allowing deterministic operations of smart cont…
cs.CR2022
Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning
Xiang Cheng, Sangdon Park, HyungSeok Han +2
Rust, as an emerging system programming language, introduces to allow developers to bypass safety checks during compilation. As a result, memory safety bugs are t…