Real messengers use TLS for authentication and integrity for client-server comms. We should add that (without doing any actual checks) to our implementation to model things like network-level padding more accurately.
Real messengers use TLS for authentication and integrity for client-server comms. We should add that (without doing any actual checks) to our implementation to model things like network-level padding more accurately.
Real messengers use TLS for authentication and integrity for client-server comms. We should add that (without doing any actual checks) to our implementation to model things like network-level padding more accurately.
Fixed via
e263a26eac.