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)

• Scala by the bay - 2016 (no video)
• Scala by the bay - 2017 https://www.youtube.com/watch?v=zgXli13psuA
• Lambdaconf 2015 - https://www.youtube.com/watch?v=O5QwVqdkVtY

Contributes

• recrypt
• recrypt-rs
• cats