Code examples (Solidity and CVL) for the tutorials-package.

Efficient and Precise Pointer-Tracking Data-Flow Framework

A set of Hugo doc templates for launching open source content.

Simplify API mocking by auto-recording/stubbing HTTP interactions and automating the process of updating/deleting mocks.

Use Terraform to create your own vulnerable by design AWS IAM privilege escalation playground.

Java version of the deliberately vulnerable serverless application Serverless-Goat from https://github.com/OWASP/Serverless-Goat

An Awesome List of Log4Shell resources to help you stay informed and secure! 🔒

sns -> lambda -> slack

Prevent cloud misconfigurations during build-time for Terraform, Cloudformation, Kubernetes, Serverless framework and other infrastructure-as-code-languages with Checkov by Bridgecrew.

I created this project for automating some tasks I was doing manually when taking care of my personal finances.

State machine for file processing tasks

A round trip server for the web socket protocol

A simple UI for Amazon Transcribe

OWASP ServerlessGoat: a serverless application demonstrating common serverless security flaws

Dependency-Track is an intelligent Supply Chain Component Analysis platform that allows organizations to identify and reduce risk from the use of third-party and open source components.

Pure bash script to test and wait on the availability of a TCP host and port

Plugin for building plugins for IntelliJ IDEs

CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.