[curves] Summary of ECC 2015 Workshop

[Joseph Kiniry]

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.

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