[curves] Summary of ECC 2015 Workshop

Joseph Kiniry kiniry at galois.com
Mon Jan 25 11:41:32 PST 2016

Tony et al.,

> On Oct 1, 2015, at 16:20, Tony Arcieri <bascule at gmail.com> wrote:
> On Thu, Oct 1, 2015 at 2:29 PM, Diego Aranha <dfaranha at gmail.com <mailto:dfaranha at gmail.com>> wrote:
> It does something very similar to what you describe at compiled-code level by using LLVM, and can be used offline as well.
> See also:
> https://galois.com/project/software-analysis-workbench/ <https://galois.com/project/software-analysis-workbench/>
> Although I'm not sure what it offers in the way of timing variability analysis

Thanks for the advertising. ;)

While SAW does not currently do any timing analysis, we are working on this topic and hope to make some of that work public in future versions of SAW.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://moderncrypto.org/mail-archive/curves/attachments/20160125/caf7845c/attachment.html>

More information about the Curves mailing list