Gabriele's repositories
Safe-Component-Provider
Safe Component Provider enforces safety properties on Android components and IPC interactions
avispa-project-web
Website for AVISPA-project
fgp
FirstGrandPrix game for the Fast Game Prototyping seminar
lmet
Lambda calculus enriched with service request operators (req), security sandboxes (box) and security metrics (met).
minima
Minima is a one-size-fits-all Jekyll theme for writers.
misp-galaxy
Clusters and elements to attach to MISP events or attributes (like threat actors)
SecLists
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, sensitive data patterns, fuzzing payloads, web shells, and many more.
vulhub
Pre-Built Vulnerable Environments Based on Docker-Compose
xsemantics
XSemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).