Explore projects
-
-
Updated
-
CYBERSEC / theses / belajova-vulnerabilities-training
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalSoftware Vulnerabilities for Interactive Cybersecurity Training
Updated -
Updated
-
Updated
-
-
Git mirror of the DIVINE current repository. Issues should be reported to https://divine.fi.muni.cz/trac/report/1. Please note that the CI branch will be overwritten periodically and should not be pulled from.
Updated -
Updated
-
Updated
-
Updated
-
Implementations of algorithms described in the bachelor thesis Euclid's algorithm for large integers.
Updated -
Attempts to retrieve RSA keys from as many OpenSSL versions as possible
Updated -
The Texture Module (TM) only for the ISBI2016 paper.
Updated -
UpdatedUpdated
-
Kontr 2.0 / Kontr Test Development Kit
MIT LicenseKontr Test Development Kit - python library to write tests
Topics: kontr KTDK t...Updated -
-
Kontr 2.0 / examples / ktdk-test-examples
Apache License 2.0Example tests written using KTDK
Updated -
Lukáš Korenčik / mcsema_divine
BSD 3-Clause "New" or "Revised" LicenseUpdated -