EDBT 2026 Demo / reviewers in the wild / expert
Jiun Min
dblp:385/6787
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
1 paper |
Systems and software security · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security › memory safety
address sanitizer |
0.8 | 1 | 2024 | ERASan: Efficient Rust Address Sanitizer · SP 2024 |
Systems and software security
memory safety |
0.8 | 1 | 2024 | ERASan: Efficient Rust Address Sanitizer · SP 2024 |
Programming languages and type systems
rust |
0.2 | 1 | 2024 | ERASan: Efficient Rust Address Sanitizer · SP 2024 |
Programming languages and type systems › rust
unsafe rust |
0.2 | 1 | 2024 | ERASan: Efficient Rust Address Sanitizer · SP 2024 |
Methods — techniques the papers use, named apart from their topics
instrumentation · 1.5dynamic analysis · 1.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | ERASan: Efficient Rust Address SanitizerabstractRust is a rapidly growing system programming language that ensures a speed comparable to traditional C/C++ system programming languages, along with the additional benefit of guaranteed memory safety. However, Rust’s strict security rules make implementing and executing some features challenging. To address this, Rust has introduced unsafe Rust, which is less constrained by these strict rules. Nevertheless, these unsafe Rust, where strict Rust security rules are not fully applied, can cause temporal and spatial memory bugs that account for 22% of the Rust bugs reported between 2016 and 2023.In this paper, we propose an efficient address sanitizer design customized for Rust, called ERASan, to detect memory bugs in Rust programs more efficiently than prior work. Based on our thorough analysis of safe and unsafe Rust programming language standards as well as memory bugs found in real-world Rust programs over the past years, we design and implement ERASan to only instrument memory accesses in both safe and unsafe code areas where Rust cannot guarantee safety. We evaluate ERASan with several real-world applications. ERASan removes an average of 90.03% of ASan’s memory access checks. Due to this, ERASan significantly reduces ASan’s performance overhead by an average of 239.05% without harming its bug-finding ability. Jiun Min, Dongyeon Yu, Seongyun Jeong, Dokyung Song, Yuseok Jeon |
SP | 1 |