Explore projects
-
Florian Draschbacher / A2P2
GNU General Public License v3.0 onlyUpdated -
scos / akdv2016
MIT LicenseAssignment for AKDV 2016: writing theory solvers in the SMT4J framework.
Updated -
Updated
-
Updated
-
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Reference implementations and scripts to calculate round numbers for the PRF Hydra.
Updated -
sesys / iaik-open-flow / ibex-verilog
Apache License 2.0Updated -
scos / ijtihad
Otherijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
Updated -
Updated
-
Updated
-
castle / tool / keyrecoverytool
MIT LicenseA tool to find key recovery attacks based on a given cluster of differentials
Updated -
Updated