czekster's repositories
cyberactive
A front-end to STIX models
GTAexpress
Kronecker descriptor solver for Markovian based formalisms.
awesome-manifesto
awesome list of manifestos in software engineering field
BDMPathfinder
A tool for analysing attack paths in BDMP (Boolean logic Driven Markov Processes) models.
czekster.github.io
Home page of Ricardo M. Czekster
intro-to-perf-eval
Supporting files for the pre-print on Introduction to Performance Evaluation
mojo
The Mojo Programming Language
N-terminal-sequence-pattern-finder
NTSPF: N-terminal Sequence Pattern Finder
PASM-analysis
Practical Applications of Stochastic Modelling (PASM) workshop series analysis
MoKMaSD-and-DataMod
Analysis of Symposia series for MoKMaSD and DataMod from 2012 to 2021
SootUp
A new version of Soot with a completely overhauled architecture
TaaC-AI
AI-driven Threat modeling-as-a-Code (TaaC)
vprocess_v0.1
An implementation for vProcess - more info on https://dx.doi.org/10.13140/RG.2.2.29133.90081
www-community
OWASP Community Pages are a place where OWASP can accept community contributions for security-related content.