57
55
30
42
30
60
60
30
30
55
30
30
42
42
30
30
30
42
30
42
57
30
30
60
42
30
60
35
47
60
60
60
55
Closing the Loop: Bidirectional Fully Encrypted Protocols
Researchers show naively composing unidirectional fully encrypted protocols is detectable and construct provably secure bidirectional FEPs, validated in Rust.
The paper introduces formal security definitions for bidirectional fully encrypted protocols (BiFEPs), covering exact shaping, delivery, protocol-state integrity, private half-close, and cross-direction isolation. It shows trivially composing two unidirectional FEPs enables detection attacks via cross-direction dependencies like traffic imbalance and connection tear-down. The authors construct provably secure BiFEPs for datastream and datagram settings, validated with a Rust implementation; no surveyed deployed protocol provides the full set of properties.
40
57
42
55
60
55
30