Explore projects
-
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 -
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
castle / tool / dblp
MIT LicenseUpdated -
sesys / Self Synchronized Masking
zlib LicenseCode for the paper: "Riding the Waves Towards Generic Single-Cycle Masking in Hardware"
Updated -
-
Updated
-
Updated
-
Upstream Git Repository for Computer Organization and Networks Practicals 2019/20
Updated -
Updated
-
krypto / ZKFriendlyHashZoo
MIT LicenseUpdated -
Updated
-
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 -
sesys / iaik-open-flow / ibex-verilog
Apache License 2.0Updated -
sesys / iaik-open-flow / open-flow-docker
Apache License 2.0Updated -
krypto / PrivacyAwareRecSys
MIT LicenseUpdated -
Updated
-
Updated
-