도경구 교수의 발표 및 출장 기록

초대한 사람들

  • 2011.05.27 : Yeong-Tae Song (Towson University, U.S.A.)
    : Implementing Interoperability using an IHE Profile for Transport Medicine
  • 2011.05.12 : 김태일 (FSK시큐리티) : Fuzzing과 Exploits의 개념과 시연
  • 2010.11.03 : David Schmidt (Kansas State University, U.S.A.)
    : Namespace-based Language Modeling (notes)
  • 2009.09.30 : David Schmidt (Kansas State University, U.S.A.)
    : Programs are circuits, and knowledge travels through the wires (notes)
  • 2008.12.30 : 안기영 (Portland State University, U.S.A.)
    : 공유 하위타입 - 되돌기와 타입 인자를 포함하는 대수적 자료형에 대한 하위타입 (Shared Subtypes: Subtyping recursive parametrized algebraic data types)
  • 2008.07.21 : 이계식 (AIST, Japan)
    : Inductive Definitions and Recursive Functions in Type Theory
  • 2008.05.07~15 : David Schmidt (Kansas State, U.S.A.)
  • : Introduction to Software Architecture
  • 2000.01 : 창병모 (숙명여대) : 프로그램분석
  • 1999.11.20 : David Schmidt (Kansas State, U.S.A.) : Model Checking and Abstraction
  • 1998.03.30~31 : Olivier Danvy (Aarhus, Denmark) : Partial Evaluation
  • 1998.03.18 : Morten Rhiger (Aarhus, Denmark) : A Study in Higher-order Programming Language
  • 1998.02.23 : 최진영 (고려대) : Symbolic Weak Bisimulation
  • 1997.11.07 : 류재철 (충남대) : 전자상거래보안
  • 1997.05.16 : 김태완 (SDRC, U.S.A.) : 고객신발디자인
  • 1995.12.08 : Harvey Abramson (Aizu, Japan) : A Logic Programming View of Relational Morphology

국제 발표

  • Abstract parsing: static analysis of dynamically generated string output using LR-parsing technology
    Hong Kong University of Science and Technology, Hong Kong, China, Nov 5, 2009 (talk)
    host: Sunghun Kim
  • Abstract parsing: static analysis of dynamically generated string output using LR-parsing technology
    Brown University, Providence, Rhode Island, U.S.A., Sep 10~11, 2009 (talk)
    host: Shriram Krishnamurthi
  • Abstract parsing: static analysis of dynamically generated string output using LR-parsing technology
    SAS2009, UCLA, California, U.S.A., Aug 10, 2009
  • Composing programming languages by combining action semantics modules
    BRICS, Aarhus, July 25, 2002
    host: Peter D. Mosses
  • Data flow analysis of secure information flow
    APLAS2002, Shanghai, China, November, 2002
  • Analysis of secure information-flow in action by abstract interpretation
    AS2002, Genova, Italy, April, 2002.
  • Analysis of secure information-flow by model checking
    APLAS2001, Daejeon, Korea, November 2001.
  • Action transformation by partial evaluation
    University of Tokyo, Japan, 1994.
    host: Satoshi Matsuoka
  • Action transformation by partial evaluation
    Aarhus University, Denmark, April 1994
    host: Olivier Danvy
  • Extraction of strong typing laws from semantics definitions
    INRIA, Rocquencourt, France, February 1992.
    host: Christian Quiennec
  • Extraction of strong typing laws from semantics definitions
    University of Glasgow, Glasgow, Scotland, February 1992.
    host: David Watt

