Explore projects
-
sesys / Kavach_artifacts
GNU General Public License v3.0 onlyUpdated -
krypto / PrivacyAwareRecSys
MIT LicenseUpdated -
Updated
-
Upstream Git Repository for Computer Organization and Networks Practicals 2020/21
Updated -
Repository containing the directory structure for LuB submissions.
Updated -
scos / akdv2016
MIT LicenseAssignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Updated -
This project contains the material for the Verification and Testing practicals.
Updated -
Updated
-
Reference implementations and scripts to calculate round numbers, MDS matrices, and round constants for the HadesMiMC block cipher.
Updated -
Updated
-
-
Updated
-
Reference implementations and scripts to calculate round numbers for the PRF Hydra.
Updated -
Updated
-
scos / scos.sources / Libtins
BSD 2-Clause "Simplified" LicenseA Mirror of the Libtins project on GitHub.
Updated -
Updated