ROSAEC center Seoul National University
NRF
Speaker:ROSAEC members
Period:2014-07-28 16:00 ~ 2014-07-31 10:30
Place:Dongwha Leadership Center, Gyeonggi-do, KOREA

Photos

new window

Program

Day 1 : July 28, 2014

Session1 : 16:40 - 18:00

Workshop 개회식
Kwangkeun Yi, Seoul National University
번역의 탄생 - 우리말 글쓰기
Sungwoo Park, POSTECH [slide]
동시성 메모리 모델
Jeehoon Kang, Seoul National University [slide]

Day 2 : July 29, 2014

Session1 : 9:30 - 10:30

대형 프로그램을 안전하고 정확하게 분석하기
Hakjoo Oh, Seoul National University [slide]
SAFE_WAPI: 웹 앱을 위한 Web API 오용 검출기
Sungkyung Bae, KAIST [slide]

Session2 : 11:00 - 11:40

Analyzing ARM Native Code for Tracking Information Flow
Woo-Yeon Lee, Seoul National University [slide]
가상머신 기반 난독화 바이너리의 동적 분석
Sungho Lee, KAIST [slide]
정적 분석을 이용한 자바스크립트 concolic 테스팅
Sora Bae, KAIST [slide]
난독화와 API 사용을 이겨내는 안드로이드 앱 정적 분석을 향해
Jinyung Kim, Seoul National University [slide]
정적분석의 와이드닝을 조금 더 똑똑하게 하기
Sol Kim, Seoul National University [slide]
Java 프로그램을 위한 돌연변이 기반 오류 추적 시스템: JMuse
KwangHeum Yeon, KAIST [slide]
보안취약점 탐지도구 평가를 위한 기준 지표 자료집 구축
Jung-Wook Oh, Hanyang University [slide]
그래프 탐색의 병렬화
SeongJung Kang, GIST [slide]

Session3 : 13:30 - 14:30

개인정보 유출 동적 감지
Oukseh Lee, Codeminds [slide]
머신러닝 프로그램 테스팅 하기
Jihun Kim, Seoul National University[slide]

Session4 : 15:00 - 16:00

Search Strategies in Dynamic Symbolic Execution
Hyunmin Seo, HKUST [slide]
LLVM 컴파일러의 최적화 단계에 대한 검증된 검산기
Sungkeun Cho, Seoul National University [slide]

Session5 : 16:30 - 17:30

안드로이드 악성앱 정적 분석기
Yongho Yoon, Seoul National University [slide]
분리논리 자동증명기 구현
Sungwoo Park, POSTECH [slide]

Day 3 : July 30, 2014

Session1 : 9:30 - 10:30

빠르고 정확한 관계분석
Kihong Heo, Seoul National University [slide]
Concolic 테스팅을 통한 인터럽트 기반의 내장형 SW 테스팅
Moonzoo Kim, KAIST

Session2 : 11:00 - 11:45

SMT Solver를 활용한 알람 클러스터링
Dongok Kang, Seoul National University [slide]
이벤트 순서를 고려한 웹애플리케이션 정적 분석
Kwangwon Sun, KAIST [slide]
웹 어플리케이션의 소스 코드 수준 성능 최적화
Joon-young Park, KAIST [slide]
Typescript를 이용한 자바스크립트 API의 사용 오류 검출
Jihyeok Park, KAIST [slide]
컴파일러 버그박멸단
Jeehoon Kang, Seoul National University [slide]
PL/SQL 변경 영향 분석기
Yongki Kim, Seoul National University [slide]
확률적 프로그래밍 추론 엔진의 성능 개선 연구
Yoonseung Kim, Seoul National University [slide]
Porting Jikes RVM to Linux running on IA64
Bongsuk Ko, GIST [slide]
C 프로그램을 위한 동시성 커버리지 측정 기법
Jiyoung Song, KAIST [slide]

Session3 : 13:30 - 15:00

정적분석 진행율 예측하기
Woosuk Lee, Seoul National University [slide]
K12 - 계산 입문
Sungwoo Park, POSTECH [slide]
삼성전자 Software Engineering Lab 소개
Yoonkyu Jang, SAMSUNG
Fasoo.com 소개
Yungbum Jung, Fasoo.com [slide]

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

Typescript를 이용한 자바스크립트 API의 사용 오류 검출
Jihyeok Park, KAIST [slide]
DB 스키마 재구성을 이용한 질의문 정적 검사
Sohee Jo, Hanyang University [slide]
지식베이스를 이용한 보안취약점 정적탐지
Sung-Moon Hong, Hanyang University [slide]
SMT Solver를 활용한 알람 클러스터링
Dongok Kang, Seoul National University [slide]
컴파일러 버그박멸단
Jeehoon Kang, Seoul National University [slide]
PL/SQL 변경 영향 분석기
Yongki Kim, Seoul National University [slide]
안드로이드 악성앱 정적 분석기
Yongho Yoon, Seoul National University [slide]
빠르고 정확한 관계분석
Kihong Heo, Seoul National University [slide]
정적분석 진행율 예측하기
Woosuk Lee, Seoul National University [slide]
대형 프로그램을 안전하고 정확하게 분석하기
Hakjoo Oh, Seoul National University [slide]
두 아키텍쳐간 가비지컬렉션 성능 분석
Yong Uk Lee, GIST [slide]
Profiling Call Graph and Correction Algorithm
Jin-woo Oh, GIST [slide]
Analyzing ARM Native Code for Tracking Information Flow
Woo-Yeon Lee, Seoul National University [slide]


Day 4 : July 31, 2014

Session1 : 9:30 - 10:30

뒷마당 : 워크샵 발표 프로그램 시상식
Sungwoo Park, POSTECH

폐회식 : 10:30 - 11:30

Workshop 폐회
Kwangkeun Yi, Seoul National University




© Copyright 2008-2010 ROSAEC Center, Seoul National University