Tony et al.,
> On Oct 1, 2015, at 16:20, Tony Arcieri <[email protected]> wrote:
>
> On Thu, Oct 1, 2015 at 2:29 PM, Diego Aranha <[email protected]
> <mailto:[email protected]>> 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
_______________________________________________
Curves mailing list
[email protected]
https://moderncrypto.org/mailman/listinfo/curves
