
ZeroSpam
SpamTitan
Sanebox
MailCleaner
Vade Secure
Hornetsecurity Spamfilter
Symantec Email Security.cloud
The Swizzle
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/
ZeroSpam
AuditHubNo features have been listed yet.
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.
SpamTitan - Comprehensive Email Protection. 99.99% Spam Detection. Blocks phishing, viruses, malware and other email threats.
Olympix - Secure your code as itโs written
Sanebox - SaneBox is a cloud-based service that allows users to filter and manage their emails.
MailCleaner - Cloud & on-premise anti spam software for businesses
Vade Secure - Email security to protect against email-borne phishing, spear phishing, malware, and ransomware. Email security and management based on artificial intelligence.
Hornetsecurity Spamfilter - Hornet security Spam filter is a spam filter service created to help businesses detect and protect mailboxes from spam, malware and viruses using a variety of features such as spam recognition and virus detection, adjustable content filters, and staโฆ