SSLAB

중앙 Research


Research Areas   
  • 프로그램 보안 (Program Security) : 프로그램의 취약점으로 인한 침해를 사전에 방지
  • 스마트 컨트랙트 보안취약점 자동 검출
  • 안드로이드 앱 보안 취약점 분석
  • 드론 소프트웨어 보안취약점 분석
  • PHP 웹 프로그램 보안취약점 자동 검출기 개발
  • 프로그램 시각화
  • 요약해석(Abstract Interpretation)에 기반한 프로그램 분석
  • 자료 병렬성을 사용한 병렬 프로그램 자동 생성
 


Publications   
  • International Journals
  1. "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.
  2. "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.
  3. "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)
  4. "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)
  5. "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
  1. "A Hierarchical Cache Scheme for the Large-scale Web Search Engine.", Sungchae Lim, Joonseon Ahn, SNPD 2008: 925-930
  2. "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
  3. "A Concurrent B-Tree Algorithm Using a Cooperative Locking Protocol", Sungchae Lim, Joonseon Ahn, Myoung-Ho Kim. BNCOD 2003: 253-260
  4. " A Differential Evaluation of Fixpoint Iterations ", Joonseon Ahn, The Second Asian Workshop on Programming Languages and Systems , Taejon, Korea, Dec., 2001.
  5. "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
  1. "기계학습 기반 악성코드 검출을 위한 이미지 생성 방법", 전예진, 김진이, 안준선, 정보보호학회논문지, 32(2), 2022.04, 381 - 390.
  2. "콘콜릭 테스팅 기반 스마트 컨트랙트 보안약점 분석기", 전인성, 안준선, 정보과학회논문지, 48(6), 2021.06.
  3. "보안취약점 중요도 정량 평가 체계 연구", 안준선, 창병모, 이은영,정보보호학회논문지, 25(4), 2015.08, 921 - 932.
  4. "소프트웨어 보안약점의 중요도에 대한 정량 평가 기준 연구", 안준선, 방지호, 이은영, 정보보호학회논문지22(6), 2012.12, 1,407 - 1,417.
  5. " 웹 응용프로그램의 문자열 삽입 보안 취약성 분석기 개발(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]
  6. "심볼릭 링크 공격 취약성 검출을 위한 분석 기법(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).
  7. "상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근 제어 시스템(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).
  8. "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).
  9. "증가분 계산에 기반한 고정점 계산을 위한 워크리스트 알고리즘 (A Worklist Algorithm for Differential Fixpoint Evaluation", 안준선, 프로그래밍언어논문지, 17(1), pp. 73-82, March, 2003.
  10. "증가분 계산에 기반한 고정점 계산을 위한 워크리스트 알고리즘 (A Worklist Algorithm for Differential Fixpoint Evaluation", 안준선, 프로그래밍언어논문지, 17(1), pp. 73-82, March, 2003.
  11. "증가분 계산에 기반한 고정점 생성 방법 (A Fixpoint Iteration Method based on Increment Evaluation)", 안준선, 프로그래밍언어논문지, 16(1), pp. 1-8, Feb, 2002.
  12. "Design of a data-parallel language based on recursive data", 안준선, 항공대학교 IT연구소, 전자정보통신공학논문지 8(1), 2002.
  13. "오퍼레이셔널 의미에 기반한 일차 함수형 언어의 정적 분할 (Static Slicing of First-Order Functional Language based on Operational Semantics)", 안준선, 한태숙, 정보과학회논문지(B), 27(7), pp. 877-885, July., 2000.
  14. "재귀적 자료구조에 대한 재귀 함수의 병렬화 (Parallelization of Recursive Functions for Recursive Data Structures)", 안준선, 한태숙, 정보과학회논문지(B), 26(12), pp. 1542-1552, Dec., 1999.
  15. "액티베이션 레코드를 이용하는 그래프 축약기계 (Graph Reduction Machine Using Activation Records)", pp. 1459-1469, 안준선, 한태숙, 정보과학회논문지(B), 22(10), Oct., 1995.


  • Domestic Conferences
  1. "보안약점 종류에 따른 정적분석 도구의 탐지 성능 연구", 이용준, 안준선, 최진영, 한국정보과학회 학술발표논문집, 2019.12, 272 - 274
  2. "이더리움 스마트 컨트랙트의 보안약점과 분석도구의 지원 현황 연구", 조현승, 안준선, 한국정보과학회 학술발표논문집, 2018.12, 1,493 - 1,495.
  3. "방사청 무기체계 소프트웨어 코딩규칙의 보안성 확보 연구", 이용준, 안준선, 최진영, 한국정보과학회 학술발표논문집, 2018.12, 462 - 464.
  4. "안드로이드 앱 권한요구 정적 분석", 신성우, 이현호, 안준선, 한국정보과학회 학술발표논문집, 2015.06, 1,728 - 1,729
  5. "정적분석을 사용한 모바일 앱 자동 테스팅 도구", 임형준, 우정훈, 안준선, 한국정보과학회 학술발표논문집, 2015.06, 1,742 - 1,744
  6. " 요약해석에서 증가분 계산에 기반한 고정점 생성 방법 (Differential Evaluation of Fixpoints in Abstract Interpretation)", 안준선, 이광근, 한국정보과학회 '01 추계학술발표회 논문집, 서울여대, 서울, Sep. 2001.
  7. "재귀 함수의 병렬화를 위한 자료 병렬성 분석 (Analysis of Data Parallelism in Recursive Functions for Parallelization)", 안준선, 한태숙, 한국정보과학회 '99 프로그래밍언어연구회 추계합동학술논문발표회 논문집, 포항공대, 포항, Sep. 1999.
  8. "병렬화 컴파일러 소개 (Introduction to Parallelizing Compilers)", 안준선, 최광훈, 김성훈, 한태숙, 정보과학회지, July, 1996.
  9. "병렬화 트렌스레이터의 설계", 최광무, 한태숙, 이광근, 강경우, 이경옥, 김성훈, 조장우, 안준선, 김상오, 허재원, 최광훈, 프로그래밍언어연구회 학술발표논문집, Oct, 1995
  10. "Activation Record를 이용하는 그래프 축약 기계 (Graph Reduction Machine Using Activation Record)", 안준선, 한태숙, 한국정보과학회 '93 프로그래밍언어연구회 학술발표논문집, 아주대, 수원, Oct., 1993.


  • Reports
  1. "상용 및 공개 소프트웨어 의도적 보안약점 동향", 이현호, 이은영, 안준선, 정보보호학회지, 26(1), 2016.02, 9 - 19
  2. An Analytical Method for Parallelizing Functional Programs on Recursive Data Structures, Joonseon Ahn, Ph.D. Thesis, KAIST, 2000.
  3. 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.
  4. 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.
  5. 액티베이션 레코드를 사용하는 그래프 축약기계 (Graph Reduction Machine using Activation Record), Joonseon Ahn, MS. Thesis, KAIST, 1994. (in Korean) 
원본 주소 "http://sslab.kau.ac.kr/mediawiki/index.php?title=Research&oldid=435"
보기
개인 도구
Internal Materials