Recrypt - 関数型プログラミングを使用した暗号技術

型はコードの安全性を高めてくれますし、関数型プログラミングを使うことで数学の等式を直接コードへと翻訳することができます。このトークでは、安全性やテストのし易さを最大化するためのベストプラクティスを解説します。暗号法をこのような方法でリライトするのが何故理にかなっているのかを明らかにします。最後に、これらのベストプラクティスを適用した実例として、グループやユーザ間での共有を簡単にする変換暗号 (Transform Encryption) を実装するオープンソースのライブラリ recrypt を一巡りします。

トークの長さ

40分

発表言語

英語

聴衆の対象

中級者: 分野の基礎は分かるが、細かい所は不安

こんな人におすすめ

関数型プログラミングとその利点に興味がある人
非常に難解なコードを見通しの良いコードへと変換する方法に興味がある人

発表者

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

貢献

• recrypt
• recrypt-rs
• cats