Type Systems

(2) d0nut on Twitter: “I’m beyond happy to announce that Dacquiri 0.5.0-rc1 is officially released! 🎉 🥳 🎉 If you’re a fan of #rustlang and #security, check dacquiri out! Here are some of the highlights of this update: https://t.co/RjC2aKojQl” / Twitter

Security Spotlight: Turning Authorization Vulns into Compilation Errors in Rust - YouTube

How I Implemented Type Inference for Request Validation

You’re Just Not My Type(state) - YouTube

(3) FerrousSystems on Twitter: “It’s here! 🎉 Ferrous Systems and @AdaCoreCompany just open sourced the first draft of the Ferrocene Language Specification, a description of the Rust programming language, made for safety-critical qualification. More on our blog: https://t.co/iytKgW4hU3” / Twitter

https://www.mkoppmann.at/media/2022-09-09_sec4dev/2022-09-09%20-%20Michael%20Koppmann%20-%20Typed%20Security.pdf sec4dev - Michael Koppman sba research