Math & Comp. Sci. student at University of Toronto Mississauga
- Toronto, Canada
-
04:20
- 4h behind
Highlights
- Pro
-
-
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 -