
Laserfiche
Kissflow
Nintex
Ninox
ProcessMaker
QuickBase
Epicor Kinetic
Pega 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/
Laserfiche
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.
Kissflow - Kissflow is a workflow tool & business process workflow management software to automate your workflow process. Rated #1 cloud workflow software in Google Apps Marketplace.
Olympix - Secure your code as itโs written
Nintex - Cloud-based digital workflow management automation platform
Ninox - Ninox is a human-friendly database. Create your own Business Application with Ninox that matches your workflow. Ninox lets you integrate CRM, ERP, HR and many more...
ProcessMaker - ProcessMaker is a top-notch Low Code BPM platform used by dozens of businesses worldwide to design and deploy complex processes.
QuickBase - Quickbase provides a no-code operational agility platform that enables organizations to improve operations through real time insights and automation across complex processes and disparate systems. โโ