지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회 컴퓨팅의 실제 논문지 정보과학회 컴퓨팅의 실제 논문지 제26권 제4호
- 발행연도
- 2020.4
- 수록면
- 217 - 222 (6page)
- DOI
- 10.5626/KTCP.2020.26.4.217
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
암호화폐와 스마트 컨트랙트에 대한 관심이 커지면서 스마트 컨트랙트의 분석이 활발히 이루어지고 있다. 특히 이더리움을 기반으로 한 이더리움 가상머신(EVM) 위에서 실행되는 프로그램의 안전성을 증명하고자 하는 연구들이 진행되고 있는데, EVM 바이트코드로 컴파일되는 고급 언어들의 독특한 메모리 할당 구조는 포인터 분석을 어렵게 만드는 요인 중 하나이다. 이 연구에서는 고급 언어들의 메모리 모델이 어떻게 EVM 바이트코드로 컴파일되는지에 대해서 알아보고, 문법적으로 메모리 할당을 지원하지 않아 선형 메모리 모델에 포인터로 접근하는 프로그램을 분석하기 위해 요약된 주소값을 기반으로 하는 분석을 정의하였다. 본 연구를 통해 EVM 바이트코드에서 연구되어온 분석보다 더 정밀한 메모리 분석을 수행할 수 있음을 보인다.
목차
요약
Abstract
1. 서론
2. 배경지식
3. 요약된 주소값 기반 메모리 분석 방법
4. EVM 바이트코드의 별칭 분석
5. 별칭 분석 결과
6. 관련 연구 및 결론
References
참고문헌 (5)
참고문헌 신청
Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli, A Survey of Attacks on Ethereum Smart Contracts (SOK), International Conference on Principles of Security and Trust, Springer, Berlin, Heidelberg, 2017.
Ilya Grishchenko, Matteo Maffei, and Clara Schneidewind, A Semantic Framework for the Security Analysis of Ethereum Smart Contracts, International Conference on Principles of Security and Trust, Springer, Cham, 2018.
Loi Luu, et al., Making Smart Contracts Smarter, Proc. of the ACM SIGSAC Conference on Computer and Communications Security, 2016.
Ivica Nikoli?, et al., Finding the Greedy, Prodigal, and Suicidal Contracts at Scale, Proc. of the 34th Annual Computer Security Applications Conference, ACM, 2018.
Neville Grech, et al., Madmax: Surviving Out-ofgas Conditions in Ethereum Smart Contracts, Proc. of the ACM on Programming Languages, 2018.
Ilya Grishchenko, Matteo Maffei, and Clara Schneidewind, A Semantic Framework for the Security Analysis of Ethereum Smart Contracts, International Conference on Principles of Security and Trust, Springer, Cham, 2018.
Loi Luu, et al., Making Smart Contracts Smarter, Proc. of the ACM SIGSAC Conference on Computer and Communications Security, 2016.
Ivica Nikoli?, et al., Finding the Greedy, Prodigal, and Suicidal Contracts at Scale, Proc. of the 34th Annual Computer Security Applications Conference, ACM, 2018.
Neville Grech, et al., Madmax: Surviving Out-ofgas Conditions in Ethereum Smart Contracts, Proc. of the ACM on Programming Languages, 2018.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
요약 해석을 이용한 EVM 바이트코드의 포인터 분석
한국정보과학회 학술발표논문집
2019 .06
-
스택 기반 머신의 EVM 바이트코드 분석 도구 설계
한국정보과학회 학술발표논문집
2021 .06
-
EVM 바이트코드의 제어 흐름 그래프 복원을 위한 구조 설계
한국정보과학회 학술발표논문집
2022 .06
-
공공건설공사의 EVMS 적용을 위한 개념적 설계
한국산학기술학회 학술대회논문집
2015 .05
-
무기체계개발 사업에서 체계공학 프로세스 기반 사업성과관리 수행 방안
시스템엔지니어링학술지
2015 .01
-
무기체계 연구개발 사업에서의 사업성과관리 적용 이슈 및 고려사항
시스템엔지니어링학술지
2015 .01
-
위성분야의 과학적성과관리(Earned Value Management) 기법 적용 방안연구
항공우주시스템공학회 학술행사 논문집
2018 .04
-
DPD 기반 전력증폭기 선형화 성능 평가를 위한 EVM-BER 변환
한국전자파학회논문지
2024 .06
-
EVMS 적용을 위한 WBS내역 구축방안
대한건축학회 학술발표대회 논문집
2015 .10
-
우주발사체 개발사업의 EVM 적용 방안에 대한 검토
한국추진공학회 학술대회논문집
2024 .05
-
EVM/EPR blend의 제조 및 물성에 관한 연구
한국고분자학회 학술대회 연구논문 초록집
2017 .04
-
동적 메모리 할당을 이용한 메모리 효율적인 다중 태스크 학습
대한전자공학회 학술대회
2023 .06
-
범용 메모리 할당 기법에 따른 응용프로그램 성능 연구
정보과학회 컴퓨팅의 실제 논문지
2021 .11
-
A Fully Integrated Dual-Band WLP CMOS Power Amplifier for 802.11n WLAN Applications
Journal of Electromagnetic Engineering And Science
2017 .01
-
인-메모리 데이터 구조의 종류에 따른 I/O 성능 및 메모리 사용량 분석
한국정보과학회 학술발표논문집
2020 .07
-
인메모리 데이터 처리 프레임워크의 메모리 관리 자동화
한국정보과학회 학술발표논문집
2019 .06
-
컴퓨터 메모리 확장 및 공유메모리 직렬 접속 방법
한국차세대컴퓨팅학회 논문지
2016 .01
-
하이브리드 메모리 시스템 에너지 최적화를 위한 메모리 지정 할당 기법
한국정보과학회 학술발표논문집
2015 .12
-
Fault Localization Method by Utilizing Memory Update Information and Memory Partitioning based on Memory Map
Journal of KIISE
2016 .09
-
Cure Characteristics, Mechanical Properties, Abrasion Property and Thermal Properties of EVM/EPM Blends Containing Flame Retardants
Elastomers and composites
2017 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0