Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
sesys / python-gitlab
OtherUpdated -
Updated
-
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 -
Updated
-
Updated
-
Florian Draschbacher / A2P2
GNU General Public License v3.0 onlyUpdated -
-
Updated
-
Updated
-
Work on soft error analysis for the IMMORTAL project (activity with IBM)
Updated -
sesys / iaik-open-flow / open-flow-asic
Apache License 2.0Updated -
scos / akdv17-bounded-synthesis
MIT LicenseUpdated -
A-SIT / Distributed Event System
European Union Public License 1.2Updated