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-2 of 2 (Search time: 0.0 seconds).
Export
EXCEL
BIBTEX
Date issued
2020
1
2019
1
Type
Article
2
Subject
code pointer integrity
1
code transformation
1
LLVM
1
translation validation
1
동등성 검증
1
코드 변환
1
코드 포인터 무결성
1
Journal Registered
KCI
1
Other
1
Journal Papers(International)
Journal Papers
(Domestic)
Conference Papers(International)
Conference Papers(Domestic)
20 건
100 건
200 건
Article
심층신경망의 정형검증 기법 소개
정보과학회지, vol. 38, no. 4, page. 8 - 15, 2020-04
배경민
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