VeriSmart, a state-of-the-art formal verifier, have accepted at S & P 2020.


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

기업문화 엿볼 때, 더팀스