TLS 1.3 (RFC 8446) sans-IO state machine in pure Standard ML, verified against RFC 8448 vectors. Experimental, not for production security.
-
Updated
Jun 23, 2026 - Standard ML
#
rfc8446
Here are 2 public repositories matching this topic...
Análise prática comparando DNS tradicional (UDP/53) e DNS over HTTPS (DoH) no Firefox. Capturas realizadas com tcpdump e analisadas no Wireshark para visualizar diferenças de tráfego, privacidade e comportamento do TLS. Inclui consultas com nslookup, análise de SNI e documentação visual com 16 imagens.
cryptography privacy lab brasil tcpdump kali-linux tcp-ip dns-over-https secure-communication udp-protocol wireless-communication redes clienthello tls-client wireshark-capture sniffer-packet senaisp rfc8446
-
Updated
Nov 22, 2025
Improve this page
Add a description, image, and links to the rfc8446 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the rfc8446 topic, visit your repo's landing page and select "manage topics."