Certora/CertoraProver
formally verifies smart contracts for security
View on index · View in 3D Map
Related repos
- centralized certificate management with Let’s Encrypt integration
- A private certificate authority for DevOps
- Hardened Linux images based on Fedora Atomic Desktop
- Cybersecurity incident management platform
- Automates TLS certificate issuance and renewal for Go programs
- SSL certificate management system with multi-DNS support and REST API
- open source authorization layer for app access control
- Automates certificate management for Windows
- automates getting and renewing HTTPS certificates for web servers
- OpenSSL source code and tools for cryptography and secure communication
