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
가입하기
