ROPAS

Yongho Yoon ()

Ph.D., ROPAS Lab., Dept. of Computer Science and Engineering, Seoul National University

Principal Researcher & Developer, SAST/SAQT, Sparrow Co., Ltd.

Contact

E-mail:

yhyoon _at_ ropas dot snu dot ac dot kr
yoony _at_ sparrowfasoo dot com

Phone: +82-2-300-9239

Research Interest

Static Analysis, Abstract Interpretation, Security, Synthesis, Compiler, Formal Verification

Education & Work

• Sep. 2016 - Now, SW Research Engineer, Working on Sparrow SAST/SAQT, Sparrow Co., Ltd.
• Sep. 2013 - Aug. 2016, Sep. 2021 - Feb. 2024, Ph.D., Programming Research Laboratory, Computer Science and Engineering, Seoul National University
• Mar. 2011 - Aug. 2013, M.S., Programming Research Laboratory, Computer Science and Engineering, Seoul National University
• Mar. 2007 - Feb. 2011, B.S., School of Electrical Engineering, Seoul National University

Teaching

• Mar. 2014 - Jun. 2014, Teaching Assistant, Program Analysis:Theories and Practices(프로그램분석)
• Sep. 2012 - Dec. 2012, Teaching Assistant, Computational Civilization(컴퓨터과학이 여는 세계)
• Sep. 2011 - Dec. 2011, Teaching Assistant, Programming Languages(프로그래밍언어)
• Mar. 2011 - Jun. 2011, Teaching Assistant, Program Analysis:Theories and Practices(프로그램분석)

International Publications

• Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
  Yongho Yoon, Woosuk Lee, Kwangkeun Yi
  PLDI 2023: The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
  [doi] [paper] [talk(23MB)]

• SCANDAL: Static Analyzer for Detecting Privacy Leaks in Android Applications
  Jinyung Kim, Yongho Yoon, Kwangkeun Yi
  MoST 2012: Mobile Security Technologies 2012, a part of the IEEE Computer Society Security and Privacy Workshops
  [pdf]

Projects

• ScanDal: Static Analyzer for Detecting Privacy Leaks in Android Applications

• Simba: Synthesis from Inductive specification eMpowered by Bidirectional Abstract interpretation

Domestic Publications(국내 발표 논문)[Korean]

• 의미 기반 정적 분석과 규칙 명세 언어를 활용한 C/C++ 프로그램 보안 취약점 검출
  윤용호, 진민식, 정영범, 이규호, 김희동
  한국정보과학회, 정보과학회 컴퓨팅의 실제 논문지, 제25권 제10호
  
• API 실행 의미 인코딩을 통한 안드로이드 어플리케이션 정적 분석 성능 향상
  윤용호, 김진영, 이광근
  한국정보과학회 한국컴퓨터종합학술대회, 2014.06
  
• 안드로이드 앱의 정적 분석에서 가상 함수 호출을 정밀하게 분석하는 방법
  윤용호, 김진영, 이광근
  한국정보과학회 한국컴퓨터종합학술대회, 2013.06
  
• 인기 안드로이드 어플리케이션들의 메소드 호출에 대한 연구
  윤용호, 김진영, 이승중, 이광근
  한국정보과학회 추계학술발표회, 2012.11
  
• 안드로이드 어플리케이션의 불필요한 코드를 찾는 방법
  윤용호, 김진영, 이광근
  한국정보과학회 한국컴퓨터종합학술대회, 2012.06
  

Miscellaneous

• 슬라이스 타입과 제어 흐름 정보를 이용한 H.264/AVC 인코더의 클럭 게이팅
  Clock Gating Using Slice Type and Control Flow Information for an H.264/AVC Encoder
  김덕수, 이효준, 윤용호, 이채은, 김현
  대한전자공학회 하계종합학술대회, 2010.06
  
• 하드웨어 기반 H.264/AVC 부호기의 인트라 예측 스킵 알고리즘
  Intra Prediction Skip Decision for a Hardware-Based H.264/AVC Encoder
  이효준, 윤용호, 김현, 이채은, 이혁재
  대한전자공학회 하계종합학술대회, 2010.06