Alix Trieu

icon indicating a website link https://alix.trieu.dev/

icon location CS researcher working at the intersection of formal methods and security. Mostly interested in security issues at the software/hardware interface.

Results 3 issues of Alix Trieu

cp: illegal option -- T

On macOS and BSD, `cp` does not have the `-T` option, so `finch` fails with the following message `cp: illegal option -- T`. The issue comes from https://github.com/roddyyaga/finch/blob/685b661b987c7b57fe07e1e67b0ce4f688d87d67/bin/finch.ml#L102

Joye double-add ladder for short Weierstrass curves in co-Z arithmetic

6 comment

Not sure if this is of interest for inclusion, feel free to close if not. I have proved correctness of an implementation of Joye's double-add ladder for short Weierstrass curves...

Bedrock2 End2End field and co-Z operations for secp256k1

1 comment

This PR contains verified Bedrock2 code for - secp256k1 field operations (using Montgomery representation? Not sure about the terminology, is there any literature about saturated/unsaturated Solinas representation ? A quick...