Browse "School of Computing(전산학부)" by Author Han, Tai-Sook

Showing results 1 to 49 of 49

1
A static API birthmark for Windows binary executables

Choi, Seok-Woo; Park, Hee-Wan; Lim, Hyun-Il; Han, Tai-Sook, JOURNAL OF SYSTEMS AND SOFTWARE, v.82, no.5, pp.862 - 873, 2009-05

2
A tiny hypervisor-based trusted geolocation framework with minimized TPM operations

Park, Sungjin; Won, Jong-Jin; Yoon, Jaenam; Kim, Kyong Hoon; Han, Tai-Sook, JOURNAL OF SYSTEMS AND SOFTWARE, v.122, pp.202 - 214, 2016-12

3
(A) bottom-up pointer analysis using the update history = 업데이트 기록에 기반한 상향방식 포인터 분석link

Kang, Hyun-Goo; 강현구; et al, 한국과학기술원, 2009

4
(An) analytical method for parallelizing functional programs on recursive data structures = 재귀적 자료구조에 대한 함수형 프로그램의 병렬화를 위한 분석적 방법link

Ahn, Joon-Seon; 안준선; et al, 한국과학기술원, 2000

5
(An) emulation oriented CPU designlink

Han, Tai-Sook; 한태숙; et al, 한국과학기술원, 1978

6
API 포장으로 난독화된 이진 실행파일의 난독화 해제 방법 = A deobfuscation method of API-wrapped binary executableslink

이창재; Lee, Chang-Jae; et al, 한국과학기술원, 2014

7
Aspect-oriendted programming을 이용한 Testable Object의 작성 = A testable object with aspect-oriendted programminglink

정경복; Jung, Kyong-Bok; et al, 한국과학기술원, 2003

8
Bottom-up 방식을 이용한 논리 데이타 베이스의 병렬 실행기 설계 및 구현 = Design and implementation of a parallel evaluator for logic database using bottom-up methodlink

변영준; Byun, Young-Joon; et al, 한국과학기술원, 1993

9
CAFE: A Virtualization-Based Approach to Protecting Sensitive Cloud Application Logic Confidentiality

Kim, Chung Hwan; Park, Sungjin; Rhee, Junghwan; Won, Jong-Jin; Han, Tai-Sook; Xu, Dongyan, ACM Symposium on Information, Computer and Communications Security (ASIACCS), ACM Special Interest Group on Security, Audit and Control (SIGSAC), 2015-04-14

10
Code theft detection by software birthmarks for binary executables = 바이너리 실행파일의 소프트웨어 버스마크를 이용한 코드 도용 탐지link

Choi, Seok-Woo; 최석우; et al, 한국과학기술원, 2009

11
Control flow graph상의 USE 집합을 중심으로 하여 live variable analysis를 수행하는 비반복적 알고리즘 = A non-iterative algorithm for live variable analysis based on use set of control flow graphlink

윤정한; Yun, Jeong-Han; et al, 한국과학기술원, 2003

12
Deforestation을 이용한 foldr/build 변환의 향상 방법 = Improvement of foldr/build transformation using deforestationlink

임현일; Lim, Hyun-Il; et al, 한국과학기술원, 1997

13
Detection of Harmful Schizophrenic Statements in Esterel

Yun, Jeong-Han; Kim, Chul-Joo; Kim, Seong-Gun; Choe, Kwang-Moo; Han, Tai-Sook, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.12, no.3, 2013-03

14
Eval-apply 모델의 STGM에 기반하여 지연 계산 함수형 언어를 자바로 컴파일하는 기법 = Compiling lazy functional programs to java on the basis of spineless tagless g-machine with eval-apply modellink

남병규; Nam, Byeong-Gyu; et al, 한국과학기술원, 2001

15
Fault tolerant wormhole routing based on solid fault model in mesh network = 메쉬 연결망에서의 솔리드 고장 모델에 기반한 고장 허용 웜홀 라우팅link

Kim, Sung-Pyo; 김성표; et al, 한국과학기술원, 1998

16
G-기계에서 루트 최적화의 효율적인 구현 = An efficient implementation for root optimization in G-machinelink

오지웅; O, Chi-Ung; et al, 한국과학기술원, 1998

17
Identifying Input-Dependent Jumps from Obfuscated Execution using Dynamic Data Flow Graphs

Hwang, Joonhyung; Han, Tai-Sook, Software Security, Protection, and Reverse Engineering Workshop, pp.3:1 - 3:12, Association for Computing Machinery, 2018-12-04

18
Learning algorithms and the inversion of fuzzy neural networks = 퍼지 신경망의 학습 알고리즘과 역연산에 관한 연구link

Park, Sung-Woo; 박성우; et al, 한국과학기술원, 1998

19
nML에서의 SOAP구현 = Implementation of SOAP in nML programming environmentlink

권오경; Kwon, Oh-Kyoung; et al, 한국과학기술원, 2002

20
Off-line slicing of abstract interpretation results for automatic construction of economical program proofs = 요약해석 결과의 오프라인 가지치기를 이용한 프로그램 증명의 경제적인 자동 생성link

Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2007

21
OO-VRML 브라우저의 설계 및 구현 = Design and implementation of OO-VRML browserlink

최석우; Choi, Seok-Woo; et al, 한국과학기술원, 2000

22
Software theft detection through analysis of the semantic units of program = 프로그램의 의미 단위 분석을 통한 소프트웨어의 도용 탐지 방법link

Lim, Hyun-il; 임현일; et al, 한국과학기술원, 2009

23
Software theft detection through static trace birthmarks for java = 자바의 정적 트레이스 버스마크를 통한 소프트웨어 도용 탐지link

Park, Hee-Wan; 박희완; et al, 한국과학기술원, 2010

