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

Adva Zair

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

TopicWeightPapersLastEvidence papers
Distributed computing theory
impossibility results
0.312017
Stateless Computation · PODC 2017
Distributed computing theory
self-stabilization
0.312017
Stateless Computation · PODC 2017
Network security
anonymity networks
0.212016
Measuring and Mitigating AS-level Adversaries Against Tor · NDSS 2016
Network security › routing security › interdomain routing security
AS-level adversary
0.212016
Measuring and Mitigating AS-level Adversaries Against Tor · NDSS 2016
Network security › anonymity networks
tor
0.212016
Measuring and Mitigating AS-level Adversaries Against Tor · NDSS 2016
Network security
traffic analysis
0.212016
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
YearPublicationVenuePosition
2017 Stateless Computation
abstract
We 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
PODC5
2016 Measuring and Mitigating AS-level Adversaries Against Tor
Rishab Nithyanand, Oleksii Starov, Phillipa Gill, Adva Zair, Michael Schapira
NDSS4