A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps

( Kwanghoon Choi ),( Myungpil Ko ),( Byeong-mo Chang ) 한국인터넷정보학회 2018 KSII Transactions on Internet and Information Syst Vol.12 No.9

This research aims at a new practical Intent fuzzing tool for detecting Intent vulnerabilities of Android apps causing the robustness problem. We proposed two new ideas. First, we designed an Intent specification language to describe the structure of Intent, which makes our Intent fuzz testing tool flexible. Second, we proposed an automatic tally method classifying unique failures. With the two ideas, we implemented an Intent fuzz testing tool called Hwacha, and evaluated it with 50 commercial Android apps. Our tool offers an arbitrary combination of automatic and manual Intent generators with executors such as ADB and JUnit due to the use of the Intent specification language. The automatic tally method excluded almost 80% of duplicate failures in our experiment, reducing efforts of testers very much in review of failures. The tool uncovered more than 400 unique failures including what is unknown so far. We also measured execution time for Intent fuzz testing, which has been rarely reported before. Our tool is practical because the whole procedure of fuzz testing is fully automatic and the tool is applicable to the large number of Android apps with no human intervention.

Cost-effective monitoring algorithm for cyber-physical system platform using combined spatio-temporal model

Choi, Kwanghoon,Lim, Sung-Hwa,Kim, Jai-Hoon Springer-Verlag 2018 The Journal of supercomputing Vol.74 No.8

클라이언트-서버 통합 웹 프로그래밍언어

최광훈(Kwanghoon Choi) 한국정보과학회 2020 정보과학회지 Vol.38 No.3

그래프 축약 기계에서 수행 시간을 고려한 루트 최적화 방법

최광훈(Kwanghoon Choi),한태숙(Taisook Han) 한국정보과학회 1998 정보과학회논문지(B) Vol.25 No.5

지연 계산 기반 함수형 언어에서 동일한 값을 갖는 매개변수를 가지고 재귀호출이 일어날 때 일부 동일한 내용을 갖는 썽크를 반복해서 만드는 부담이 있다. M,P.Jones는 G-machine에 공유할 썽크를 찾는 명령어를 도입하여 이 부담을 줄이는 루트 최적화 방법을 제안했다. 이 방법으로 썽크 공유를 통해 수행 공간을 절약할 수 있었지만 공유할 썽크의 위치를 찾는데 시간 부담이 크다. 그리고 임의의 썽크를 블럭형태로 표현할 수 없고 테일 호출을 함께 적용할 수 없는 단점이 있다. 이러한 이유로 인해 이 방법을 실제적인 컴파일러에 적용하기가 쉽지 않았다. 본 논문에서는, 안전하게 씽크를 공유할 수 있는 함수로 변환하고 새로운 타입의 노드와 이 노드에 대한 런타임 시스템 루틴을 추가해 기존의 방법이 지닌 단점을 해결하였다. 그리고 본 논문에서 제안한 방법을 Chalmers Haskell 컴파일러에 구현해 실현 가능성을 보였고, 벤치마킹 실험 결과를 통해 적은 수행 시간 부담으로 수행 공간을 줄일 수 있음을 확인하였다. In functional languages based on lazy evaluation, recursive calls with same-valued parameters can create thunks containing invariants repeatedly. M.P.jones introduced a new G-machine instruction to find sharable invariants in thunks so that those overhead could be reduced. It is called root optimization. Although root optimization can reduce runtime space, it results time overhead to search sharable positions of thunks. Also, it prevents from thunks representations with blocks and tail call optimizations. These cause difficulties in employing root optimization for practical compilers. We solved the problems by transforming a function into one which can share invariants of thunks safely and introducing new types of node and runtime system routines for each type. We implemented the idea on Chalmers Haskell compiler to show its realizability. We convinced that root optimization can be implemented with less execution-time overhead by experiment results.

스몰베이직 기반 교육용 코딩 환경을 위한 오픈소스 소프트웨어 개발

최광훈(Kwanghoon Choi),김가영(Gayoung Kim),창병모(Byeong-Mo Chang) 한국정보과학회 2018 정보과학회 컴퓨팅의 실제 논문지 Vol.24 No.12

