
Qualys
Nessus
AlienVault USM (from AT&T Cybersecurity)
Tenable.io
Cloudfogger
BoxCryptor
Mega
Google Drive
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
Qualys
AuditHubNo features have been listed yet.
Qualys is recommended for businesses of all sizes that need a cloud-based, scalable, and comprehensive security solution. It's particularly beneficial for organizations that require vulnerability management, compliance monitoring, and those operating in highly regulated industries where security is paramount.
No AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Nessus - Nessus Professional is a security platform designed for businesses who want to protect the security of themselves, their clients, and their customers.
Olympix - Secure your code as itโs written
AlienVault USM (from AT&T Cybersecurity) - AlienVault USM Anywhere delivers powerful threat detection, incident response, and compliance management for cloud, on-premises, and hybrid environments.
Tenable.io - Tenable.io Cyber Exposure platform helps to protect any asset on any computing platform and eliminate blind spots.
Cloudfogger - Easy and secure encryption for the cloud. Provides security for all cloud storage services like Dropbox, OneDrive and Google Drive.
BoxCryptor - Boxcryptor encrypts your sensitive files before uploading them to cloud storage services like Dropbox, Google Drive, Microsoft OneDrive, Box, and many others.