threat-modeling secure-design security-architecture security-engineering secure-systems security-assurance

java sdk java-library appsec software-security threat-model secure-design

workshops workshop lift pattern-matching pattern-recognition workshop-materials partial-functions workshop-series secure-design lifting vavr vavr-validation vavr-option vavr-try vavr-either vavr-pattern-matching

workshops validation workshop validator workshop-materials secure-design vavr vavr-validation