Demo Data from VLDB 2026 / reviewers in the wild / expert
Adva Zair
dblp:149/9522
· DBLP profile ↗
2ranked-venue papers
0as first author
0since 2021 · last 2017
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1Security and privacy · 1
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 |
Network security · 100% | |
| Theoretical computer science
1 paper |
Distributed computing theory · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Distributed computing theory
impossibility results |
0.3 | 1 | 2017 | Stateless Computation · PODC 2017 |
Distributed computing theory
self-stabilization |
0.3 | 1 | 2017 | Stateless Computation · PODC 2017 |
Network security
anonymity networks |
0.2 | 1 | 2016 | Measuring and Mitigating AS-level Adversaries Against Tor · NDSS 2016 |
Network security › routing security › interdomain routing security
AS-level adversary |
0.2 | 1 | 2016 | Measuring and Mitigating AS-level Adversaries Against Tor · NDSS 2016 |
Network security › anonymity networks
tor |
0.2 | 1 | 2016 | Measuring and Mitigating AS-level Adversaries Against Tor · NDSS 2016 |
Network security
traffic analysis |
0.2 | 1 | 2016 | Measuring and Mitigating AS-level Adversaries Against Tor · NDSS 2016 |
Methods — techniques the papers use, named apart from their topics
hardness proof · 0.3measurement · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | Stateless ComputationabstractWe present and explore a model of stateless and self-stabilizing distributed computation, inspired by real-world applications such as routing on today's Internet. Processors in our model do not have an internal state, but rather interact by repeatedly mapping incoming messages ("labels") to outgoing messages and output values. While seemingly too restrictive to be of interest, stateless computation encompasses both classical game-theoretic notions of strategic interaction and a broad range of practical applications (e.g., Internet protocols, circuits, diffusion of technologies in social networks). Our main technical contribution is a general impossibility result for stateless self-stabilization in our model, showing that even modest asynchrony (with wait times that are linear in the number of processors) can prevent a stateless protocol from reaching a stable global configuration. Furthermore, we present hardness results for verifying stateless self-stabilization. We also address several aspects of the computational power of stateless protocols. Most significantly, we show that short messages (of length that is logarithmic in the number of processors) yield substantial computational power, even on very poorly connected topologies. Danny Dolev, Michael Erdmann, Neil Lutz, Michael Schapira, Adva Zair |
PODC | 5 |
| 2016 | Measuring and Mitigating AS-level Adversaries Against Tor
Rishab Nithyanand, Oleksii Starov, Phillipa Gill, Adva Zair, Michael Schapira |
NDSS | 4 |