[curves] Summary of ECC 2015 Workshop
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...
More information about the Curves