|
  |
The 10th ROSAEC Center Workshop
| Speaker: | ROSAEC members |
|---|---|
| Period: | 2014-01-13 15:00 ~ 2014-01-16 12:00 |
| Place: | Paju Jijihang, Gyeonggi-do, KOREA |
Photos
new window
Program
Day 1 : January 13, 2014
Session1 : 15:40 - 16:30
Workshop 개회식
Kwangkeun Yi, Seoul National University
자연적인 확률, 확률적인 자연
Jihun Kim, Seoul National University [slide]
Session2 : 17:00 - 18:00
프로그램으로 기술된 확률모델의 결과로부터 원인 추론하기
Chung-Kil Hur, Seoul National University [slide]
정적 분석의 정확도 선별적 향상 기법
Hakjoo Oh, Seoul National University [slide]
Day 2 : January 14, 2014
Session1 : 9:00 - 10:00
Towards a Big Data Operating System
Byung Gon Chun, Seoul National University [slide]
Session2 : 10:30 - 11:00
자바 언어에 정확한 타입을 추가한 ThisJava 소개
Sukyoung Ryu, KAIST [slide]
Session3 : 11:30 - 11:55
가상머신 난독화 코드의 정적분석
Youngseok Lee, Seoul National University [slide]
Crowdsourcing을 이용한 안드로이드 플랫폼 라이브러리 분석
Jisoon Park, Seoul National University[slide]
실제 자바스크립트 웹 어플리케이션에서 정적으로 결함을 검출하는 프레임워크
Chaghee Park, KAIST [slide]
선별적으로 문맥을 구분하고 변수를 관계짓는 프로그램 분석
Kihong Heo, Seoul National University [slide]
LLVM 컴파일러의 최적화 단계에 대한 검증된 검산기
Joonwon Choi, Seoul National University [slide]
Session4 : 13:00 - 14:00
요약파서와 응용
Hyunha Kim, Hanyang University [slide]
SparrowBerry: Sparrow의 분석 결과를 검산하고 검산 성질 검증하기
Jeehoon Kang, Seoul National University [slide]
Session5 : 14:30 - 15:30
JSica: 타이젠 앱 개인정보 누출 분석기
DongOk Kang, Seoul National University [slide]
Hadoop MapReduce 기틀 재설계
Dongwon Kim, POSTECH[slide]
Session6 : 16:00 - 17:00
뮤즈 (MUSE): 프로그램의 수많은 돌연변이들을 활용한 버그 위치 추정 기법
Moonju Kim, KAIST [slide]
Homotopy type theory 소개
Lee Gyesik, hankyong University [slide]
Session7 : 17:30 - 18:30
일반적인 게임 인공지능을 위한 인공지능 제작
Chanjoo Jung, Seoul National University [slide]
Codemind Privacy
Wookse Lee, Codemind [slide]
Day 3 : January 15, 2014
Session1 : 9:00 - 10:00
Conbol : industry project에 concolic test적용
Teaksu Kim, SAMSUNG [slide]
Svace : static anaysis tool 개발 및 적용
Yuli Kim, SAMSUNG [slide]
Session2 : 10:30 - 11:00
부합 분석에서 오토마타를 이용한 분석값 표현법
Sewon Kim, KAIST [slide]
Session3 : 11:30 - 11:55
하드웨어 기반 실행시간 정보 흐름 제어
Hyeonggon Moon, Seoul National University [slide]
하이퍼바이저 기반의 보안과 실행시간 흐름제어
Yeongpil Jo, Seoul National University [slide]
비밀프로그램 정적 분석
Wooseok Lee, Seoul National University [slide]
자바스크립트 프로그램의 동시성 오류 검출 기법
Yongbae Park, KAIST [slide]
바이너리에서 코드 영역을 복원해 내는 정적 분석
Sol Kim, Seoul National University [slide]
Session4 : 13:00 - 14:00
복합적인 동시성 커버리지를 활용한 효과적인 동시성 프로그램 테스팅 기법
in Hong, KAIST [slide]
마법봉 연산자를 포함한 분리 논리 증명체계
Seongu Park, POSTECH [slide]
Session5 : 14:30 - 15:25
ScanDal:안드로이드 앱 개인정보 누출 정적분석기
Yongho Yoon, Seoul National University [slide]
최적화된 분석기를 위한 검산기의 자동생성
Sungkeun Cho, Seoul National University [slide]
SAFEWapp:자바스크립트 웹 앱을 위한 Web API 오용 검출기
Seonggyeong Bae, KAIST [slide]
마법봉 연산자를 포함한 분리 논리 증명기 개발
Wonyeol Lee, POSTECH [slide]
자바스크립트 웹 어플리케이션의 동적 테인트 분석
JunYoung Park, KAIST [slide]
정적 함수 호출 제거를 통한 분석 시간 개선
Jinyoung Heo, Seoul National University [slide]
포스터 발표회 : 20:00 - 22:00
A Framework for Static Bug Detechtion in JavaScript Web Application in the wild
Changhee Park and Soonchul Won and Junho Jin, KAIST [slide]
Extending Bug Detector and improving Analysis Performance in SAFE
Soonchul Won, KAIST [slide]
Automatic JavaScript Bug-Detecting Framwork and Different Approaches to False Positive Minimization
Junho Jin, KAIST [slide]
Web API Misuse Detecting Framework and Different Approaches to False Positive Minimization
Sungkyung Bae, KAIST [slide]
Detecting Concurrency Errors in Client-side JavaScript Web Application
Yongbae Park, KAIST [slide]
선별적으로 정확도를 높이는 프로그램 분석
Hakjoo Oh and Kihong Heo, Seoul National University [slide]
Scandal: 안드로이드 앱 개인정보 누출 정적분석기
Yongho Yoon and Jin Yung Kim, Seoul National University [slide]
SparrowBerry: Sparrow의 분석 결과를 검산하고 검산 성질 검증하기
Sungkeun Cho and Jeehoon Kang and Joonwon Choi, Seoul National University [slide]
JSica: 타이젠 앱 개인정보 누출 분석기
Jeehoon Kang and Dongok Kang, Seoul National University [slide]
정적 함수 호출 제거를 통한 분석 시간 개선
Jin Yung Heo, Seoul National University [slide]
비밀분석
Woosuk Lee, Seoul National University [slide]
최적화된 분석기를 위한 검산기의 자동생성
Sungkeun Cho, Seoul National University [slide]
LLVM 컴파일러의 최적화 단계에 대한 검증된 검산기
Sungkeun Cho and Joonwon Choi and Jeehoon Kang, Seoul National University [slide]
Crowdsourcing을 이용한 안드로이드 플랫폼 라이브러리 정보 수집
Jisoon Park, Seoul National University [slide]
개인 개발자를 위한 오픈소스 비교확인 서비스 설계 및 시스템 구현
Sungha Choi, Hanyang University [slide]
A Proof System For Separation Logic with Magic Wand
Wonyeol Lee, POSTECH [slide]
Day 4 : January 16, 2014
Session1 : 9:00 - 10:30
뒷마당 : 워크샵 발표 프로그램 시상식
Sungwoo Park, POSTECH PL [slide]
폐회식 : 10:30 - 11:30
Workshop 폐회
Kwangkeun Yi, Seoul National University
This will be shown to users with no Flash or Javascript.