국내 발표

  • [공동발표자:이효섭], "추상구문트리를 비교하여 정확한 코드클론 찾기", 한국IT지적재산권관리학회 '07 추계학술발표대회논문집, 컴퓨터프로그램보호위원회 대회의실, 2007.11.23
  • "토큰을 이용한 프로그램 구조 비교 분석", 컴퓨터프로그램 감정인 워크숍, 컴퓨터프로그램보호위원회, 제주도, 2007.6.14
  • 프로그램 유사성 판정 기술 동향  [발표자료]
    프로그램 감정기법 개선 세미나, 한국소프트웨어감정평가학회, 2004.5.21
  • 웹어플리케이션 보안 취약점의 정적 분석
    국가보안기술연구소, 2004.3.7
  • 프로그램 분석 기술을 이용한 정보흐름의 보안
    LiComR2003, 송광사, 2003.8.20
  • 프로그램 분석 기술을 이용한 정보흐름의 보안
    NetSec2003, 인터컨티넨탈호텔, 2003.4.16
  • 스마트카드
    오피니언 리더를 위한 정보기술 세미나, 아카데미하우스, 2002.11.22
  • Analysis of secure information-flow in action by abstract interpretation,
    정형증명연구워크숍, 동양대, 영주, 2002.08.07-09
  • 프로그래밍언어 기술과 프로그래밍 교육
    대학소프트웨어교육강화워크숍, 낙산비치호텔, 2002.7.16
  • Action Semantics의 이론과 실제
    동국대학교, 1999.3.12
  • 의미구조의 모듈화 향상을 위한 기법
    한국정보과학회 프로그래밍언어연구회 동계워크샵: 한국 프로그래밍언어 관련 연구의 현재, 1999.2.22-23
  • 전자화폐의 유통시스템 모델
    1998년도 전자계산연구회 단기강좌: 전자상거래 및 전자화폐 최신 기술 동향, 대한전자공학회 전자계산연구회, 1998.7.3
  • 전자화폐
    KRNet'98: 6th Computer Networking Conference, 한국전산원, 1998.6.30-7.2
  • 이상적인 프로그래밍언어 교육 모델
    SIGPLED'98: 프로그래밍언어 교육 현황 및 개선 방향, 한국정보과학회 프로그래밍언어연구회 하계워크샵, 1998.6.29-30
  • 정보사회와 소비자
    소비자 대학, 소비자문제를 연구하는 시민의 모임 안산지부, 1998.5.8
  • 전자화폐의 유통시스템 모델
    98년도 전자화폐 워크샵, 한국정보통신진흥협회, 1998.4.8
  • Partial evaluation and automatic program transformation
    프로그래밍언어연구회 정기총회 및 학술대회, 홍익대학교, 1996.11
  • Partial evaluation and action semantics processing
    과학기술원, 1996.3.11
  • Partial evaluation and action semantics processing
    ETRI, 1996.2.7
  • Action semantics: a tool for developing programming languagesㅊ
    포항공대, 과학기술원, 1993.10
  • Extraction of strong typing laws from semantics definitions
    과학기술원, 충남대, 포항공대, 1992.3

국제 학술대회 참가

    [참가] MMSEC 2009, Princeton, New Jersey, U.S.A., Sep 7~8, 2009
  • POPL, Nice, France, January 17~19, 2007
  • VMCAI, Nice, France, January 14~16, 2007
  • APLAS, Sydney, Australia, November 8~10, 2006
  • SAS, Seoul, Korea, August 29~31, 2006
  • Summer School on Reliable Computing, University of Oregon, Eugene, Oregon, July 20~29, 2005
  • Summer School on Software Security: Theory to Practice, University of Oregon, Eugene, Oregon, June 17~25, 2004
  • APLAS, Beijing, China, November 27~29, 2003
  • APLAS, Shanghai, China, 2002
  • APLAS, Daejeon, Korea, 2001
  • LDTA, Genova, Italy, April 7, 2001
  • ETAPS, Genova, Italy, April 2001
  • WAS, Amsterdam, Netherland, March 21, 1999
  • ETAPS, Amsterdam, Netherland, March 1999
  • POPL, Paris, France, January 1997
  • Partial Evaluation, Dagstuhl Castle, Germany, February 1996
  • PEPM, La Jolla, California, U.S.A., June 1995
  • TACS, Sendai, Japan, April 1994
  • ESOP/CAAP, Edinburgh, Scotland, April 1994
  • IWAS, Edinburgh, Scotland, April 1994
  • Computers as our Better Partners, Tokyo, Japan, March 1994
  • Object Technologies for Advanced Software, Kanazawa, Japan, November 1993
  • InfoScience, Seoul, Korea, October 1993
  • ESOP/CAAP, Rennes, France, February 1992
  • MFPS, Pitsburg, Pennsylvania, U.S.A., March, 1991
  • MFPS, Boulder, Colorado, U.S.A., 1990.

국내 학술대회 참가

  • 정보과학회 춘계/추계학술대회
  • 정보과학회 프로그래밍언어연구회 학술대회/여름학교/겨울학교/세미나
  • 정보보호학회 학술대회/워크숍
  • 정보보호학회 소프트웨어보안연구회 워크숍
  • 소프트웨어감정평가학회 학술대회/워크숍