232 citations · 599 across the 17 of their papers we have counts for
17 papers
autofz: Automated Fuzzer Composition at Runtime
Yu-Fu Fu, Jaehyuk Lee, Taesoo Kim
Fuzzing has gained in popularity for software vulnerability detection by virtue of the tremendous effort to develop a diverse set of fuzzers. Thanks to various fuzzing techniques,…
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…
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…
Mitigating Low-volume DoS Attacks with Data-driven Resource Accounting
ChangSeok Oh, Sangho Lee, Wen Xu +2
Low-volume Denial-of-Service (μDoS) attacks have been demonstrated to fundamentally bypass traditional DoS mitigation schemes based on the flow and volume of network packets. In th…
Attack of the Clones: Measuring the Maintainability, Originality and Security of Bitcoin 'Forks' in the Wild
Jusop Choi, Wonseok Choi, William Aiken +5
Since Bitcoin appeared in 2009, over 6,000 different cryptocurrency projects have followed. The cryptocurrency world may be the only technology where a massive number of competitor…
SOK: On the Analysis of Web Browser Security
Jungwon Lim, Yonghwi Jin, Mansour Alharthi +6
Web browsers are integral parts of everyone's daily life. They are commonly used for security-critical and privacy sensitive tasks, like banking transactions and checking medical r…