Math & Comp. Sci. student at University of Toronto Mississauga
- Toronto, Canada
-
23:41
(UTC -04:00)
Highlights
- Pro
Block or Report
Block or report ma-ilsi
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
hacl-star Public
Forked from hacl-star/hacl-starHACL*, a formally verified cryptographic library written in F*
F* Apache License 2.0 UpdatedMay 22, 2024 -
Sophie Public
A Sophisticated Copyright Linter
-
porridge Public
Secret independent (constant time) implementation of deterministic ECDSA nonces (RFC 6979).
C Apache License 2.0 UpdatedJan 19, 2024 -
hacl-packages Public
Forked from cryspen/hacl-packagesThe Cryspen HACL Distribution
C Other UpdatedJan 10, 2024 -
s2n-tls Public
Forked from aws/s2n-tlsAn implementation of the TLS/SSL protocols
C Apache License 2.0 UpdatedDec 11, 2023 -