#symbolic_verification — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #symbolic_verification, aggregated by home.social.
-
Design and Explore Noise Handshake Patterns (2018)
https://noiseexplorer.com/
#ycombinator #noise_protocol #protocol_verification #formal_verification #noise_protocol_framework #symbolic_verification