Recrypt - Using Functional Programming For Cryptography
Types bring more safety to our code and functional programming allows us to translate equations directly. In this talk we’ll dive into some best practices for providing maximal safety and testability and show an OSS library implemented using these techniques. We’ll discuss why it makes so much sense to rewrite cryptography this way. Finally we’ll take a tour of recrypt, which is an open source library implementing Transform Encryption, which follows all these best practices and allows easy sharing with Groups and Users.
Language of the presentation
Intermediate: Requires a basic knowledge of the area
Who is your session intended to
A few different groups:
1. People who are interested in functional programming and the benefits it provides.
2. People who are interested in how nasty code can be converted into code that's easy to reason about.