Demo Data from SIGIR 2026 / reviewers in the wild / expert
Aditya Badole
dblp:341/1481
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2025
0009-0009-8555-4152ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 2 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 |
Operating systems · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security
memory safety |
0.7 | 1 | 2023 | Capstone: A Capability-based Foundation for Trustless Secure Memory Access · USENIX Security Symposium 2023 |
Operating systems › resource management › memory management
memory protection |
0.2 | 1 | 2023 | Capstone: A Capability-based Foundation for Trustless Secure Memory Access · USENIX Security Symposium 2023 |
Methods — techniques the papers use, named apart from their topics
capability systems · 1.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Caplification: Bridging Capability-Aware and Capability-Oblivious SoftwareabstractHardware capabilities offer an alternative to how access control is commonly implemented in processors today, i.e., through enforcement of permission checks on virtual memory at the time of address translation. Despite conceptual strengths of capability hardware, it is challenging for existing capability-oblivious software stacks to be compatible with capability hardware and to interoperate with capability-aware software, hindering faster adoption. Prior attempts to achieve this sacrifice the inherent advantages of capabilities. They require trusting a software central authority (e.g., the OS kernel) for capability-based isolation and limit the scope of capability-based memory sharing to individual virtual address spaces. This paper proposes the idea of caplification, a novel mechanism to enable seamless co-existence of capability-aware and capability-oblivious software stacks. We concretely implement our proposed idea on a modern RISC-V capability hardware and show how it enables running a commodity unmodified (or capability-oblivious) Linux OS. Our design retains the full advantages provided by hardware capabilities, such as creating fine-grained hardware-isolated memory compartments both in user- and kernel-space. We evaluated our prototype system both on QEMU emulation and on hardware RTL simulation. We find that the performance of our system is comparable to prior baseline designs, while offering cost improvements in scenarios of secure data sharing. Zhijingcheng Yu, Aditya Badole, Trevor E. Carlson, Michael Swift, Prateek Saxena |
SACMAT | 3 |
| 2023 | Capstone: A Capability-based Foundation for Trustless Secure Memory Access
Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena |
USENIX Security Symposium | 3 |