Source author record

Bruce Spang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
6topics
4close collaborators

Published work

2 publications

preprint2022arXiv

Strong Anonymity for Mesh Messaging

Messaging systems built on mesh networks consisting of smartphones communicating over Bluetooth have been used by protesters around the world after governments have disrupted Internet connectivity. Unfortunately, existing systems have been shown to be insecure; most concerningly by not adequately hiding metadata. This is further complicated by the fact that wireless communication such as Bluetooth is inherently a broadcasting medium. In this paper, we present a new threat model that captures the security requirements of protesters in this setting. We then provide a solution that satisfies the required security properties, hides all relevant metadata, scales to moderately sized protests, and supports group messaging. This is achieved by broadcasting all messages in a way that limits the overhead of duplicate messages, ensuring that ciphertexts do not leak metadata, and limiting what can be learned by observing user behavior. We also build a model of our system and numerically evaluate it to support our claims and analyze how many users it supports. Finally, we discuss further extensions that remove potential bottlenecks in scaling and support substantially more users.

preprint2020arXiv

Coded trace reconstruction in a constant number of traces

The coded trace reconstruction problem asks to construct a code C⊂{0,1}nC\subset \{0,1\}^n such that any x∈Cx\in C is recoverable from independent outputs ("traces") of xx from a binary deletion channel (BDC). We present binary codes of rate 1−ε1-\varepsilon that are efficiently recoverable from exp⁡(Oq(log⁡1/3(1ε))){\exp(O_q(\log^{1/3}(\frac{1}{\varepsilon})))} (a constant independent of nn) traces of a BDC⁡q\operatorname{BDC}_q for any constant deletion probability q∈(0,1)q\in(0,1). We also show that, for rate 1−ε1-\varepsilon binary codes, Ω~(log⁡5/2(1/ε))\tilde Ω(\log^{5/2}(1/\varepsilon)) traces are required. The results follow from a pair of black-box reductions that show that average-case trace reconstruction is essentially equivalent to coded trace reconstruction. We also show that there exist codes of rate 1−ε1-\varepsilon over an Oε(1)O_{\varepsilon}(1)-sized alphabet that are recoverable from O(log⁡(1/ε))O(\log(1/\varepsilon)) traces, and that this is tight.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.