[curves] Summary of ECC 2015 Workshop

[Tony Arcieri]

On Thu, Oct 1, 2015 at 2:29 PM, Diego Aranha <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/

Although I'm not sure what it offers in the way of timing variability
analysis

-- 
Tony Arcieri
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://moderncrypto.org/mail-archive/curves/attachments/20151001/36182393/attachment.html>