프록시 컨트랙트 생성방법 및 장치Method And Apparatus for Generating Proxy Contract
본 개시는 프록시 컨트랙트 생성방법 및 장치를 제공한다. 본 개시의 일 측면에 의하면, 실행 흐름에 요구되는 수행 비용 및/또는 스택 크기를 이용하여 상태 불일치 검사를 수행하는 프록시 컨트랙트를 생성하여 각 실행 흐름이 상태 불일치를 유발하지 않도록 보장하는 프록시 컨트랙트 생성방법 및 장치를 제공한다.
- Assignee
- 한국과학기술원,주식회사 파이랩테크놀로지
- Country
- KO (South Korea)
- Application Date
- 2021-07-01
- Application Number
- 10-2021-0086311
- Registration Date
- 2023-04-28
- Registration Number
- 10-2529028-0000
- Appears in Collection
- EE-Patent(특허)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.