New blog post! 📝 Control flow analysis with Hax. In this post we show how to ensure control flow properties such as "function A is always called before function B" in Rust. Super relevant for security! 🔒

https://cryspen.com/post/control-flow-analysis/

#rustlang #formalverification #security