SSLAB
시스템소프트웨어 연구실에 오신 것을 환영합니다. 시스템소프트웨어 연구실은 프로그래밍언어 기술을 사용하여 안전한 소프트웨어 세상을 만드는 것을 목표로 하고 있습니다.
- 프로그램 보안 (Program Security) : 프로그램의 취약점으로 인한 침해를 사전에 방지
- 스마트 컨트랙트 보안취약점 자동 검출
- 안드로이드 앱 보안 취약점 분석
- 드론 소프트웨어 보안취약점 분석
- PHP 웹 프로그램 보안취약점 자동 검출기 개발
- 프로그램 시각화
- 요약해석(Abstract Interpretation)에 기반한 프로그램 분석
- 자료 병렬성을 사용한 병렬 프로그램 자동 생성
Publications
- International Journals
- "A Programming Environment for Ubiquitous Computing Environment", Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn and Kyung-Goo Doh, ACM SIGPLAN Notices, Vol. 42, Issue 4, pp. 14-22, ACM, April, 2007.
- "Differential Evaluation of Fixpoints of Non-distributive Functions", Joonseon Ahn, IEICE Transactions on Information and Systems, Vol. E-86-D, No. 12, pp. 2710-2721, Dec. 2003.
- "A Differential Fixpoint Evaluation Framework for Non-distributive Systems", Joonseon Ahn et al., Lecture Notes in Computer Science 2895, pp. 159-175, Springer Verlag. (presented at APLAS'03, Beijing, China, Nov. 2003)
- "A Concurrent B^{link}-tree Algorithm using Cooparative Locking Protocol", Sung-Chae Lim, Joonseon Ahn, and Myoung Ho Kim, Lecture Notes in Computer Science 2712, pp. 253-260, Springer Verlag. (presented at BNCOD 20, Coventry, UK, July 2003)
- "An Analytical Method For Parallelization Of Recursive Functions", Joonseon Ahn and Taisook Han, Parallel Processing Letters, pp. 359-370, Vol. 10, No. 4, Dec., 2000.
- International Conference Proceedings
- "A Hierarchical Cache Scheme for the Large-scale Web Search Engine.", Sungchae Lim, Joonseon Ahn, SNPD 2008: 925-930
- "A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment", Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh, EUC Workshops 2006: 650-659
- "A Concurrent B-Tree Algorithm Using a Cooperative Locking Protocol", Sungchae Lim, Joonseon Ahn, Myoung-Ho Kim. BNCOD 2003: 253-260
- " A Differential Evaluation of Fixpoint Iterations ", Joonseon Ahn, The Second Asian Workshop on Programming Languages and Systems , Taejon, Korea, Dec., 2001.
- "Analysis of Parallelism in Recursive Functions on Recursive Data Structures", Joonseon Ahn and Taisook Han, Implementation of Declarative Languages(IDL'99), Paris, France, Sep., 1999.
- Domestic Journals
- "기계학습 기반 악성코드 검출을 위한 이미지 생성 방법", 전예진, 김진이, 안준선, 정보보호학회논문지, 32(2), 2022.04, 381 - 390.
- "콘콜릭 테스팅 기반 스마트 컨트랙트 보안약점 분석기", 전인성, 안준선, 정보과학회논문지, 48(6), 2021.06.
- "보안취약점 중요도 정량 평가 체계 연구", 안준선, 창병모, 이은영,정보보호학회논문지, 25(4), 2015.08, 921 - 932.
- "소프트웨어 보안약점의 중요도에 대한 정량 평가 기준 연구", 안준선, 방지호, 이은영, 정보보호학회논문지22(6), 2012.12, 1,407 - 1,417.
- " 웹 응용프로그램의 문자열 삽입 보안 취약성 분석기 개발(Development of a String Injection Vulnerability Analyzer for Web Application Programs)", Joonseon Ahn and Yeong-min Kim and Jang-Wu Jo, 정보처리학회논문지/Journal of Korea Information Processing Society, Vol. 15-A, No. 3, pp 181-188, Jun 2008 (in Korean) [English Abstract]
- "심볼릭 링크 공격 취약성 검출을 위한 분석 기법(An Analysis Method for detecting Vulnerability to Symbolic link Exploit)", Seongyong Joo and Joonseon Ahn and Jang-Wu Jo, 정보처리학회논문지/Journal of Korea Information Processing Society, Vol. 15-A, No. 1, pp 45-52, Feb 2008 (in Korean).
- "상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근 제어 시스템(An Access Control System for Ubiquitous Computing based on Context Awareness)", Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh, 정보처리학회논문지/Journal of Korea Information Processing Society, Vol. 15-A, No. 1, Feb 2008 (in Korean).
- "A Differential Fixpoint Evaluation Algorithm for Arbitrary Worklist Scheduling", Joonseon Ahn, 정보과학회논문지/Journal of Korea Information Science Society, Vol.32-B, No.8, pp808-818, Aug 2005 (in Korean).
- "증가분 계산에 기반한 고정점 계산을 위한 워크리스트 알고리즘 (A Worklist Algorithm for Differential Fixpoint Evaluation", 안준선, 프로그래밍언어논문지, 17(1), pp. 73-82, March, 2003.
- "증가분 계산에 기반한 고정점 계산을 위한 워크리스트 알고리즘 (A Worklist Algorithm for Differential Fixpoint Evaluation", 안준선, 프로그래밍언어논문지, 17(1), pp. 73-82, March, 2003.
- "증가분 계산에 기반한 고정점 생성 방법 (A Fixpoint Iteration Method based on Increment Evaluation)", 안준선, 프로그래밍언어논문지, 16(1), pp. 1-8, Feb, 2002.
- "Design of a data-parallel language based on recursive data", 안준선, 항공대학교 IT연구소, 전자정보통신공학논문지 8(1), 2002.
- "오퍼레이셔널 의미에 기반한 일차 함수형 언어의 정적 분할 (Static Slicing of First-Order Functional Language based on Operational Semantics)", 안준선, 한태숙, 정보과학회논문지(B), 27(7), pp. 877-885, July., 2000.
- "재귀적 자료구조에 대한 재귀 함수의 병렬화 (Parallelization of Recursive Functions for Recursive Data Structures)", 안준선, 한태숙, 정보과학회논문지(B), 26(12), pp. 1542-1552, Dec., 1999.
- "액티베이션 레코드를 이용하는 그래프 축약기계 (Graph Reduction Machine Using Activation Records)", pp. 1459-1469, 안준선, 한태숙, 정보과학회논문지(B), 22(10), Oct., 1995.
- Domestic Conferences
- "보안약점 종류에 따른 정적분석 도구의 탐지 성능 연구", 이용준, 안준선, 최진영, 한국정보과학회 학술발표논문집, 2019.12, 272 - 274
- "이더리움 스마트 컨트랙트의 보안약점과 분석도구의 지원 현황 연구", 조현승, 안준선, 한국정보과학회 학술발표논문집, 2018.12, 1,493 - 1,495.
- "방사청 무기체계 소프트웨어 코딩규칙의 보안성 확보 연구", 이용준, 안준선, 최진영, 한국정보과학회 학술발표논문집, 2018.12, 462 - 464.
- "안드로이드 앱 권한요구 정적 분석", 신성우, 이현호, 안준선, 한국정보과학회 학술발표논문집, 2015.06, 1,728 - 1,729
- "정적분석을 사용한 모바일 앱 자동 테스팅 도구", 임형준, 우정훈, 안준선, 한국정보과학회 학술발표논문집, 2015.06, 1,742 - 1,744
- " 요약해석에서 증가분 계산에 기반한 고정점 생성 방법 (Differential Evaluation of Fixpoints in Abstract Interpretation)", 안준선, 이광근, 한국정보과학회 '01 추계학술발표회 논문집, 서울여대, 서울, Sep. 2001.
- "재귀 함수의 병렬화를 위한 자료 병렬성 분석 (Analysis of Data Parallelism in Recursive Functions for Parallelization)", 안준선, 한태숙, 한국정보과학회 '99 프로그래밍언어연구회 추계합동학술논문발표회 논문집, 포항공대, 포항, Sep. 1999.
- "병렬화 컴파일러 소개 (Introduction to Parallelizing Compilers)", 안준선, 최광훈, 김성훈, 한태숙, 정보과학회지, July, 1996.
- "병렬화 트렌스레이터의 설계", 최광무, 한태숙, 이광근, 강경우, 이경옥, 김성훈, 조장우, 안준선, 김상오, 허재원, 최광훈, 프로그래밍언어연구회 학술발표논문집, Oct, 1995
- "Activation Record를 이용하는 그래프 축약 기계 (Graph Reduction Machine Using Activation Record)", 안준선, 한태숙, 한국정보과학회 '93 프로그래밍언어연구회 학술발표논문집, 아주대, 수원, Oct., 1993.
- Reports
- "상용 및 공개 소프트웨어 의도적 보안약점 동향", 이현호, 이은영, 안준선, 정보보호학회지, 26(1), 2016.02, 9 - 19
- An Analytical Method for Parallelizing Functional Programs on Recursive Data Structures, Joonseon Ahn, Ph.D. Thesis, KAIST, 2000.
- Static Slicing of a First-Order Functional Language based on Operational Semantics, Joonseon Ahn and Taisook Han, KAIST/CS Technical Report CS/TR-99-144, Dec., 1999.
- Design and Implementation of a Data-Parallel Language based on Recusively Defined Data Joonseon Ahn and Taisook Han, KAIST/CS Technical Report CS/TR-98-128, Sep., 1998.
- 액티베이션 레코드를 사용하는 그래프 축약기계 (Graph Reduction Machine using Activation Record), Joonseon Ahn, MS. Thesis, KAIST, 1994. (in Korean)
프로젝트 projects
- 스마트 코드브라우저를 위한 프로그램 시각화 기술
- 코딩단계 개발자용 온더플라이 정적분석 도구 개발
공지사항 news & information
- 라인X한국정보과학회 블록체인 경진대회 최우수상 수상
- 일시: 2019/6/28
- 제목: 심볼릭 실행 기법을 사용한 스마트 컨트랙트 보안 약점 자동 검출 도구
- 참가자: 조현승 석사과정(지도교수: 안준선)
- 상금: 200만원