Veridise
Computer and Network SecurityView the employees at
Veridise-
Jon Stephens CTO at Veridise
-
Austin
-
Top 5%
Yanju Chen Ph.D. Candidate in Computer Science, University of California, Santa Barbara-
Santa Barbara, California, United States
-
Top 10%
Amber Huang Business Development Manager-
Singapore
-
Rising Star
Atilla Özgener Payroll and Operations Coordinator, Veridise Inc.-
Georgetown, Texas, United States
-
Top 1%
Ajinkya Rajput Researcher in program analysis and verification for security | SE for security | SAST-
Bengaluru, Karnataka, India
-
Rising Star
Overview
Veridise provides a comprehensive and user-friendly toolchain for automatically auditing smart contract security and correctness. Based on our research publications at top security and verification conferences, Veridise makes it possible to audit modern DeFi applications with a high degree of automation, precision, and scalability. Beyond fully automated checking of common security vulnerabilities, Veridise provides a user-friendly specification language for expressing custom correctness properties of DeFi apps and incorporates a robust verification toolchain for automatically checking such properties. Veridise further distinguishes itself from its competitors through its ability to generate attacks: When Veridise uncovers a problem, it can produce tangible evidence of exploitability by generating an attacker that utilizes the uncovered vulnerability.
-