日本語

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.

Session length
40 minutes
Language of the presentation
English
Target audience
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.
Speaker
Colt Frederickson (IronCore Labs - Chief Types Officer)
Contributes
  • recrypt
  • recrypt-rs
  • cats

voted / votable

Candidate sessions