본 연구에서 오픈소스 소프트웨어 기반 교육용 스몰베이직 코딩 환경을 개발하였다. 스몰베이직은 코딩 입문자를 위한 간단하고 배우기 쉬운 텍스트 기반 프로그래밍 언어이다. 하지만 기존의 마이크로소프트 스몰베이직 환경은 윈도우 운영체제에서만 사용해야 하고 소스 코드를 공개하지 않아 새로운 기능과 라이브러리를 추가하기 어려운 단점이 있다. 이 연구에서 윈도우, 리눅스, 맥에서 모두 사용할 수 있도록 자바로 새로운 스몰베이직 코딩 환경 마이스몰베이직을 개발하였다. 오픈소스 프로젝트이기 때문에 누구나 개발에 참여할 수 있는 장점이 있다. 이 개발을 통해 이전에 문서화되지 않았던 스몰베이직 언어의 파서 명세와 동적타입 변환에 대한 명세를 처음으로 작성하였다. 마지막으로 마이스몰베이직을 실제 코딩교육에 적용한 사례를 소개한다. This paper proposes development of an open source Small Basic coding environment. Small Basic is a simple text-based programming language for novices, that is easy to learn and user-friendly. The existing coding environment known Microsoft Small Basic can operate only on Windows, and no one can freely contribute new functions and libraries to it because of its closed policy on source code. In this paper, we develop a new Small Basic coding environment named MySmallBasic written in Java to operate in Windows, Linux, and Mac platforms. It is an open-source project, and so it has an advantage in that everyone can participate in the project. As a by-product of this study, this paper provides formal specifications on the parser and on dynamic typing semantics for Small Basic programming language, that has never been documented. Last, this paper reports an experience of using MySmallBasic in a coding education lecture.

LoRa 통신을 이용한 실종자 드론탐색 단계별 알고리즘 구현

최광훈(Kwanghoon Choi),김재훈(Jai-Hoon Kim) 한국통신학회 2017 한국통신학회 학술대회논문집 Vol.2017 No.6

문자열 분석 기반 유해 안드로이드 앱 검출

