Explore projects
-
Updated
-
Florian Draschbacher / A2P2
GNU General Public License v3.0 onlyUpdated -
castle / tool / aegis_linear_trails
MIT LicenseMILP/CP framework for "Analyzing the Linear Keystream Biases in AEGIS" https://doi.org/10.13154/tosc.v2019.i4.348-368
Tools for finding linear characteristics for the authenticated cipher AEGIS from the CAESAR portfolio: Mixed-Integer Linear Programming (MILP) and Constraint Programming (CP) models including TikZ output
Updated -
Updated
-
scos / akdv17-bounded-synthesis
MIT LicenseUpdated -
scos / akdv2016
MIT LicenseAssignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Updated -
castle / tool / ascon_sat_bounds
MIT LicenseSAT framework of "Bounds for the Security of Ascon against Differential and Linear Cryptanalysis" https://doi.org/10.46586/tosc.v2022.i1.64-87
Updated -
CON / asmlib
GNU General Public License v3.0 onlyPython implementation of ASM related tools. (e.g., assembler and simulator for the TOY ISA and RISC-V)
Updated -
Template GIT repo structure for IAIK bachelor's theses
Updated -
conan / Backward
MIT LicenseUpdated -
-
Updated
-
Updated
-
Updated
-
scos / scos.sources / Cpp Linenoise
BSD 2-Clause "Simplified" LicenseA Mirror of the Cpp Linenoise on GitHub.
Updated -
Bernd Pruenster / crypto-commons
European Union Public License 1.2Updated -
Florian Draschbacher / CryptoShield
GNU General Public License v3.0 onlyUpdated