We are proud to announce that our VeriSmart research paper has been accepted at Security and Privacy 2020. It is one of the challenging conferences in SW security research.
The paper “VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts,” jointly researched by SOOHO and Prof. Hackjoo Oh’s SW analysis lab, will be present in San Francisco.
Our full paper can read through the arxiv, so please check the links. And the public service will open soon.
Furthermore, VeriSmart will be integrated with SOOHO’s real-time smart contract analysis platform.
Please look forward to the next article.
Related News: Developed the first blockchain smart contract security technology in Korea
잠시만요. 저장이 금방 될 거에요.
잠시만요. 팀원이 합류하고 있습니다.
잠시만요. 불러오고 있어요.