Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Wen Shih Lim

dblp:290/4168 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Systems and software security
memory safety
1.122022
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.612022
Provably-Safe Multilingual Software Sandboxing using WebAssembly · USENIX Security Symposium 2022
Systems and software security › isolation
webassembly sandboxing
0.612022
Provably-Safe Multilingual Software Sandboxing using WebAssembly · USENIX Security Symposium 2022
Programming languages and type systems
language design
0.612022
Provably-Safe Multilingual Software Sandboxing using WebAssembly · USENIX Security Symposium 2022
Programming languages and type systems
webassembly
0.612022
Provably-Safe Multilingual Software Sandboxing using WebAssembly · USENIX Security Symposium 2022
Systems and software security › memory safety
control-flow integrity
0.512021
HerQules: securing programs via hardware-enforced message queues · ASPLOS 2021
Systems and software security › memory safety
hardware-enforced memory safety
0.512021
HerQules: securing programs via hardware-enforced message queues · ASPLOS 2021
Systems and software security › trusted computing
trusted execution
0.112021
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
YearPublicationVenuePosition
2022 Provably-Safe Multilingual Software Sandboxing using WebAssembly
Jay Bosamiya, Wen Shih Lim, Bryan Parno
USENIX Security Symposium2
2021 HerQules: securing programs via hardware-enforced message queues
abstract
Many 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
ASPLOS2