Demo Data from VLDB 2026 / reviewers in the wild / expert
Tingzhen Dong
dblp:417/4267
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2026
0000-0002-0514-923XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 1 first-author · 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
2 papers |
Hardware security and side channels · 77% Cryptographic primitives and cryptanalysis · 23% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Processor architecture and microarchitecture · 100% |
Topics — the 8 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware security and side channels
secure speculation |
1.0 | 1 | 2026 | Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation · SP 2026 |
Hardware security and side channels › microarchitectural attacks
transient execution attack |
1.0 | 1 | 2026 | Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation · SP 2026 |
Automated reasoning and model checking
model checking |
1.0 | 1 | 2026 | Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation · SP 2026 |
Cryptographic primitives and cryptanalysis › cryptographic implementation
constant-time implementation |
0.9 | 1 | 2025 | Securing Cryptographic Software via Typed Assembly Language · CCS 2025 |
Hardware security and side channels
side-channel countermeasures |
0.9 | 1 | 2025 | Securing Cryptographic Software via Typed Assembly Language · CCS 2025 |
Processor architecture and microarchitecture › hardware-assisted security
secure processor architecture |
0.3 | 1 | 2026 | Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation · SP 2026 |
Processor architecture and microarchitecture › speculative execution › speculative execution attacks
spectre |
0.3 | 1 | 2025 | Securing Cryptographic Software via Typed Assembly Language · CCS 2025 |
Processor architecture and microarchitecture
speculative execution |
0.3 | 1 | 2025 | Securing Cryptographic Software via Typed Assembly Language · CCS 2025 |
Methods — techniques the papers use, named apart from their topics
model checking · 3.0typed assembly language · 1.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation
Tingzhen Dong, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Yu-Wei Fan, Mengjia Yan 0001 |
SP | 1 |
| 2025 | Securing Cryptographic Software via Typed Assembly LanguageabstractAuthors of cryptographic software are well aware that their code should not leak secrets through its timing behavior, and, until 2018, they believed that following industry-standard constant-time coding guidelines was sufficient. However, the revelation of the Spectre family of speculative execution attacks injected new complexities. Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan 0001 |
CCS | 2 |