
SysCloud
CloudFuze
MultCloud
Cloud Combine
Koofr
Boomi
Apigee
MuleSoft Anypoint Platform
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/
SysCloud
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.
CloudFuze - Enterprise-Grade Migrations, Intelligent Governance with CloudFuze
Olympix - Secure your code as itโs written
MultCloud - Multiple Cloud Storage Manager: Migrate, move, sync, copy, backup and transfer cloud files with MultCloud, which supports Dropbox, Box, Google Drive, Mega, OneDrive and FTP, etc.
Cloud Combine - Cloud Combine is a browser and manager for the cloud services.
Koofr - Koofr offers safe EU based cloud storage with 10GB free storage space for life and option to connect multiple cloud accounts (Dropbox, Google Drive, OneDrive). No cookies, no trackers, no ads and no spam.
Boomi - The #1 Integration Cloud - Build Integrations anytime, anywhere with no coding required using Dell Boomi's industry leading iPaaS platform.