How do you prevent the compiler optimizing constant-time operations into non-con... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		TheLoneWolfling on April 9, 2014 \| parent \| context \| favorite \| on: TLS/SSL implementation in Haskell How do you prevent the compiler optimizing constant-time operations into non-constant time?

Guvante on April 13, 2014 [–]

You would want to specify a version of GHC and optimization flags, then it would just involve code analysis of your output.

Likely this work would be necessary to "prove" (not in the strict form) your assumptions about constant-time anyway.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact