Explore projects
-
-
Updated
-
Template GIT repo structure for Introduction to Scientific Writing reports
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 -
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 -
sesys / Self Synchronized Masking
zlib LicenseCode for the paper: "Riding the Waves Towards Generic Single-Cycle Masking in Hardware"
Updated -
Updated
-
castle / tool / dfa_on_default
MIT LicensePoC code for "Information-Combining Fault Attacks on DEFAULT" https://doi.org/10.1007/978-3-031-07082-2_7
Updated -
-
Updated
-
scos / scos.sources / LearningMMTs
GNU General Public License v3.0 or laterThis is the very first step towards Learning Mealy Machines with Timers.
Updated -
scos / scos.sources / WiFi-Fuzzer
GNU General Public License v3.0 or laterThis project provides an interface to interact with an IEEE802.11 device. As of now '2021.10.18' only the access point devices are supported. More functionalities might follow.
Updated -
scos / scos.sources / Cpp Linenoise
BSD 2-Clause "Simplified" LicenseA Mirror of the Cpp Linenoise on GitHub.
Updated -
Assignment descriptions and frameworks for Verification and Testing 2021/22.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated