
Optial
ReportServer
TeamMate+
ManageEngine ADAudit Plus
Keylight Platform
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/
Optial
AuditHubNo features have been listed yet.
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.
Keylight Platform - Keylight Platform is a comprehensive IT asset risk management software for companies of all sizes.
Intelex - Intelex offers software solutions for Environment, Health, Safety and Quality (EHSQ) programs.