
Keylight Platform
ReportServer
TeamMate+
ManageEngine ADAudit Plus
Optial
Intelex
ECAT
Intellect
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/
Keylight Platform
AuditHubNo features have been listed yet.
The Keylight Platform is recommended for mid-size to large organizations across various industries such as finance, healthcare, and manufacturing, where managing complex risk and compliance requirements is critical. It is especially suitable for organizations seeking to automate and enhance their GRC processes through a centralized platform.
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.
ReportServer - In Reporting Services, URLs are used to access the Report Server Web service and the web portal. Before you can use either application, you must configure at least one URL each for the Web service and the web portal.
Olympix - Secure your code as itโs written
TeamMate+ - Wolters Kluwer audit solutions provide you visibility across the three lines of defense, consistency throughout your workflow, and efficiency for greater risk management.
ManageEngine ADAudit Plus - ManageEngine ADAudit Plus is a real-time windows active directory auditing tool.
Optial - Optial is an all-in-one flexible multi-model software solution for the management of key business assurance measures, planning Enterprise-level EHS, auditing, risk, and compliance.
Intelex - Intelex offers software solutions for Environment, Health, Safety and Quality (EHSQ) programs.