Pinned Repositories
abstract-quotienting
avispa-project-web
Website for AVISPA-project
btest
chloetart
CodeGen
coeso
fgp
FirstGrandPrix game for the Fast Game Prototyping seminar
pests
Partial evaluation of symbolic transition systems
Safe-Component-Provider
Safe Component Provider enforces safety properties on Android components and IPC interactions
SpinGo
gabriele-costa's Repositories
gabriele-costa/pests
Partial evaluation of symbolic transition systems
gabriele-costa/Safe-Component-Provider
Safe Component Provider enforces safety properties on Android components and IPC interactions
gabriele-costa/btest
gabriele-costa/SpinGo
gabriele-costa/abstract-quotienting
gabriele-costa/avispa-project-web
Website for AVISPA-project
gabriele-costa/chloetart
gabriele-costa/CodeGen
gabriele-costa/coeso
gabriele-costa/fgp
FirstGrandPrix game for the Fast Game Prototyping seminar
gabriele-costa/KPLVerifier
gabriele-costa/lmet
Lambda calculus enriched with service request operators (req), security sandboxes (box) and security metrics (met).
gabriele-costa/minima
Minima is a one-size-fits-all Jekyll theme for writers.
gabriele-costa/misp-galaxy
Clusters and elements to attach to MISP events or attributes (like threat actors)
gabriele-costa/revok2
gabriele-costa/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.
gabriele-costa/vulhub
Pre-Built Vulnerable Environments Based on Docker-Compose
gabriele-costa/wbpls
gabriele-costa/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).