FVQKD

Search everything

Mentions · 7d1
Mentions · 30d1
All mentions1
First seenOct 22, 2026
Last mentioned3d ago

Timeline

1 articles · newest first

FVQKD machine-checks finite-key BB84 security in Rocq

The admit-free proof surfaces unstated side conditions, including a missing branch in the published argument.

arXiv cs.CROct 22, 03:06 UTC · 3d agoResearch

Appears with

Rocqproduct · 1
BB84product · 1

Entities are extracted by the model from each article. First seen Oct 22, 2026, last mentioned 3d ago. Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.