Demo Data from EDBT 2026 / reviewers in the wild / expert
Wen Shih Lim
dblp:290/4168
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 since 2021Security and privacy · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 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
2 papers |
Systems and software security · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Processor architecture and microarchitecture · 100% |
Topics — the 8 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security
memory safety |
1.1 | 2 | 2022 | Provably-Safe Multilingual Software Sandboxing using WebAssembly · USENIX Security Symposium 2022 HerQules: securing programs via hardware-enforced message queues · ASPLOS 2021 |
Systems and software security › isolation
software sandboxing |
0.6 | 1 | 2022 | Provably-Safe Multilingual Software Sandboxing using WebAssembly · USENIX Security Symposium 2022 |
Systems and software security › isolation
webassembly sandboxing |
0.6 | 1 | 2022 | Provably-Safe Multilingual Software Sandboxing using WebAssembly · USENIX Security Symposium 2022 |
Programming languages and type systems
language design |
0.6 | 1 | 2022 | Provably-Safe Multilingual Software Sandboxing using WebAssembly · USENIX Security Symposium 2022 |
Programming languages and type systems
webassembly |
0.6 | 1 | 2022 | Provably-Safe Multilingual Software Sandboxing using WebAssembly · USENIX Security Symposium 2022 |
Systems and software security › memory safety
control-flow integrity |
0.5 | 1 | 2021 | HerQules: securing programs via hardware-enforced message queues · ASPLOS 2021 |
Systems and software security › memory safety
hardware-enforced memory safety |
0.5 | 1 | 2021 | HerQules: securing programs via hardware-enforced message queues · ASPLOS 2021 |
Systems and software security › trusted computing
trusted execution |
0.1 | 1 | 2021 | HerQules: securing programs via hardware-enforced message queues · ASPLOS 2021 |
Methods — techniques the papers use, named apart from their topics
proof · 1.1formal verification · 1.1hardware-enforced message queues · 1.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Provably-Safe Multilingual Software Sandboxing using WebAssembly
Jay Bosamiya, Wen Shih Lim, Bryan Parno |
USENIX Security Symposium | 2 |
| 2021 | HerQules: securing programs via hardware-enforced message queuesabstractMany computer programs directly manipulate memory using unsafe pointers, which may introduce memory safety bugs. In response, past work has developed various runtime defenses, including memory safety checks, as well as mitigations like no-execute memory, shadow stacks, and control-flow integrity (CFI), which aim to prevent attackers from obtaining program control. However, software-based designs often need to update in-process runtime metadata to maximize accuracy, which is difficult to do precisely, efficiently, and securely. Hardware-based fine-grained instruction monitoring avoids this problem by maintaining metadata in special-purpose hardware, but suffers from high design complexity and requires significant microarchitectural changes. Daming D. Chen, Wen Shih Lim, Mohammad Bakhshalipour, Phillip B. Gibbons, James C. Hoe, Bryan Parno |
ASPLOS | 2 |