Formal
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.
PINNED
InfoSecHired
An AI-powered career platform that automates the creation of cybersecurity job application materials and provides company-specific insights for job seekers.
Mandos Brief Newsletter
A weekly newsletter providing cybersecurity leadership insights, industry updates, and strategic guidance for security professionals advancing to management positions.
Checkmarx SCA
A software composition analysis tool that identifies vulnerabilities, malicious code, and license risks in open source dependencies throughout the software development lifecycle.
Check Point CloudGuard WAF
A cloud-native web application and API security solution that uses contextual AI to protect against known and zero-day threats without signature-based detection.
Orca Security
A cloud-native application protection platform that provides agentless security monitoring, vulnerability management, and compliance capabilities across multi-cloud environments.
DryRun
A GitHub application that performs automated security code reviews by analyzing contextual security aspects of code changes during pull requests.
Wiz
Wiz Cloud Security Platform is a cloud-native security platform that enables security, dev, and devops to work together in a self-service model, detecting and preventing cloud security threats in real-time.