provable security – Noise https://noise.getoto.net The collective thoughts of the interwebz Thu, 17 Oct 2024 13:00:02 +0000 en-US hourly 1 https://wordpress.org/?v=6.8.2 An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain https://noise.getoto.net/2024/10/17/an-unexpected-discovery-automated-reasoning-often-makes-systems-more-efficient-and-easier-to-maintain/ Thu, 17 Oct 2024 13:00:02 +0000 http://noise.getoto.net/?guid=3fcea2c315bd5c4960b792bae888a20a AWS Security Profile – Cryptography Edition: Panos Kampanakis, Principal Security Engineer https://noise.getoto.net/2023/04/18/aws-security-profile-cryptography-edition-panos-kampanakis-principal-security-engineer/ Mon, 17 Apr 2023 21:09:10 +0000 http://noise.getoto.net/?guid=916daee0afdcef1964705204f37b488d