24
State-checking push-pull interface generation for rapid prototyping = 빠른 원형 제작을 위한 상태 검사 푸시-풀 인터페이스 생성link

Son, Choon-Ho; 손춘호; et al, 한국과학기술원, 2006

25
VICODE : 검증도구가 일체화된 동시설계환경 = VICODE : verification integrated co-design environmentlink

김건우; Kim, Gun-Woo; et al, 한국과학기술원, 2007

26
Windows 프로그램의 동적 API 호출 트레이스를 이용한 기능 단위 버스마크 = A functional unit birthmark based on dynamic API call trace of windows programlink

조우영; Cho, Woo-Young; et al, 한국과학기술원, 2009

27
XML을 이용한 다이어그램용 마크업 언어 = A diagram markup language using XMLlink

이명은; Lee, Myung-Eun; et al, 한국과학기술원, 2000

28
가상머신 기반으로 난독화 된 실행파일의 구조 및 원본의미 추출 동적 방법 = A dynamic approach to extract the original semantics and structure of VM-based obfuscated binary executableslink

이성호; Lee, Sung-ho; et al, 한국과학기술원, 2014

29
가상화 기법으로 난독화된 실행 파일의 동적 분석 방법 = A dynamic analysis of virtualization-obfuscated binary executableslink

전준수; Jeon, Joon-Soo; et al, 한국과학기술원, 2012

30
고차원 함수를 동적 인자전달 방식으로 구현하는 타입 기반 컴파일 방법 = (A) typed compilation of higher-order functions with dynamic argument passinglink

Choi, Kwang-Hoon; 최광훈; et al, 한국과학기술원, 2003

31
네트워크를 고려한 프로그래밍 언어의 설계와 구현 = Design and implementation of a network programming languagelink

원유훈; Won, Yoo-Hoon; et al, 한국과학기술원, 1999

32
레코드 접합 연산을 포함한 다형적 레코드 계산법 = A polymorphic record calculus with record concatenation operationlink

Kim, Sang-Oh; 김상오; et al, 한국과학기술원, 1995

33
멀티메쏘드 디스패치에 유용한 최적화된 테이블 압축 기법 = Optimized table compression method in multimethod dispatch schemelink

장문종; Jang, Moon-Jong; et al, 한국과학기술원, 1997

34
멀티미디어 저작 도구에서 사용하는 스크립트 언어의 설계와 구현 = The design and implementation of a script language in multimedia authoring toolslink

석은주; Suk, Eun-Joo; et al, 한국과학기술원, 1994

35
명령어수준 병렬성 향상을 위한 리스트 스케쥴링의 확장 = An extension of list scheduling method for instruction level parallelismlink

홍동균; Hong, Tong-Kyoon; et al, 한국과학기술원, 1996

36
명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink

황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011

37
명령형 동기식 반응형 언어의 선언형 확장 = A declarative extension of an imperative synchronous reactive languagelink

황준형; Hwang, Joon-Hyung; et al, 한국과학기술원, 2011

38
상호작용하는 동기화된 프로그램의 디버깅을 위한 테스트 케이스 자동화 생성 = Automated test case generation for debugging reactive synchronous programslink

조민경; Cho, Min-Kyung; et al, 한국과학기술원, 2009

39
선택적 레덱스 트레일을 이용한 디버거 = A selective redex trail based debuggerlink

박희완; Park, Hee-Wan; et al, 한국과학기술원, 1999

40
액티베이션 레코드를 사용한 그래프 축약기계 = Graph reduction machine using activation recordlink

안준선; Ahn, Joon-Seon; et al, 한국과학기술원, 1994

41
자바스크립트에 특화된 프로그램 종속성 그래프를 이용한 표절 탐지 = Plagiarism detection using dependence graph analysis specialized for javascriptlink

김신형; Kim, Shin-Hyong; et al, 한국과학기술원, 2011

42
자바스크립트에 특화된 프로그램 종속성 그래프를 이용한 표절 탐지 = Plagiarism detection using dependence graph analysis specialized for javascriptlink

김신형; Kim, Shin-Hyong; et al, 한국과학기술원, 2011

43
재귀 원형군 연결망에서 동적 부하 균등 정책의 비교 분석 = Comparison of dynamic load balancing strategies on recursive circulant graphslink

박홍영; Park, Hong-Young; et al, 한국과학기술원, 1995

44
저궤도 소형 위성을 위한 스크립트 기반 = Script based ground station software for the small satellite on the low earth orbitlink

박홍영; Park, Hong-Young; et al, 한국과학기술원, 2009

45
지연대치 규칙과 배타적 베타규칙 적용 규칙을 이용한 그래프 축약 = A graph reduction scheme with delayed substitution rule and exclusive beta reduction rulelink

반규익; Barn, Kyu-Ic; et al, 한국과학기술원, 1993

46
태그 옮김 기법으로 공간 효율을 높인 G-machine = A space-efficient G-machine using tag-forwardinglink

우균; Woo, Gyun; et al, 한국과학기술원, 2000

47
함수 수준에서 프로파일 정보를 이용한 ARM과 thumb 인스트럭션의 선택 = Profile guided selection of ARM and thumb instructions at function levellink

소창호; Soh, Chang-Ho; et al, 한국과학기술원, 2004

48
함수 언어에서의 역 람다 리프팅 변환에 대한 실험 = An experiment with reverse lambda lifting transformation in functional languageslink

최광훈; Choi, Kwang-Hoon; et al, 한국과학기술원, 1996

49
함수 요약을 이용한 모듈단위 포인터분석 = A modular pointer analysis using function summarieslink

박상운; Park, Sang-Woon; et al, 한국과학기술원, 2007

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0