A modeling of the Encrypted Client Hello Message extension for TLS
Simple inference experiment for session types in Rust