ma-ilsi

Math & Comp. Sci. student at University of Toronto Mississauga

Toronto, Canada

Pinned Repositories

hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*1.6k 78 229170
givewp
GiveWP - The #1 Donation Plugin for WordPress. Easily accept donations and fundraise using your WordPress website.
Language:PHP347 26 3.6k192
hacl-packages
The Cryspen HACL Distribution
Language:C0 0 00
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*0 0 00
ma-ilsi
0 1 00
porridge
Secret independent (constant time) implementation of deterministic ECDSA nonces (RFC 6979).
Language:C0 1 00
s2n-tls
An implementation of the TLS/SSL protocols
Language:C00
sinatools
Language:Python00
Sophie
A Sophisticated Copyright Linter
Language:Shell2 1 61
sinatools
Language:Python204

ma-ilsi's Repositories

ma-ilsi/Sophie
A Sophisticated Copyright Linter
Language:Shell2 1 61
ma-ilsi/hacl-packages
The Cryspen HACL Distribution
Language:C0 0 00
ma-ilsi/hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*0 0 00
ma-ilsi/ma-ilsi
0 1 00
ma-ilsi/porridge
Secret independent (constant time) implementation of deterministic ECDSA nonces (RFC 6979).
Language:C0 1 00
ma-ilsi/s2n-tls
An implementation of the TLS/SSL protocols
Language:C00
ma-ilsi/sinatools
Language:Python00