1 | (A) survey on security of blockchain smart contracts : research trends and insights = 블록체인 스마트 컨트랙트의 보안에 관한 조사 : 연구 동향 및 통찰link Kim, Shinhae; Ryu, Sukyoung; et al, 한국과학기술원, 2020 |
2 | An Empirical study on the rewritability of the with statement in JavaScript = JavaScript 프로그램에서 with 문의 제거 가능성에 대한 실험적 연구link Park, Chang-Hee; 박창희; et al, 한국과학기술원, 2012 |
3 | Automatic API modling for static analysis of web applications = 웹 앱 정적 분석을 위한 API 자동 모델링link Bae, Sung-Gyeong; 배성경; et al, 한국과학기술원, 2015 |
4 | Automatic detection of visibility faults by layout changes in HTML5 web pages = HTML5 웹 페이지에서 레이아웃 변화로 인해 발생하는 가시성오류 자동으로 탐지하기link Ryou, Yeonhee; Ryu, Sukyoung; et al, 한국과학기술원, 2018 |
5 | Automatic javascript bug detection framework and different approaches to false-positive minimization = 자바스크립트 자동 버그감지 프레임워크 구축 및 거짓경보 최소화를 위한 다양한 접근link Jin, Jun-Ho; 진준호; et al, 한국과학기술원, 2014 |
6 | Automatically deriving JavaScript double debugger from language specification = 자바스크립트 명세로부터 실행 상태를 관찰 및 제어할 수 있는 도구 자동 유도link An, Seungmin; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
7 | Building a sound and practical static analysis framework for JavaScript web applications in the wild = 자바스크립트 웹 어플리케이션의 안전하고 실용적인 정적 분석을 위한 프레임워크 개발 연구link Park, Changhee; 박창희; et al, 한국과학기술원, 2016 |
8 | Composing static analyzers for bug and security vulnerability detection in multilingual android applications = 정적 분석기들의 결합을 통한 다양한 언어로 개발된 안드로이드 앱의 결함 및 보안 취약성 검출link 이성호; Ryu, Sukyoung; et al, 한국과학기술원, 2020 |
9 | Conformance analysis for context-free languages using abstract interpretation = 요약 해석을 이용한 문맥자유 언어 부합 분석link Kim, Se-Won; 김세원; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2011 |
10 | Detection of three-dimensional information of blood and lymphatic vessels in optical coherence tomography images = 광간섭단층촬영 영상에서 혈관 및 림프관의 3차원적 정보 검출link Han, Myounghee; Ryu, Sukyoung; et al, 한국과학기술원, 2018 |
11 | Exception analysis for languages with exceptions = 프로그램 실행 중 처리되지 않는 예외상황을 예측하는 방법link Ryu, Suk-Young; 류석영; et al, 한국과학기술원, 2001 |
12 | Extending bug detector and improving analysis performance in SAFE = SAFE의 버그 감지 확장 및 분석 성능 향상link Won, Soon-Cheol; 원순철; et al, 한국과학기술원, 2014 |
13 | Formal specification of a JavaScript module system = JavaScript 모듈 시스템의 정형 명세link Kang, Seonghoon; 강성훈; et al, 한국과학기술원, 2012 |
14 | Generating error-revealing inputs with new static analysis warnings = 새로운 정적 분석 경고를 통한 오류 입력 값 생성link Cheung, Wai Ting; Kim, Sunghun; 김성훈; Ryu, Suk Young; et al, 한국과학기술원, 2018 |
15 | GPU를 위한 Concurrent Collections 개발 및 의료 영상화 응용 = Concurrent collections development for GPU and medial imaging applicationlink 김경헌; Kim, Kyunghun; et al, 한국과학기술원, 2015 |
16 | High-speed automatic segmentation of intravascular stent struts in optical coherence tomography images = 관상동맥내 광결합 단층 촬영법 영상에서 자동으로 스텐트 구조를 검출하는 고속 알고리즘link Han, Myoung-Hee; 한명희; et al, 한국과학기술원, 2013 |
17 | Improving precision of static type checker for web applications by using dynamic information = 동적 정보를 활용한 웹 애플리케이션 정적 타입 결함 검출기의 정확도 향상link Park, Joonyoung; 박준영; et al, 한국과학기술원, 2016 |
18 | Improving the analysis precision of JavaScript programs via assertion = Assert로 자바스크립트 프로그램 분석의 정확도 높이기link Lee, Hong-Ki; 이홍기; et al, 한국과학기술원, 2013 |
19 | JavaScript static analysis for evolving language specifications = 성장하는 프로그래밍 언어 명세를 위한 자바스크립트 정적 분석link Park, Jihyeok; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
20 | Partition-based coverage metrics and type-guided search strategies in concolic testing for javascript applications = 자바스크립트 프로그램의 concolic 테스팅을 위한 partition-based 커버리지 매트릭스와 타입 우선 탐색 전략link Bae, Sora; 배소라; et al, 한국과학기술원, 2016 |
21 | Polymorphic symmetric multiple dispatch with variance = 가변성과 다형성을 가지는 언어에서의 대칭 다중 디스패치link Park, Gyunghee; Ryu, Sukyoung; et al, 한국과학기술원, 2019 |
22 | Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명link Kim Ji-Eung; 김지응; et al, 한국과학기술원, 2011 |
23 | Recursive types in object-oriented languages = 객체 지향 언어에서 재귀 타입 지원link Na, Hyunik; 나현익; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2013 |
24 | SAFE: 확장 가능한 JavaScript 분석 프레임워크 이홍기; 진준호; 원순철; 조준희; 류석영; 고윤석, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.5, pp.283 - 289, 2013-05 |
25 | Securing legacy kernel with type-guided refactoring to rust = 러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호link Park, Sanguk; Ryu, Sukyoung; et al, 한국과학기술원, 2021 |
26 | Standard ML 프로그램 실행 중 처리되지 않는 예외 상황을 예측하는 방법 = Estimating uncaught exceptions in standard ML programs from type-based equationslink 류석영; Ryu, Suk-Young; et al, 한국과학기술원, 1996 |
27 | Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016 |
28 | Static and dynamic combined analysis for bug detection of web apps = 웹 앱 결함 검출을 위한 정적 동적 혼합 분석link Park, Joonyoung; Ryu, Sukyoung; et al, 한국과학기술원, 2022 |
29 | Towards secure web applications with static analysis = 안전한 웹 어플리케이션 개발을 위한 JavaScript 정적 분석 디자인 및 응용link Ko, Yoonseok; Ryu, Sukyoung; et al, 한국과학기술원, 2018 |
30 | WALA와 Boa를 활용하여 대규모 소프트웨어 저장소를 정적으로 분석하는 도구 개발 박경희; 류석영, 정보과학회논문지, v.44, no.10, pp.1081 - 1086, 2017-10 |
31 | 액티비티 삽입 검출을 위한 정적 분석 방법 및 장치 류석영; 이성호; 황성재 |
32 | 요약된 주소값 기반 메모리 분석 기법 및 이를 이용한 EVM 바이트코드 분석 박지희; 류석영, 정보과학회 컴퓨팅의 실제 논문지, v.26, no.4, pp.217 - 222, 2020-04 |
33 | 자바스크립트의 이벤트 동작 분석을 위한 이벤트 모델링 류연희; 류석영, 정보과학회 컴퓨팅의 실제 논문지, v.21, no.12, pp.751 - 755, 2015-12 |
34 | 자바스크립트의 중간 언어 기반 의미론 추출 자동화 시스템 및 방법 류석영; 박지혁; 박지희; 안승민 |
35 | 최적화된 실행기를 활용한 자바스크립트 정적 분석 가속화 시스템 류석영; 박준영; 박지혁; 윤동준 |
36 | 확장성을 조절할 수 있는 자바스크립트 앱 정적 분석 프레임워크 고윤석; 류석영, 정보과학회논문지, v.42, no.11, pp.1404 - 1409, 2015-11 |