SOOHO, VeriSmart 최고 보안학회 S&P Accept

지난 8월에 있었던, 루니버스 파트너스 데이와 후오비 DApp Live에서 소개드렸던 형식 검증기 VeriSmart 소식에 대한 기사가 나왔습니다.

• Link : 국내 첫 블록체인 ‘스마트 계약’ 보안기술 개발

SOOHO의 박지수 대표와 공동 창립자 오학주 교수의 연구실 소속 소순범 연구원, 이명호 연구원이 공동 연구한 “VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts” 논문이 이번 S&P Security&Privacy 20'에 어셉되었습니다.

S&P Security&Privacy는 ACM CCS, Unisex Security와 더불어 세계 3대 최고 보안 학회 입니다.

이로써 SOOHO는 IBM, ChainSecurity와 함께 최고 보안 학회에 의해 검증된 형식 검증기를 보유한 세 회사들 중 한 곳이 되었습니다. 특히 협력사인 ChainSecurity와는 이번에 같이 S&P에 어셉이 되어 더욱 의미가 있는 것 같습니다.

이번에 발표된, VeriSmart는 이후 SOOHO의 스마트 컨트랙트 취약점 자동 분석 솔루션 Odin에 연동 되어 제공될 예정입니다.

VeriSmart에 대해서는 추후에 보다 상세하게 다룰 예정입니다.

이어질 글도 많은 기대와 관심 부탁드립니다. 😀