Open Access System for Information Sharing
All
Title
Author
Subject
Login
Library
Help
검색
HOME
Communities & Collections
Researchers
Title
Browse by Researchers
BAE, KYUNGMIN(배경민)
orcid
scopus
Department
Dept of Computer Science & Engineering(컴퓨터공학과)
Major(s)
-
E-Mail
×
E-Mail
Co-researchers
네트워크
×
공저자 목록
뒤로가기
Keyword
Publication & Time Cited Count (For the Last 5 years)
Results 1-1 of 1 (Search time: 0.0 seconds).
Export
EXCEL
BIBTEX
Date issued
2019
1
Type
Article
1
Subject
code pointer integrity
1
code transformation
1
LLVM
1
translation validation
1
동등성 검증
1
코드 변환
1
코드 포인터 무결성
1
Journal Registered
KCI
1
Applied search limites :
Subject
: 코드 포인터 무결성
Type
: Article
Journal Registered
: kci
Subject
: code transformation
Subject
: 코드 포인터 무결성
Subject
: code transformation
Date Issued
: 2019
Journal Papers(International)
Journal Papers
(Domestic)
Conference Papers(International)
Conference Papers(Domestic)
20 건
100 건
200 건
Article
Lightweight Equivalence Checking of Code Transformation for Code Pointer Integrity
KCI
정보과학회논문지, vol. 46, no. 12, page. 1279 - 1290, 2019-12
LEE, JAESEO
;
Choi, Tae-Hyoung
;
Lee, Gyuho
;
Yu, Jaegwan
;
BAE, KYUNGMIN
1
Browse
Communities & Collections
Researcher
Title
Login
Library
Help