Showing results 20 to 22 of 22
점진적 데이터 흐름 분석 기반 EVM 바이트 코드 제어 흐름 그래프 복원 연구 = On the recovery of EVM bytecode control-flow graph via incremental data-flow analysislink 김정현; Kim, Jung Hyun; et al, 한국과학기술원, 2023 |
추론된 모델 기반 커널 퍼즈 테스팅 = Inferred model-based kernel fuzz testinglink 한형석; 차상길; et al, 한국과학기술원, 2018 |
효율적인 바이너리 분석 프론트엔드 = Efficient binary analysis frontendlink 정민규; 차상길; et al, 한국과학기술원, 2019 |