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

Clevis is a pluggable framework for automated decryption.

Monitor GitHub for sensitive data

A deep dive into the Ledger connect-kit compromise decryption process.

Calculates RSA parameters and generates RSA private keys in DER or PEM format.

de4dot is a .NET deobfuscator and unpacker with the ability to restore packed and obfuscated assemblies to their original form.

A portable public domain password hashing framework for PHP applications.

Steganographic Swiss army knife for encoding and decoding data into images.

Recoverjpeg is a tool for recovering JPEG images from damaged storage media.