Tool seminars

08/24     학부 연구생 발표

      조은비(PLAS Lab.) - LLM 기반 MBA 역난독화의 Semantic Information 영향 분석

      김서웅(PLAS Lab.) - UEFISpear: Ghidra 기반 통합 UEFI DXE 취약점 분석기

      김홍국(λNTS Lab.) - LLDB로 LLVM-IR 수준의 런타임 정보 얻어보기

      최호정(λNTS Lab.) - 위성 소프트웨어 퍼징하기

      안지민(SECRET Lab.) - 오픈소스 라이브러리 버그헌팅 경험담

               장정원(SWSEC Lab.) - ELF 로더 및 바이너리 부석기의 강건성 검증을 위한 퍼즈 테스팅

06/02 안유진(λNTS Lab.) - ICST Student Valunteer 후기

                조인우(PLAS Lab.) - Opcode Sequence를 이용한 Transformer 기반 코드 난독화 기법 탐지

                한승균(SECRET Lab.) - Trust-V: Toward Secure and Reliable Storage for Trusted Execution Environments (ASPLOS'26)

02/09 김경민(λNTS Lab.) - Github Action Analysis

                김완주(PLAS Lab.) - 상용 가상화 난독화 코드에 대한 트레이스 기반 핸들러 분석 도구

                하태욱(SECRET Lab.) - 신뢰가능한 외부 TEE(라즈베리파이) 신호 기반 UAV 비행 제어기 비상 복구 실행 구조

11/04  김형석 교수님(SWSEC Lab.) - Sound Reassembly를 향한 여정: 도전과 시련, 그리고 기회

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

                정민경(λNTS Lab.) - Python 정적 타입분석

                조현지(SECRET Lab.) - iOS 환경에서의 Siri 포렌식 분석

07/22  박정필(PLAS Lab.) - WeBMO: WebAssembly Bitwise Memory Opreation Obfuscation

                김기훈(SECRET Lab.) - J2: Jailbreaking-to-Jailbreak

                백소연(λNTS Lab.) - 위성 소프트웨어 대상 정적 분석 도구 적용의 한계와 개선점

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

                안유진(λNTS Lab.) - 동적 리프터로 생성된 코드 단순화 하기

                노유정(PLAS Lab.) - 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.)