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 |