Security Notions for Fully Encrypted Protocols
Authors: Ellis Fenske (U.S. Naval Academy), Aaron Johnson (U.S. Naval Research Laboratory)
Year: 2023
Issue: 1
Pages: 24–29
Abstract: A common strategy to avoid network censorship is to use a fully encrypted protocol (FEP). Such protocols are designed to make all bytes appear uniformly random and make packet sizes unpredictable. These goals depend on cryptographic assumptions, but no mathematical formalization of them has been presented. We give the first definitions for FEPs, examples of how existing protocols fail to satisfy them, and a novel protocol that does satisfy them.
Copyright in FOCI articles are held by their authors. This article is published under a Creative Commons Attribution 4.0 license.
