ROSAEC center Seoul National University
NRF
Speaker:ROSAEC members
Period:2015-01-26 16:00 ~ 2015-01-29 10:30
Place:Dongwha Leadership Center, Gyeonggi-do, KOREA

Photos

new window

Program

Day 1 : January 26, 2015

Session1 : 16:40 - 18:00

Workshop 개회식
이광근, Seoul National University
C언어를 반석 위에
허충길, Seoul National University [slide]
공학도를 위한 Technical Writing
박성우, POSTECH [slide]

Day 2 : January 27, 2015

Session1 : 9:00 - 10:30

머신러닝을 이용한 선별적 프로그램 분석
오학주, Seoul National University [slide]
루프 민감 분석을 통한 자바스크립트 정적 분석 성능 및 정확도 올리기
박창희, KAIST [slide]
정적분석 결과를 이용한 안드로이드 악성앱 분석을 향해
김진영, Seoul National University [slide]

Session2 : 11:00 - 12:00

확률추론에 기반한 데이터 분석과 그 예제
김지훈, Seoul National University [slide]
불완전한 타입 정보를 어떻게 완성시킬 것인가?
김규탁, KAIST [slide]
반도체 생산 제어 코드를 고칠 때 영향 받는 곳을 SMT Solver로 더 정확히 분석하기
김용기, Seoul National University [slide]
달콤쌉싸름한 ADB
이성호, KAIST [slide]
정적 분석에 기반한 난독화 기술 평가
박지순, Seoul National University [slide]
바이너리 실행 파일의 버퍼 오버런 분석기
최재승, Seoul National University [slide]

Session3 : 13:00 - 14:00

분석기/검산기의 자동 생성기
조성근, Seoul National University [slide]
정수와 포인터간 변환을 지원하는 메모리 모델
강지훈, Seoul National University[slide]

Session4 : 14:30 - 15:40

Type Classes in Coq
이계식, Hankyong National University [slide]
자동화된 Concolic 유닛 테스팅에서 거짓 경보 감소 기법
김문주, KAIST
Middleware verification for safety-critical system
김철기, Korea Aerospace University [slide]

Session5 : 16:00 - 16:35

다양한 프로그래밍 언어로 작성된 프로그램의 오류 추적 기법
곽태훈, KAIST [slide]
분석 대상을 조절해서 빠르고 안전하게 분석하는 방법
이홍기, KAIST[slide]
이진 탐색을 이용하여 정교한 분석에 효율 더하기
김솔, Seoul National University [slide]
웹 기반 프로그램 시각화 도구
최민영, Hanyang University [slide]
확률적 프로그램의 샘플링 수를 줄이는 최적화 과정 디자인
김윤승, Seoul National University [slide]
안드로이드 프로그램 시스템 연구
최광훈, Yonsei University [slide]
MR3
박성우, POSTECH

Panel : 17:00 - 18:00

뛰어난 프로그래밍 능력이란?
진행 박성우 [slide]

Day 3 : January 28, 2015

Session1 : 9:00 - 10:30

다양한 모델링을 조화롭게 사용하여 자바스크립트 웹 앱을 정적으로 분석하기
배성경/박지혁, KAIST [slide]
CompCert로 따로따로 컴파일한 뒤 링킹하기
강지훈, Seoul National University [slide]
음악과 강의
도경구, Hanyang University [slide]

Session2 : 10:55 - 12:00

커버리지 기반 동시성 프로그램 테스팅
홍신, KAIST [slide]
내장형 소프트웨어를 위한 모델 검증 기법
김태진, KAIST [slide]
정적 분석을 활용한 자바스크립트 프로그램의 concolic 테스팅
박준영, KAIST [slide]
이벤트 발생 문맥에 민감한 효과적이고 안전한 분석 방법
류연희, KAIST [slide]
안드로이드 자바와 자바스크립트의 상호작용을 고려한 웹 앱 분석
이성호, KAIST [slide]
비밀 프로그램 정적분석
이우석, Seoul National University [slide]
정적 분석의 안전성을 체계적으로 조절하여 정확도를 높이는 방법
허기홍, Seoul National University [slide]
LLVM 컴파일러의 Alias 분석 검산하기
윤용호, Seoul National University [slide]

Session3 : 13:00 - 14:00

Tang: Dependency Injection for Distributed Systems
이계원, Seoul National University
정적인 CIAO 취약점 검사방법 연구
김현하, Hanyang University [slide]

Session4 : 14:30 - 15:30

Automatic Computation Offload for Native Applications
김한준, POSTECH
Hardware-Assisted System Security
백윤흥, Seoul National University [slide]

Panel : 16:00 - 18:00

소프트웨어무결점센터 7년 / 이후 이야기
발표/진행: 이광근, Seoul National University [slide]

포스터 발표회 : 20:00 - 22:00

분석 대상을 조절해서 빠르고 안전하게 분석하는 방법
고윤석/이홍기, KAIST [slide]
다양한 모델링을 조화롭게 사용하여 자바스크립트 웹 앱을 정적으로 분석하기
배성경/박지혁, KAIST [slide]
이벤트 발생 문맥에 민감한 효과적이고 안전한 분석 방법
고윤석/이성호/류연희, KAIST [slide]
정적 분석을 활용한 자바스크립트 프로그램의 concolic 테스팅
박준영/배소라, KAIST [slide]
비밀 프로그램 정적분석
이우석, Seoul National University [slide]
정적 분석의 안전성을 체계적으로 조절하여 정확도를 높이는 방법
허기홍, Seoul National University [slide]
분석기/검산기의 자동 생성기
강동옥, Seoul National University [slide]
C언어의 재탄생: 믿고 쓰는 C언어 환경 만들기
윤용호, Seoul National University [slide]
이진 탐색을 이용하여 정교한 분석에 효율 더하기
김솔, Seoul National University [slide]
테스트 코드 돌연변이로 정적분석 허위경보 줄이기
박현우, Hanyang University [slide]
CompCert로 따로따로 컴파일한 뒤 링킹하기
강지훈, Seoul National University [slide]
정적 분석에 기반한 난독화 기술 평가
박지순, Seoul National University [slide]
바이너리 실행 파일의 버퍼 오버런 분석기
최재승, Seoul National University [slide]
Analyzing ARM Native Code for Tracking Information Flow
이우연, Seoul National University [slide]
자동화된 Concolic 유닛 테스팅에서 거짓 경보 감소 기법
김문주, KAIST
커버리지 기반 동시성 프로그램 테스팅
홍신, KAIST [slide]


Day 4 : January 29, 2015

Session1 : 10:00 - 10:30

뒷마당 : 워크샵 발표 프로그램 시상식
박성우, POSTECH

폐회식 : 10:30 - 11:30

Workshop 폐회
이광근, Seoul National University




© Copyright 2008-2010 ROSAEC Center, Seoul National University