Explore projects

View stupka-user-behavior-profiles-generator project

CYBERSEC / theses / stupka-user-behavior-profiles-generator
MIT License

Archived 1

Updated May 17, 2023

Archived 1 0 0 0

Updated May 17, 2023
View slowbeast project

Marek Chalupa / slowbeast

Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast

symbolic exe... k-induction

Archived 0

Updated Apr 05, 2023

Archived 0 0 0 1

Updated Apr 05, 2023
View belajova-vulnerabilities-training project

CYBERSEC / theses / belajova-vulnerabilities-training
Creative Commons Attribution Non Commercial Share Alike 4.0 International

Software Vulnerabilities for Interactive Cybersecurity Training

https://is.muni.cz/auth/th/b4vd5/

Archived 0

Updated Oct 02, 2023

Archived 0 0 11

Updated Oct 02, 2023
View Regstar deprecated project

formela / Regstar deprecated

Archived 0

Updated Apr 15, 2025

Archived 0 0 0 0

Updated Apr 15, 2025
View pb175 project

Petr Babič / pb175

Archived 0

Updated May 25, 2023

Archived 0 0 0 0

Updated May 25, 2023
View IV110_2023 project

Tomáš Pavlík / IV110_2023

Archived 0

Updated Dec 12, 2023

Archived 0 0 0 0

Updated Dec 12, 2023