Aaron Feickert - How Do We Design Secure Protocols?

When we look at cryptographic protocols like CLSAG and Bulletproofs and Triptych and Seraphis, we often talk about things like security models and proofs. But what does this mean? In this talk, we’ll take a brief look at what it means to build a secure cryptographic protocol and analyze it. Taking a Monero-centric approach, we’ll introduce the idea of a security model and use examples from the Monero ecosystem to show why it’s an important part of analyzing these constructions. This talk will be accessible to everyone, and will provide a broad look at what cryptographers do behind the scenes to keep Monero safe and secure.