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

Download PDF

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.