A Logo

Feel free to include my content in your page via my
RSS feed

Help Irongeek.com pay for
bandwidth and research equipment:

Subscribestar or Patreon

Search Irongeek.com:

Irongeek Button
Social-engineer-training Button

Help Irongeek.com pay for bandwidth and research equipment:


Curry and TARTS - JP SMITH Cyphercon 2016 (Hacking Illustrated Series InfoSec Tutorial Videos)

Curry and TARTS

Cyphercon 2016

Many of the most significant attacks against modern-day cryptosystems are actually side-channel attacks like timing attacks or power analysis. In this talk, I will go over a new and extremely powerful technique for mitigating these attacks, specifically encoding information about the operations performed in the type of the function, and then taking advantage of the Curry-Howard isomorphism, which unifies types and propositions, to prove our algorithms will always perform the same number of operations, regardless of their inputs. This allows the program itself to serve as a proof of its resistance to attacks based on timing, power consumption, or other side channels.

JP Smith is a student at the University of Illinois, where he serves on the board of SigPWNY, UIUC’s security club. His interests include cryptography, functional programming, and machine learning, and in his free time, he enjoys camping, hiking, and cycling. He has previously spoken at THOTCON in 2015, and you can find him on the internet as japesinator on github and twitter.

Back to Cyphercon 2016 video list

Printable version of this article

15 most recent posts on Irongeek.com:

If you would like to republish one of the articles from this site on your webpage or print journal please contact IronGeek.

Copyright 2020, IronGeek
Louisville / Kentuckiana Information Security Enthusiast