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
GPG Sync is a tool designed to keep OpenPGP public keys up-to-date within an organization by offloading the complexity of key management to a single trusted person.
Encode or encrypt strings to various hashes and formats, including MD5, SHA1, SHA256, URL encoding, Base64, and Base85.
A demonstration of a method to delete a locked executable or currently running file from disk.
A project focusing on deconstructing and utilizing data for security using Python modules like IPython, Pandas, and Scikit Learn.
OpenFHE is an open-source library implementing post-quantum Fully Homomorphic Encryption schemes with simplified APIs and cross-platform support.
PINNED
InfoSecHired
An AI-powered career platform that automates the creation of cybersecurity job application materials and provides company-specific insights for job seekers.
Fabric Platform by BlackStork
Fabric Platform is a cybersecurity reporting solution that automates and standardizes report generation, offering a private-cloud platform, open-source tools, and community-supported templates.
Mandos Brief Newsletter
Stay ahead in cybersecurity. Get the week's top cybersecurity news and insights in 8 minutes or less.
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.
RoboShadow
A cybersecurity platform that offers vulnerability scanning, Windows Defender and 3rd party AV management, and MFA compliance reporting, among other features.
Adversa AI
Adversa AI is a cybersecurity company that provides solutions for securing and hardening machine learning, artificial intelligence, and large language models against adversarial attacks, privacy issues, and safety incidents across various industries.