Submissions from symbolic.software

		Telegram's MTProto: Assessing Deanonymization Potential for a Network Attacker [pdf] (symbolic.software)
		2 points by sysoleg 10 days ago \| past \| discuss
		The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (symbolic.software)
		2 points by alpaylan 56 days ago \| past
		The Promises of 'High-Assurance' Cryptography (symbolic.software)
		1 point by PaulHoule 3 months ago \| past
		Verifpal, Rewritten in Rust (symbolic.software)
		3 points by todsacerdoti 3 months ago \| past
		The Promises of 'High-Assurance' Cryptography (symbolic.software)
		4 points by todsacerdoti 3 months ago \| past
		One Year of Verifpal: Where It Stands with Cryptographic Protocol Security (symbolic.software)
		2 points by loup-vaillant on Sept 2, 2020 \| past
		Verifpal Dramatically Speeds Up Formal Modeling for Pandemic-Tracing Protocol (symbolic.software)
		5 points by alokrai on April 5, 2020 \| past