Veridise – Hardening Blockchain Security with Formal Methods_Sports

Skip to content AboutTechnologyInvestorsResourcesDemoResearchReportsCareers Veridise AboutTechnologyInvestorsResourcesDemoResearchReportsCareers Hardening Blockchain Security with Formal Methods Request An Audit learn more About Veridise learn more Our Technology learn more The Veridise Team learn more Research From Veridise learn more About Veridise Veridise offers thorough and comprehensive security audits for blockchain applications. Leveraging our expertise in automated program analysis and formal verification, Veridise provides state-of-the-art solutions for hardening the security of the blockchain ecosystem. Specifically, we offer the following products and services: Analysis and audits for many layers of the blockchain ecosystem, including protocols, smart contracts, and zero-knowledge proofs Tools for finding vulnerabilities in smart contracts Symbolic execution and formal verification tools for blockchain protocols & applications Tools for reasoning about correctness of zero-knowledge proofs Veridise Technologies VIDEOS Demo: Real-Time Smart Contract Auditing Service Demo: Automated Attack Synthesis for DeFi Apps Talk: Hardening Blockchain Security with Formal Methods Our Technology Veridise Inc. provides a comprehensive solution for hardening the security of the blockchain ecosystem. Based on our state-of-the-art research in program analysis and formal verification, Veridise provides both auditing services and tooling support that can be used to increase confidence in the correctness of blockchain applications. The technology provided by Veridise can be applied across many layers of the blockchain ecosystem, ranging from the underlying blockchain protocols to smart contracts to the emerging domain of zero-knowledge proofs. Investors The Veridise Team Isil Dillig Co-Founder & President Yu Feng Co-Founder & CEO Jon Stephens Co-Founder & CTO Yanju Chen Co-Founder Kostas Ferles Principal Scientist Andreea Buterchi VP of Engineering Ben Mariano VP of Engineering Bryan Tan VP of Engineering James Dong R&D Engineer Junrui Liu R&D Engineer Shankara Pailoor R&D Engineer Jacob Van Geffen R&D Engineer Chaofan Shou R&D Engineer Jay Stephens Chief Accountant Atilla Ozgener Payroll & Operations Coordinator Xiangan He Security Engineer Muhammad Khattak R&D Engineer Hanzhi Liu R&D Engineer Xuanyu Peng R&D Engineer Ajinkya Rajput R&D Engineer Stanly Samuel R&D Engineer Himanshu R&D Engineer Technical Advisory Board Alex Aiken Elaine Shi Shuyao Kong Yi Sun smsunarto Veridise Reports Audit Report Audit Report Audit Report Audit Report White Paper Research From Veridise Learning Contract Invariants Using Reinforcement Learning.Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng. In ASE 2022. Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring.Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig. In OOPSLA 2022. SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna. In IEEE S&P (Oakland) 2022. SolType: Refinement Types for Solidity. Bryan Tan, Ben Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng. In POPL 2022. SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. Jon Stephens, Kostas Ferles, Ben Mariano, Shuvendu Lahiri, Isil Dillig. In IEEE S&P (Oakland) 2021. Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, and Andrew Warfield. In SOSP 2021. Best Paper Award. Specification and Verification in the Field: Applying Formal Methods to BPF Just-In-Time Compilers in the Linux Kernel.Luke Nelson, Jacob Van Geffen, Emina Torlak, and Xi Wang. In OSDI 2020. Demystifying Loops in Smart Contracts. Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig. In ASE 2020. Summary-Based Symbolic Evaluation for Smart Contracts. Yu Feng, Emina Torlak, Rastislav Bodik. In ASE 2020. Distinguished Paper Award. Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles. In VSTTE 2019. Join us! See openings at Veridise. View Careers Company Contact Us Careers Terms of Use Privacy Policy Veridise About Technology Investors Resources Resources News Demo Research Reports © 2022 Veridise Inc. All Rights Reserved. function lazyLoadThumb(e){var t='',a='';return t.replace("ID",e)+a}function lazyLoadYoutubeIframe(){var e=document.createElement("iframe"),t="ID?autoplay=1";t+=0===this.parentNode.dataset.query.length?'':'&'+this.parentNode.dataset.query;e.setAttribute("src",t.replace("ID",this.parentNode.dataset.src)),e.setAttribute("frameborder","0"),e.setAttribute("allowfullscreen","1"),e.setAttribute("allow", "accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture"),this.parentNode.parentNode.replaceChild(e,this.parentNode)}document.addEventListener("DOMContentLoaded",function(){var e,t,p,a=document.getElementsByClassName("rll-youtube-player");for(t=0;t