Ecosystem Vision Logo
Veridise AuditHub logo

Veridise AuditHub

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.
Category: Service Provider

Description

Veridise AuditHub is an online audit environment included with Veridise security audits. It lets clients track audit progress and findings in real time, review affected code and tool results, collaborate with auditors, and re-run detection tools when validating fixes. Its audit analysis suite includes OrCa, Vanguard, and Picus.

Technology & Skills

Uncover the hard and soft skills and tools employed by the organization, and gain insight into the technologies that drive their success
PICUS
MARKETING
ZERO-KNOWLEDGE
CRYPTOGRAPHY
C#
VERIFICATION
BUSINESS DEVELOPMENT
AUDITING
THEOREM PROVER
ZK VANGUARD
ZK FRAMEWORK
RESUME
SMT SOLVER
RUST
PROGRAMMING LANGUAGES
LLZK
SOFTWARE ENGINEERING
NOIR
LEAN
ZK CIRCUIT
RESEARCH
SECURITY ANALYST
SOFTWARE ENGINEER
MODEL CHECKING
AUTOMATED VERIFICATION
FORMAL METHODS
FORMAL VERIFICATION