gabriele-costa Goto Github PK

followers: 8.0 following: 2.0 repos: 19.0 gists: 0.0

Name: Gabriele

Type: User

Gabriele's Projects

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)

pests

Partial evaluation of symbolic transition systems

safe-component-provider

Safe Component Provider enforces safety properties on Android components and IPC interactions

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.

spingo

vulhub

Pre-Built Vulnerable Environments Based on Docker-Compose

wbpls

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).

Recommend Projects