-
-
Cryptol-CraftCodeLab Public
Mastering the Art of Cryptol Programming
-
Secure-Network-Programming Public
2024-2 Secure Network Programming
C MIT License UpdatedOct 31, 2024 -
-
-
-
ARMv8-Cortex-A72 Public
ARM64 Architecture and Programming for Raspberry Pi 4B
Assembly MIT License UpdatedOct 4, 2024 -
-
-
Software-Verification Public
-
EasyCrypt-CraftCodeLab Public
Mastering the Art of EasyCrypt Programming
-
-
cryptanalysis-lecture Public
2024-Spring "Introduction to Cryptanalysis"
Python MIT License UpdatedJun 25, 2024 -
-
-
Category-Theory Public
This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.
-
Elliptic_Curve_Crypto Public
High-Performance Implementation for ECC
-
Automated-Reasoning Public
A central hub for sharing and exploring seminar materials, resources, and innovations in the field of Automated Reasoning.
-
Rust-CraftCodeLab Public
Mastering the Art of Rust Programming
-
-
Coq-CraftCodeLab Public
Mastering the Art of Coq Programming
-
-
CaS Public
Linear Cryptanalysis
-
GIFT Public
Lightweight Block Cipher GIFT-64 and GIFT-128
-
-
-
-
-
-
{{ message }}