최광훈 ( Kwanghoon Choi ),박경득 ( Kyeongdeuk Park ),고광만 ( Kwangman Ko ),박희완 ( Heewan Park ),윤종희 ( Jonghee Youn ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.1

안드로이드 앱에서 접근할 수 있는 유해 사이트를 프로그램 분석 방법으로 검출하는 방법을 제안한다. 주어진 앱의 바이너리 코드를 자바바이트 코드로 역 컴파일하고 문자열 분석 방법을 적용하여 실행 중 사용 가능한 문자열 집합을 계산한 다음 유해 사이트 URL 문자열이 포함되어 있는지 확인하는 방법이다. 기존에는 앱을 직접 실행해서 특정 URL에 접속하는지 감시하는 동적 모니터링 방법인 반면, 제안한 방법은 앱을 실행할 필요가 없다. 앱스토어 관리에서 주기적으로 유해 앱 여부를 검사하는데 제안한 방법을 활용할 수 있다.

안구 운동량 검출을 이용한 스테레오 영상의 시각적 피로도 측정

최성환(Choi Sunghwan),김동현(Kim Donghyun),최재섭(Choi Jaeseob),손광훈(Sohn Kwanghoon) 한국방송·미디어공학회 2010 한국방송공학회 학술발표대회 논문집 Vol.2010 No.11

본 논문에서는 3차원 스테레오 영상에서의 시각적 피로도와 안구의 운동량과의 상관관계를 도출하고 시각적 피로도 측정시스템을 제안한다. 제안한 측정 방법은 3차원 스테레오 영상 시청자의 피로도가 누적되었을 때, 안구의 단속성 운동(saccade)이 감소할 것이라는 가정에 기반을 둔다. 액티브 셔터글라스 방식의 3D 안경을 착용한 시청자의 동공을 검출하고 추적하기 위해 적외선 광원 및 적외선 카메라를 이용한다. 획득한 영상에 대해 이진 임계화를 적용하고 타원 피팅을 수행하여 동공의 위치를 검출한다. 피팅된 타원의 이심률과 크기 및 위치를 제한하여 검출 오류를 줄인다. 검출된 동공의 위치를 바탕으로 안구의 단속성 운동량을 측정한다. 실험에는 변이 정도가 크지 않아 편안하게 시청 가능한 스테레오 영상과 과도한 변이를 가져 시청하는데 불편한 영상이 분리되어 사용되었다. 이들 영상에 대해 각각 실험자의 단속성 운동량을 측정하였다. 실험 결과에서 안구의 단속성 운동량이 변이가 큰 영상에서 그렇지 않은 영상에 비해 감소하는 경향이 나타났다.

자바가상기계를 대상으로 하는 지연계산기반 함수형 언어 컴파일러의 설계 및 구현

최광훈(Kwanghoon Choi),임현일(Hyun-il Lim),한태숙(Taisook Han) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.2Ⅰ

본 논문에서는 지연계산기반 함수형 언어 프로그램을 받아 Java 프로그램을 목적 코드로 생성하는 컴파일러를 설계하고 구현한다. 이 컴파일러는 제한된 형태의 함수형 언어 Shared Term Graph(STG)를 입력언어로 하는 추상기계 Spineless Tagless G-Machine(STGM)을 수행 모델로 한다. 본 논문에서는 명령형 언어 L-code를 제안하고 이를 입력언어로 하는 새로운 형태의 STGM인 L-Machine을 제안한다. STG 언어를 L-code로 변환하는 컴파일러와 L-code를 Java로 변환하는 컴파일러를 설계하고 구현함으로써 원하는 컴파일러를 구성한다. 그리고 Glasgow Haskell 컴파일러를 전단부로 하여 지연계산기반 함수형 언어 Haskell로 작성된 프로그램들을 컴파일하여 STG 프로그램으로 변환한 다음 본 논문에서 구현한 컴파일러로 이를 Java 프로그램으로 변환한다. 변환된 Java 프로그램을 Sun JIT 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

중간언어 L - 코드를 이용한 Haskell - Java 언어 번역기 구현

최광훈(Kwanghoon Choi),한태숙(Taisook Han) 한국정보과학회 2001 정보과학회논문지 : 소프트웨어 및 응용 Vol.28 No.12

We propose a systematic method of compiling Haskell based on the Spineless Tagless G-machine (STGM) for the Java Virtual Machine (JVM). We introduce an intermediate language called L-code to identify each micro-operation of the machine by its instruction. Each macro operation of the machine is identified by a binding. Each instruction of the L-code can be easily translated into Java statements. After our determination on representation, an L-code program from a STG program is translated into a Java program according to our compilation rules. Our experiment shows that the execution times of translated benchmarks are competitive, compared with those in a Haskell interpreter Hugs, particularly when Glasgow Haskell compiler's STG-level optimizations are applied. 본 논문에서는 함수형 언어 Haskell을 Java언어로 변환하여 Java Virtual Machine에서 수행하는 컴파일 방법을 제안한다. 이 컴파일 방법은 추상 기계 Spineless Tagless G-machine (STGM)을 수행 모델로 삼는다. L-code로 명명한 중간 언어를 도입하여 추상기계의 각각의 세부 동작을 이 언어의 명령어로 표현하고, 일련의 세부 동작들을 이 언어의 바인딩을 통해 표현한다. 각 명령어는 Java의 문장으로 변환하기 쉽도록 정의하였다. Java에서의 표현 방법을 결정하고, STG 프로그램의 L-code 프로그램으로의 컴파일 규칙과 Java 프로그램으로의 컴파일 규칙을 제안한다. 실험을 통해 제안한 컴파일러에 의해 Haskell 프로그램으로부터 생성된 Java 프로그램의 수행 성능은 Glasgow Haskell 컴파일러의 최적화 변환을 적용했을 때 기존의 Haskell 인터프리터인 Hugs와 대등함을 보인다.