틀:Publication 문서 원본 보기


* 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)