Tool seminars

11/04  김형석 - Sound Reassembly를 향한 여정: 도전과 시련, 그리고 기회

                안상준 - VMCore: 가상화 난독화된 바이너리 프로그램에서 핵심구조를 찾는 도구 개발(Swify)

                정민경 - Python 정적 타입분석

                조현지 - iOS 환경에서의 Siri 포렌식 분석

07/22  박정필 - WeBMO: WebAssembly Bitwise Memory Opreation Obfuscation

                김기훈 - J2: Jailbreaking-to-Jailbreak

                백소연 - 

03/18  한승균 - 시스템 보안 논문 소개 및 리뷰 결과 분석

                안유진 - 동적 리프터로 생성된 코드 단순화 하기

                노유정 - CMU 에서 살아남기

11/8 LLVM 기반 보안 솔루션 기술현황 (최정필, NSHC Inc. LLVM 연구소)

8/9 Symbolic execution을 이용한 테스트 케이스 자동 생성 (김영철, 슈어소프트테크)

11/6 Efficient pointer extension for spatial memory safety support without hardware extension (목성균, 한국재료연구원)

9/ 11 FullSpeedFuzzing : TrapFuzz (양동균, SECRET Lab)

7/5 LLVM을 활용한 난독화 코드 분석 (백소연, λNTS Lab.)

5/10 OpenAI ChatGPT (김정우, 이석수, PLAS Lab.)

3/15 동시성 프로그램은 언제 메모리를 해제할 수 있는가? by Prof. Jeehoon Kang (KAIST)

2/16 MyTEE: Own the Trusted Execution Environment on Embedded Devices,  NDSS'23  presentation practice (한승균, SECRET Lab.) 

1/19 Egg: e-graphs good (이석수, PLAS Lab.) 

12/8

11/3 Attention-Based Cross-Modal CNN Using Non-Disassembled Files for Malware Classification  (김정우, PLAS Lab.)?

9/15 The LLVM Pass Framework (백소연, λNTS Lab.) 

8/18 취약점 분석과 Fuzzing Xpdf (진건승, SECRET Lab.) 

7/28 Various research topics and status (SECRET Lab.) 

6/28 바이너리 파일 분석 도구 BinNavi 소개 (목성균, PLAS Lab.)

5/10 리버스엔지니어링 도구  Mi-asm 소개 (강서연, PLAS Lab.)

3/29 Infer static analyzer (이성호교수님, λNTS Lab.)