Security Notions for Fully Encrypted Protocols https://petsymposium.org/foci/2023/foci-2023-0004.pdf This paper gives the first definitions for FEPs, examples of how existing protocols fail to satisfy them, and a novel protocol that does satisfy them.