Formal Logo

Formal

0
Commercial
Visit Website

Formal is a protocol-aware reverse proxy designed for datastores and APIs that provides data security controls and visibility. The tool operates by deploying within the organization's VPC and offers: - Real-time monitoring and classification of data flows - Dynamic data masking and filtering capabilities - Role-based and attribute-based access control implementation - Integration with infrastructure-as-code through Terraform and Pulumi - Multi-factor authentication for data stores - Automated policy enforcement based on historical patterns - PII and PHI data classification - Collaboration features for security policy management - Anomaly detection and alerting system The proxy is implemented in Go and Rust, operates with 2-10ms latency overhead, and is designed for high availability through stateless architecture.

FEATURES

ALTERNATIVES

A library for generating random numbers and strings of various strengths, useful in security contexts.

A steganographic file system in userspace for plausible deniability of files.

A portable public domain password hashing framework for PHP applications.

A network-based panic button to overwrite LUKS header and shutdown the computer in emergencies, making data recovery impossible.

Steghide is a steganography program that hides data in image and audio files.

A PHP library for secure data encryption with easy-to-use API.

Monitors GitHub for leaked secrets

Tool to clean Exif data from images in AWS S3 bucket