가장 유망한 블록체인 기술 중 하나로 꼽히는 스마트 컨트랙트의 보안 취약점을 자동으로 검출하는 기술이 등장했다. 오학주 고려대 정보대학 컴퓨터학과 교수팀은 스마트 컨트랙트의 보안 취약점을 자동으로 검출하는 기술...  더보기