26th Tue. 

• Kaist Security Fair 전파 세미나 (이석수)

• 리버스 엔지니어링 바이블 - DLL 분석 (조인우)

14th Tur. 

• Cursor AI  (박정필)

• Slotted E-Graph 1 (이석수)

12th Tue. 

• zotero (노유정)

7th Tur. 

• 리버스 엔지니어링 바이블 chap 1, 2, 3 (조인우)

• progress report BERT + PalmTree 적용 (박혜연)

31th Tur. 

• Chosen-Instruction Attack gainst Commercial Code Virtualization Obfuscators (김완주)

29th  Tue. 

• 리버스엔지니어링바이블 chap 23 난독화와 더미 코드 (안상준)

23th Wed. 

• Notepad Dll injection (안상준)

• BINSEC, COMPSAC 전파 세미나 (김완주)

22th Tue. 

• Causality (박혜연)

18th Fri. 

• PLDI 전파 세미나 (이석수)

• 툴세미나 준비 (박정필)

15th Tue. 

• Machine Learning Classification of Obfuscationusing Image Visualization (노유정)

10th Tur. 

• Binary Code Representation With Well-Balanced Instruction Normalization (박혜연)

• BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval (노유정)

1st Tue. 

• COMPSAC 발표 준비: An Enhanced Approach for Detecting Complex Opaque Predicates (이석수)

• COMPSAC 발표 준비: A Lightweight Classifier for Identifying Obfuscation Methods for IoT Devices (김완주)

27th Fri. 

• COMPSAC 발표 준비: A Lightweight Classifier for Identifying Obfuscation Methods for IoT Devices (김완주)

• COMPSAC 발표 준비: An Enhanced Approach for Detecting Complex Opaque Predicates (이석수)

5th Tur. 

• 리버스엔지니어링 바이블 chap 22 (안상준)

20th Tue. 

• The Rust Programming Language 5장 - 구조체 (이석수)

16th Fri. 

• 석사 졸업논문 디펜스 연습 (노유정)

• 리버스엔지니어링 바이블 chap 21 (안상준)

13th Tue. 

• Asm2Vec (박혜연)

• VMHunt: AVerifiable Approach to Partially-Virtualized Binary (김완주)

9th Fri. 

• WASMixer: Binary Obfuscation for WebAssembly 2 (박정필)

2nd Fri. 

• WASMixer: Binary Obfuscation for WebAssembly (박정필)

29th Tue. 

• PalmTree: Learning an Assembly Language Model for Instruction Embedding (노유정)

25th Fri. 

• Speculative Decoding (김정우)

18th Fri. 

• Code Obfuscation Against Symbolic Execution Attacks (김완주)

• The Rust Programming Language 4장 - 오너십 2 (이석수)

15th Tue. 

• The Rust Programming Language 4장 - 오너십 1(이석수)

11th Fri. 

• Loki: Hardening Code Obfuscation Against Automated Attacks (이석수)

4th Fri. 

• A Generic Approach to Automatic Deobfuscation of Executable Code 2 (김완주)

• 리버스엔지니어링 바이블 chap 12 (안상준)

1st Tue. 

• A Generic Approach to Automatic Deobfuscation of Executable Code (김완주)

28th Fri. 

• VMProtect Analysis (안상준)

25th Tue. 

• ByteWeight : Learning to Recognize Functions in Binary Code (박혜연)

• Large Language Models for Code Analysis: Do LLMs Really Do Their Job? (Part 2) (노유정)

21th Fri. 

• VMProtect 동작원리 분석 및 난독화 자동화 구현 (안상준)

18th Tue. 

• equational reasoning on x86 assembly code (김완주)

11th Tue. 

• Large Language Models for Code Analysis: Do LLMs Really Do Their Job? (Part 1) (노유정)

• ScraMBler 코드 리뷰 (이석수)

7th Fri. 

• WebAssembly and security A review_W01 (박정필)

• Automatic Reverse Engineering of Malware Emulater (김완주)

4th Teu. 

• ChatDEOB: An Effective Deobfuscation Method Based on Large Language Model (노유정)

• ScraMBler 1 (이석수)

28th Fri. 

• Can LLMs Obfuscate Code? (박혜연)

27th Tur. 

• 가상화 컨테이너 (전형창)

• Pin을 이용한 VMProtect 우회 (안상준)

19th Wed. 

• 리버스엔지니어링 바이블 chap11 한 단계 높은 안티 디버깅 (안상준)

• 리버스엔지니어링 바이블 8,9장 (김완주)

17th Mon. 

• X-MBA (이석수)

13th Tur. 

• 리버스엔지니어링 바이블 chap10 안티 디버깅 (안상준)

11th Teu. 

• Obfuscation & Deobfuscation (전형창)

• 홈커밍데이에 무엇을 먹을까요? (김완주)

6th Tur. 

• SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories 2 (이석수)

4th Teu. 

• 리버스엔지니어링 바이블 8장  (안상준)

• 가상화 기법으로 난독화된 실행 파일의 동적 분석 기법 (김완주)

23th Thu. 

• Progress Report (박정필)

• The Rust Programming Language 3장 (이석수)

21th Teu. 

• 리버스엔지니어링 바이블 6장 (안상준)

• SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories 1 (이석수)

14th Thu. 

• 리버스엔지니어링 바이블 5장 (안상준)

• WeBMO 소개  (박정필)

9th Thu. 

• 역난독화 관련 논문 실험 정리 (전형창)

• Speeding up SMT Solving via Compiler Optimization (이석수)

7th Teu. 

• O-LLVM  (김완주)

• Attention is All You Need (박혜연)

2nd Thu. 

• VMCANARY: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach  (박정필)

• PLAS wiki (김완주)

27th Fri. (Zoom)

• MBA Expressions (이석수)

• 동적 오염 분석을 이용한 가상화 기법으로 난독화된 바이너리 코드 분석 기법, 한양대 김성호 석사논문 (김완주)

5th Thu. 

• 리버싱 책 4장 - DLL (김완주)

25th Thu. 

• 석사 디펜스 연습 (전형창)

11th Thu. 

• SoK: Analysis Technique for WebAssembly  (박정필)

• Progress Report (전형창)

4th Thu. 

• AI 악성코드 분류 논문 재현 (김완주)

31th Thu. 

• Radare2 (이석수)

24th Thu. 

• CCS 참석 후기 세미나 (이석수)

• 리버싱 책 3장 세미나 (김완주)

17th Thu. 

• Progress Report - Memory Splitting 일부 구현 (박정필)

• 난독화 기법의 조합을 파악하는 Opcode 출현 빈도 기반 신경망, Journal of KIISE. Vol. 51., 노유정 et. al. (김완주)

10th Thu. 

• Progress Report - CCS Poster 준비 (이석수)

• Progress Report - Dynamic OP 결과, Tigress 옵션 정리 (전형창)

• 리버싱 책 1~2장 세미나 (김완주)

4th Fri. 

• Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis, OOPSLA'24, Benjamin Mariano, et. al (이석수)

• Progress Report (전형창)

• Progress Report (박정필)

27th Fri. 

• IoT 악성코드 분석, 테스팅 전파 교육(3) (이석수)

• Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis, OOPSLA'24, Benjamin Mariano, et. al(2) (전형창)

• Progress Report - WeBMO Memory Splitting 예시 wat 코드 비교 (박정필)

12th Thu. 

• IoT 악성코드 분석, 테스팅 전파 교육(2) (이석수)

• Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis, OOPSLA'24, Benjamin Mariano, et. al(1) (전형창)

• Progress Report (박정필)

5th Thu. 

• IoT 악성코드 분석, 테스팅 전파 교육(1) (이석수)

• Progress Report (전형창)

• Progress Report (박정필)

29th Thu. 

• Mirai Botnet & GoSearch22 (이석수)

• Progress Report - Invariant, Contextual, Dynamic Opacque Predicate 심볼릭 실행 예시 및 MSOPT 결과 분석 (전형창)

• Progress Report - Memory Splitting 적용 시, wat 코드 비교 (박정필)

14th Wed. 

• Progress Report (전형창)

• Progress Report (박정필)

8th Thu. 

• E-graph based MBA deobfuscation research interim presentation (이석수)

• GAMBA (노유정)

• Progress Report (전형창)

• Progress Report (박정필)

1st Thu. 

• RAG Tutorial (노유정)

• Progress Report (전형창)

• Progress Report (박정필)

26th Fri. 

• Progress Report (전형창)

• Progress Report (박정필)

• Progress Report (이석수)

19th Fri. 

• Progress Report (전형창)

• lalrpop 세미나 (박정필)

• Progress Report (이석수)

7th Fri. 

• Automatic Binary Deobfuscation, Journal in computer virology '10, Yolanda Guillot and Alexandre Gazet (전형창)

• SPORES: Sump-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra 2 (이석수)

30th Thu. 

• SPORES: Sump-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra 1 (이석수)

23th Thu. 

• Effectiveness of Synthesis in Concolic Deobfuscation, HAL open science '17,  Fabrizio Biondi et. al (전형창)

1st Wed. 

• 허깅 페이스 (노유정)

• Jump-oriented programming: a new class of code-reuse attack, the 6th ACM symposium, Bletsch, T., et.al (박정필)

18th Thu. 

• 허깅 페이스 (노유정)

• Progress Report_SRS (박정필)

11th Thu. 

• 허깅 페이스 (노유정)

• Progress Report_SRS (박정필)

4th Thu. 

• 허깅 페이스 (노유정)

• Progress Report_SRS (박정필)

28th Thu. 

• 허깅 페이스 (노유정)

• Progress Report (이석수)

• Progress Report_SRS (박정필)

• Progress Report_WS (전형창)

21th Thu. 

• Progress Report (노유정)

14th Thu. 

• Fuzz on the Beach: Fuzzing Solana Smart Contracts (이석수)

• Progress Report (노유정)

7th Thu. 

• An In-Depth Analysis of Disassembly on Full-Scale x86/x64 Binaries, USENIX Security 16, Andriesse et.al(2) (전형창)

28th Wed. 

• Everything old is new again: Binary security of WebAssembly, USENIX Security 20, Lehmann et. al(3) (박정필)

• An In-Depth Analysis of Disassembly on Full-Scale x86/x64 Binaries, USENIX Security 16, Andriesse et.al(1) (전형창)

22th Thu. 

• Code Virtualizer 난독화 도구 리뷰 및 Chosen Instruction Attack 논문 재현 (전형창)

• VMProtect 난독화 도구 리뷰 (박정필)

• Tigress 난독화 도구 리뷰 (노유정)

20th Tue. 

• 의미 기반 backward bounded symbolic analysis를 통한 Opaque Predicate 탐지 (이석수)

2nd Fri. 

• Zero Footprint Opaque Predicates: Synthesizing Opaque Predicates from Naturally Occurring Invariants, DIMVA 2021, Tung et. al (전형창)

• Progress Report (노유정)

17th Wed. 

• A heuristic approach to detect opaque predicates that disrupt static disassembly, BAR 2020, Tung et. al (전형창)

9th Tue. 

• Dynamic Opaque Predicate 탐지 방법 연구 (전형창)

• Everything old is new again: Binary security of {WebAssembly}, USENIX Security 20, Lehmann et. al(2) (박정필)

4th Thu. 

• Generalized dynamic opaque predicates: A new control flow obfuscation method, ISC 2016, Xu et. al(2) (전형창)

• Everything old is new again: Binary security of {WebAssembly}, USENIX Security 20, Lehmann et. al(1) (박정필)

• Impact of Sentence Representation Matching in Neural Machine Translation, Applied Sciences 2022, H jung, S Jung et. al (노유정)

2nd Tue. 

• Generalized dynamic opaque predicates: A new control flow obfuscation method, ISC 2016, Xu et. al(1) (전형창)

28th Thu. 

• Backward-bounded DSE: targeting infeasibility questions on obfuscated codes, IEEE Symposium on Security and Privacy 2017, Bardin et. al(2) (전형창)

• WebAssembly 세미나(2) (박정필)

21th Thu. 

• Backward-bounded DSE: targeting infeasibility questions on obfuscated codes,  IEEE Symposium on Security and Privacy 2017, Bardin et. al(1) (전형창)

14th Thu. 

• WebAssembly 세미나(1) (박정필)

23th Thu. 

• APSEC 2023 포스터 발표 연습 (전형창)

23th Thu. 

• BB-DSE_2 (전형창)

9th Thu. 

• Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구, 김영주 외, 한국정보과학회 가을 학술발표논문집, 2011 (박정필)

2nd Thu. 

• BB-DSE_1 (전형창)

• 심볼릭 실행(Symbolic Execution) 기반의 바이너리 코드 취약점 분석 자동화를 위한 도구, 박선녀 외, 한국정보과학회 학술발표논문집, 2017 (박정필)

26th Thu. 

• 바이너리 코드의 정적 동적 분석 통합 도구, 이석수 외, 한국정보과학회 학술발표논문집, 2017 (박정필)

29th Fri. 

• The Rust Programming Language - Chapter 2 - (이석수)

14th Thu. 

• LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code,  CCS'15 (전형창)-2

• Progress Report (박정필)

7th Thu. 

• LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code,  CCS'15 (전형창)-1

• Progress Report (박정필)

1st Fri. 

• The Rust Programming Language - Chapter 1 - (이석수)

18th Fri.

• Progress Report (이석수)

• Miasm 세미나 (박정필)

11th Fri.

• Progress Report (이석수)

• Python 세미나(2) (박정필)

4th Fri.

• Python 세미나(1) (박정필)

• Intel pin 세미나 (전형창)

28th Fri.

• Progress Report (이석수)

21th Fri.

• Progress Report (이석수)

14th Fri.

• Defeating MBA-based Obfuscation, SPRO'16 by N. Eyrolles et. al (이석수)

7th Fri.

• Boosting SMT Solver Performance on MBA(mixed-bitwise-arithmetic) Expressions, PLDI'21 by D. Xu et. al (이석수)

• SOPT 코드 분석 Progress Report (전형창)

• 바이너리 난독화 기법 탐지 연구의, coreutils 데이터 명령 코드 빈도 차이벡터 계산 Progress Report (노유정)

30th Fri.

• Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA, IEEE ESSP, WoRMA '23 by Benjamin Reichenwaller et. al (이석수)

16th Fri.

• Chosen-Instruction Attack Against Commercial Code Virtualization Obfuscators, NDSS'22 by S. Li et. al (이석수)

• Progress Report (노유정)

• Progress Report (전형창)

9th Fri.

• Chosen-Instruction Attack Against Commercial Code Virtualization Obfuscators, NDSS'22 by S. Li et. al (이석수)

• Progress Report (노유정)

• Progress Report (전형창)

26th Fri.

• 확률 모델을 이용한 프로그램 자동 생성 가속화, 한국정보과학회'19 by 이우석 (전형창)

• 쿠버네티스(김정우)

28th Fri.

• 악성코드 대응을 위한 딥러닝 기반 바이너리 코드 분석에 관한 연구 (김정우)

• CrashFilter/GhidREIL 구현 소개 (목성균)

21th Fri.

• Chosen-Instruction Attack Against Commercial Code Virtualization Obfuscators, NDSS'22 by S. Li et. al (이석수)

7th Fri.

• Multi-Label Classification (김정우)

• Image Classification PyTorch Example (노유정)

24th Fri.

• Integrating Reinforcement Learning and Skyline Computing for Adaptive Service Composition, Information Sciences 2020 by H. Wang, et  (최중현)

• 딥 뉴럴네트워크의 추론 (김정우)

• Feature Engineering Using File Layout for Malware Detection, ACSAC'19 poster J. Kim et. al  (노유정)

17th Fri.

• DMalNet: Dynamic malware analysis based on API feature engineering and graph learning (conts') (김정우)

• Automatic Reverse Engineering of Malware Emulators (전형창)

• VMHunt: A Verifiable Approach to Partially-Virtualized Binary Code Simplification (이석수)

10th Fri.

• DMalNet: Dynamic malware analysis based on API feature engineering and graph learning, Computers & Security 2022, C. Li et. al (김정우)

27th Mon.

• Ghidra API 요구 계획서 (목성균)

17th Fri.

• egg: Fast and Extensible Equality Saturation (conts') (이석수)

15th Wed.

• QSynth - A Program Synthesis based Approach for Binary Code Deobfuscation, BAR@NDSS'22, by R. David et. al (전형창)

10th Fri.

• Unsupervised malicious domain detection with less labeling effort, Computers & Security 2022, K. Park et. al ​ (김정우)

• Ghidra Plugin (노유정)

• egg: Fast and Extensible Equality Saturation, ACM POPL'21 by M. Willsey  et. al (이석수)

8th Wed.

• CNN based text classification-AN IMAGE IS WORTH 16x16 WORDS; TRANSFORMERS FOR IMAGE RECOGNITION AT SCALE, ICLR'21  by Google,  (김정우)

3rd Fri.

• 일잘러가 되고 싶다 (이석수)

• Rebyte, EVM 코드리뷰 (김지수)

27th Fri.

• 모델 정적 테스팅 방법 (이석수)

20th Fri.

• 바이너리 프로그램의 정적분석에서 메모리 분석 및 분석범위 확정을 통한 정교성 향상 (노유정)

13rd Fri.

• Azeroth: Auditable Zero-knowledge Transactions in Smart Contracts, IACR Cryptol. 2022, by G. Jeong  et. al (김지수)

18th Wed. 

• 리버스 엔지니어링 chap 4 DLL 분석 보강 (노유정)

• 리버스 엔지니어링 chap 5 PE 헤더 (PE Header) (전형창)

• Egg: e-graphs good 보강 (이석수)

12nd Thu.

• 리버스 엔지니어링 chap 4 DLL 분석 (노유정)

• 리버스 엔지니어링 chap 6 흔히 사용하는 패턴 (전형창)

11st Wed.

• Egg: e-graphs good (이석수)

• msynth, plasynth 코드 리뷰 (강서연)

6th Fri.

• 멀티모달 CNN기반의 악성코드 패밀리 분류 (wrap up) (김정우)

• Automated Crash Filtering for ARM Binary Programs, IEEE COMPSAC'15 by Eom et. al (노유정)

4th Wed.

• 본인 연구소개 (강서연)

• Smart contract, Solidity, Stone, Dystone (전형창)

• Dystone 연구소개 (조은선 교수님)

30th Fri.

• Tracer: Signature-based Static Analysis ​for Detecting Recurring Vulnerabilities (conts')​ ​ (김정우)

21st Wed.

• Tracer: Signature-based Static Analysis ​for Detecting Recurring Vulnerabilities (conts')​ (김정우)

14th Wed.

• Tracer: Signature-based Static Analysis ​for Detecting Recurring Vulnerabilities, ACM CCS'22 by W. Kang et. al​ (김정우)

7th Wed.

• 안정성 보장을 위한 결정 과정 - Intro and Basic Concepts (조은선 교수님)

• 리버스 엔지니어링 chap 2 C 문법과 디스어셈블링 (전형창)

2nd Fri.

• 기드라 세미나 - main 함수 분석, Import 함수 분석 (노유정)

30th Wed. 

• 리버스 엔지니어링 chap1 리버스 엔지니어링을 위한 어셈블리 (전형창)

• Analysis and Optimization - Dataflow Analysis (노유정)

18th Fri. 

• 효과적인 악성코드 분석을 위한 딥러닝기반의 바이너리 코드 분석 도구 (김정우)

• 디펜스 연습 (김정우)

• 디펜스 연습 (강서연)

16th Wed. 

• Rust (목성균)

• N-gram을 활용한 악성코드 분석 (전형창)

4th Fri. 

• 프로그램 합성 기반의 mba표현 역난독화 연구 (강서연)

2nd Wed. 

• 멀티모달학습기반의 악성코드 분류 (김정우)

• 악성코드의 종류 및 탐지 기법 (전형창)

29th Fri. 

• 디펜스 연습 (목성균)

14th Fri. 

• L4 포인터 실험 정리 (목성균)

• Program synthesis-based simplification of MBA obfuscated malware with restart strategies (CheckMate@ACM CCS'22) (강서연)

11st Wed. 

• Malware Classification using Early Stage Behavioral Analysis, AsiaJCIS'19 by N. Kumar (김정우)

7th Fri. 

• Survey of Studies based on Zkay for Smart Contract Privacy (김지수)

5th Wed. 

• transcending transcend: revisiting malware classification in the presence of concept drift​, S&P'22 by F.  Barbero et. al  (김정우)

• Program synthesis-based simplification of MBA obfuscated malware with restart strategies (강서연)

28th Wed. 

• Loki: Hardening Code Obfuscation Against Automated Attacks, UsenixSec'22 by M. Schloegel et. al (강서연)

24th Fri. 

• Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs, UsenixSec'22 by J Vadayath et. al (김지수)

21st Wed. 

• Rust 세미나 (목성균)

16th Fri. 

• 풀기 어려운 난독화 (조은선 교수님)

7th Wed. 

• Program synthesis-based simplification of MBA obfuscated malware with restart strategies 실험 결과 visualization (강서연)

2nd Fri. 

• Program synthesis-based simplification of MBA obfuscated malware with restart strategies (강서연)

12th Fri. 

• 난독화된 바이너리 슬라이싱 (Slicing Obfuscated Binary) (목성균)

10th Wed. 

• 기드라 세미나 (디스어셈블 코드, 디버깅, PE 포맷) (노유정)

5th Fri. 

• 엔트로피 이미지 표현기반의 임베딩 시스템을 ​통한 악성코드 패밀리 분류​ (ArcFace Loss)에서 임베딩 시스템 심화 (김정우)

29th Fri. 

• 엔트로피 이미지 표현기반의 임베딩 시스템을 ​통한 악성코드 패밀리 분류​ (ArcFace Loss)  (김정우) 

28th Thu. 

• 기드라 세미나 (노유정)

20th Wed. 

• Progress report (강서연)

• 최신 딥러닝+악성코드 관련 논문 세미나 (김정우)

22nd Wed.

• IEEE S&P'22 Workshop WOOT 전파 세미나 (일부 논문) (목성균)

16th Thu.

• IEEE S&P'22 전파 세미나 (일부 논문) (목성균)

10th Fri. 

• Progress report (김정우)

8th Wed. 

• Progress report (강서연)

3rd Fri. 

• Progress report (강서연)

27th Fri. 

• Progress report (강서연)

26th Thu. 

• (김지수)

20th Fri. 

• L4 (Long Long Long Long) Pointer to Prevent Buffer Overflow (목성균)

10th Tue. 

• 프로그램 분석 도구 세미나, Mi-asm (with 충남대 소프트웨어분석 연구실) (강서연) 

6th Fri. 

• Mi-asm (강서연)

29th Fri. 

• Poster: L4 (Long Long Long Long) Pointer to Prevent Buffer Overflow (목성균) 

27th Wed. 

• progress report (김정우)

26th Tue. 

• 역난독화 워크샵 (with 충남대 소프트웨어분석 연구실, 국가보안기술연구소)

22th Fri. 

• progress report (김정우)

• progress report (강서연)

• MBA Blast with multiple value bits : Discussion

20th Wed. 

• progress report (목성균)

18th Mon. 

• 스마트컨트랙트 개인정보보호 워크샵 (with 충남대 정보보호연구실)

13th Wed. 

• progress report (김정우)

• progress report (강서연) 

12th Tue. 

• 프로그램 분석 도구 세미나 (Infer from 충남대 소프트웨어분석 연구실)

8th Fri. 

• Apache MyBatis에 대한 조사 및 연구계획(최창원) 

• Progress Report (김지수)

• Progress Report (김정우)

• Progress Report (강서연)

25th Fri. 

• MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation." Liu, Binbin, et al., USENIX Security 21. 2021.  (강서연)

22nd Wed. 

• Entropy-graph Image 기반의  악성코드 패밀리 분류 progress report (김정우) 

7th Mon.

• 스마트컨트랙트 개인정보보호 워크샵 (with 충남대 정보보호연구실)

4th Fri.

• Entropy-graph Image기반의  악성코드 패밀리 분류 progress report(김정우) 

23rd Wed.

• ARM Memory Tagging Extension (목성균)

22nd Tue.

• 역난독화 워크샵 (with 충남대 소프트웨어분석 연구실, 국가보안기술연구소)

18th Fri.

• LLVM에서 가장 쉬운 code generation 방법 (노유정)

9th Wed. 

• 프로그램합성을 활용한 MBA 난독화 해제 통합 솔루션 poster (강서연)

• 명령코드히스토그램 기반의 난독화 기법 판별 poster (김정우)

7th Mon.

• 스마트컨트랙트 개인정보보호 세미나 (with 충남대 정보보호연구실)

4th Fri.

• Typescript Compiler Study (2) - AST, Binding (최창원)

28th Fri.

• Progress report (김지수) (planned)

21st Fri.

• Attention Mechanism (김정우) 

19th Wed. 

• Limitations of Works of Spatial Memory Safety (목성균)

14th Fri.

•  SolSaviour: A Defending Framwork for Deployed Defective Smart Contracts, Li, Zecheng, et al., Annual Computer Security Applications Conference (ACSAC 2021), 2021. (김지수)

• Discovery Go : Interface (정다현)

12th Wed.

• progreses report (김정우)

10th Mon.

• 스마트컨트랙트 개인정보보호 세미나 (with 충남대 정보보호연구실)

7th Fri.

• Discovery Go 5th (김지수)

• L4 포인터의 한계 (목성균 )

• progress report (강서연)

4th Tue.

• Software Deobfuscation Techniques, by Tim Blazytko (강서연)

31th Fri.

• Discovery Go 4th (정다현)

• Dynamic Taint Analysis versus Obfuscated Self-Checking. BANESCU, Sebastian, et al., Annual Computer Security Applications Conference(ACSAC). 2021. (양종환)

14th Tue.

• 프로그램합성을 활용한 MBA 표현 간소화 도구(강서연)

10th Fri.

• 악성코드 분류를 위한 Attention-based Crossmodal CNN (김정우)

3rd Fri.

• Discovery Go 3rd (김지수)

23rd Tue.

• Support for the safety of EVM bytecode via function-call interceptor (김지수)

16th Tue.

• 영지식 증명 (정다현)

12th Fri.

• 프로그램 합성을 활용한 MBA 표현 간소화 도구 (강서연) 

9th Tue.

• 악성코드 분류를 위한 어텐션기반의 크로스모달 Convolutional Neural Network (김정우) 

5th Fri.

• Discovery Go 1st (김지수)

19th Tue.

• NeuReduce (Reducing MBA Expressions by Recurrent Neural Network EMNLP'20) experimentation with trained tigress data set (김정우)

15th Fri.

• 영지식 증명 Study  seminar (정다현)

12th Tue.

• MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation, Usenix Sec'21 (양종환)

8th Fri.

• Stochastic superoptimization. SCHKUFZA, Eric; SHARMA, Rahul; AIKEN, Alex. ACM SIGARCH Computer Architecture News, 2013, 41.1: 305-316. (강서연)

5th Tue.

• 정적 분석을 통한 버퍼오버플로우 탐지 방안 제안 (목성균)

1st Fri.

• Image-based malware classification using section distribution information, Computers & Security, vol. 110, Elsevier 2021, (김정우)

24th Fri.

• ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems, Usenix Sec'21 (목성균) 

17th Fri.

• Stochastic superoptimization. SCHKUFZA, Eric; SHARMA, Rahul; AIKEN, Alex. ACM SIGARCH Computer Architecture News, 2013, 41.1: 305-316. (강서연)

14th Tue.

• {AURORA}: Statistical Crash Analysis for Automated Root Cause Explanation. BLAZYTKO, Tim, et al. In: 29th {USENIX} Security Symposium ({USENIX} Security 20). 2020. p. 235-252. (목성균)

13th Mon.

• Search-based Approaches for Local Black-Box Code Deobfuscation: Understand, Improve and Mitigate, Grégoire Menguy (CEA LIST); Sébastien Bardin; Richard Bonichon; Cauim de Souza Lima, ACM CCS 2021 (김정우)

10th Fri.

• Lottery Dapp 개발 (정다현)

31th Tue.

• EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts, Michael Rolder, Wenting Li, et al. , 30th {USENIX} Security Symposium ({USENIX} Security 21). 2021. (김지수) 

24th Tue.

• WISA 2021 후기 (김정우)

5th Thu.

• LOM: Lightweight classifier for obfuscation methods, WISA 2021  (김정우)

3rd Tue.

• LOM: Lightweight classifier for obfuscation methods, WISA 2021 (김정우)

29th Thu.

• Kafka seminar 16th (김지수)

22nd Thu.

• Kafka seminar 15th (김지수)

15th Thu.

• NeuReduce report (김정우) 

• Kafka seminar 14th (김지수)

12th Mon.

• Utilizing obfuscation information in deeplearning-based Android malware detection, IEEE COMPSAC 2021 (김정우) 

• progress report (강서연) 

6th Tue.

• Machine Learning Methods for Malware Detection, Kaspersky Lab. (김정우)

• progress report (강서연)

1st Thu.

• progress report (short) (강서연) 

• Path-Sensitive Sparse Analysis without Path Conditions, ACM PLDI'21 (목성균) 

• Kafka seminar 13th (김지수) 

29th Tue.

• Survivalism: Systematic Analysis of Windows Malware Living-Off-The-Land, IEEE S&P'21 (김정우)

• Rebyte : Support for the safety of EVM bytecode via function-call interceptor (김지수)

24th Thu.

• progress report  (강서연)

• Kafka seminar 12th (김지수)

22nd Tue.

• Effectiveness of synthesis in concolic deobfuscation, Computers & Security, Elsevier vol.70, pp500-515, Sept. 2017 (양종환)

17th Thu.

• Kafka seminar 11th (김지수)

10th Thu.

• NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis, IEEE S&P'21 (양종환)

8th Tue.

• DBB-DSE review (강서연) 

3rd Thu.

• Kafka seminar 10th (김지수) 

• 난독화 기법 판별을 위한 명령 코드 히스토그램기반의 신경망 (김정우) 

1st Tue.

• Deobfuscation: recovering an OLLVM-protected program, Quarsk Lab. (강서연)

27th Thu.

• Kafka seminar 9th (김지수)

25th Tue.

• Representation Learning (김정우)

• QSynth - A Program Sythesis based approach for Binary Code Deobfuscation by Robin David et. al, BAR at NDSS2020 (강서연)

18th Tue.

• 난독화 기법 판별을 위한 명령코드 히스토그램 (김정우)

12th Thu.

• Kafka seminar 8th (김지수)

11th Tue.

• Asm2Vec: Boosting Static Representation Robustness for Binary Clone Search against Code Obfuscation and Compiler Optimization, IEEE S&P'19  (김정우)

6th Thu.

• Kafka seminar 7th (김지수) 

4th Tue.

• VMProtect Devirtualization via Symbolic Execution 영상 정리, 티오리 (양종환) 

• Introduction to Program Synthesis  - lecture 4 (강서연) 

29th Thu.

• Kafka seminar 6th (김지수)

22nd Thu.

• 난독화 판별을 위한 명령 코드 히스토그램 기반의 신경망 (김정우) 

• Comparison of monitoring tools in Ethereum runtime (김지수) 

• Kafka seminar 5th (김지수) 

20th Tue.

• Finding Substitutable Binary Code By Synthesizing Adapters, IEEE Transactions on Software Engineering ( Volume: 47, Issue: 8, Aug. 1 2019 (양종환)

• ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection, Xinming Wang et al, 2019 IEEE Transactions on Services Computing - Part II(김지수)

15th Thu.

• kafka seminar - 4th (김지수)

13th Tue.

• Semantics-aware obfuscation scheme prediction for binary, Computers & Security no.99 vol. 6 Elsevier 2020 (김정우) 

• ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection, Xinming Wang et al, 2019 IEEE Transactions on Services Computing  - Part I(김지수) 

8th Thu.

• Finding Substitutable Binary Code By Synthesizing Adapters, IEEE Transactions on Software Engineering ( Volume: 47, Issue: 8, Aug. 1 2019 (양종환)

• kafka seminar - 3rd (김지수) 

• 난독화 분류기 progress report (김정우)

6th Tue.

• synthesis progress report (강서연) 

• 난독화 분류기 progress report (김정우)

1st Thu.

• kafka seminar - 2nd (김지수)

• 난독화 분류기 progress report (김정우) 

25th Thu.

• SODA: A Generic Online Detection Framework for Smart Contracts, by T. Chen et. al, NDSS 2020 - part II (김지수)

• kafka seminar - 1st (김지수)

• Introduction to Program Synthesis  - lecture 3 (강서연)

23rd Tue.

• Review Special Talk: Woosuk Lee (Hanyang Univ.), Introduction to Program Synthesis (ACM POPL 21 and etc.) (양종환)

18th Thu.

• SODA: A Generic Online Detection Framework for Smart Contracts, by T. Chen et. al, NDSS 2020 - part I(김지수) 

• Introduction to Program Synthesis - lecture 2 (강서연)

16th Tue.

• Monte Carlo Learning algorithms (양종환)

• Virtual Machine Obfuscation (강서연)

11th Thu.

• Introduction to Program Synthesis - lecture 1 (강서연)

• Progress report: Classifying Obfuscation scheme using CodeVector  (김정우)

9th Tue.

• AI-based Blackbox Code Deobfuscation Understand, Improve and Mitigate, by G. Menguy et. al, arXiv-2102.04805, 2021   - part II (양종환)

4th Thu.

• AI-based Blackbox Code Deobfuscation Understand, Improve and Mitigate, by G. Menguy et. al, arXiv-2102.04805, 2021  - part I  (양종환) 

2nd Tue.

• 예제로부터 명령형 프로그램을 합성하는 방법, 정보과학회 논문지 44( 9) by 소순범 외, 2017 (강서연)

• XDA: Accurate, Robust Disassembly with Transfer Learning, by  K. Pei et. al, NDSS 2021 (김정우)

18th Thu.

• Effective C++ study seminar : Item 11 (김지수) 

• Ocaml Tutorial (양종환)

• LALRPOP Parser generation tool-Tutorial (강서연) 

16th Tue.

• Learning the PE Header, Malware Detection with Minimal Domain Knowledge, by E. Raff, AISec '17 (김정우) 

9th Tue.

• NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network, by W. Feng et. al, EMNLP (Findings) 2020 (양종환)

4th Thu.

• Effective C++ study seminar : Item 10 (김정우) 

• Progress Report: Epsilon Pointer (목성균)

2nd Tue.

• Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting, by D. Lee et. al, PLDI'20 (양종환)

28th Thu.

•  Progress Report : Feauture Engineering using File Layout for Malware Detection (김정우)

26th Tue.

•  VMAttack : Deobfuscating Virtualization-Based Packed Binaries, ARES '17 by A. Kalysch et. al  (양종환)

• ARM 바이너리 코드에 대한 데이터흐름분석 방법, 정보과학회논문지, 41(5), 엄기진 외, 2014 - Part II (강서연)

21th Thu.

• MalFCS: An effective malware classification framework with automated feature extraction based on deep convolutional neural networks, Journal of Parallel and Distributed Computing, Volume 141, July - Review (김정우)

• EpsilonPointer-Progress Report (목성균)

• ARM 바이너리 코드에 대한 데이터흐름분석 방법, 엄기진 외, 정보과학회논문지, 41(5),엄기진 외,  2014 - Part I (강서연)

19th Tue.

• Progress report: 영지식 증명을 지원하는 스마트 컨트랙트 개발 프로그래밍언어 설계 (김지수)

14th Thu.

• Progress Report : Feature Engineering using file layout for Malware detection (김정우)

• Effective C++ study seminar : Item 9 (강서연)

12th Tue.

• Implementation and evaluation of smart contracts using a hybrid on- and off-blockchain architecture, Solaiman, E et.al, Concurrency and Computation Practice & Experience,33(5), Wiley,  2020 (김지수)

7th Thu.

• Progress Report: Undefined Section Classifier (김정우)

5th Tue.

• Gap between theory and practice: an empirical study of security patches in solidity, ICSE by S. Hwang et. al,  2020 - Part II (김지수) 

31th Thu.

• Progress report: 안드로이드 프레임워크 성능 향상  (김재현)

29th Tue.

• Gap between theory and practice: an empirical study of security patches in solidity, ICSE by S. Hwang et. al,  2020 - Part I (김지수) 

• MalFCS: An effective malware classification framework with automated feature extraction based on deep convolutional neural networks, Journal of Parallel and Distributed Computing, Volume 141, July 2020 (김정우) 

23rd Wed.

• Inves : Incremental Partitioning-based Verification for Graph Similarity Search ,J Kim et. al,EDBT 2019 (김종익 교수님)

17th Thu.

• Attacks on Ethereum Smart contract (김지수)

• Effective C++ study seminar : Item 8 (김정우)

14th Tue.

• Progress report: Undefined Section Classifier (김정우)

• Dataflow Analysis (강서연)

3rd Thu.

• LLVM Pass Tutorial (목성균)

• Effective C++ study seminar : Item 7 (김지수)

1st Tue.

• LIBRA 프로토콜과 합의 알고리즘 소개 (최창원)

• Progress report: Binary Obfuscator with avast/retdec  (강서연)

• Progress report: Feature Engineering using file layout for malware detection (김정우)

19th Tue.

• Progress report: Semantic aware backward bounded symbolic analysis for opaque predicate detection (양종환)

• LockedSheids and 사이버보안훈련 (장인숙)

17th Tue.

• Progress report: Feature Engineering Using File Layout for Malware Detection  (김정우)

10th Tue.

• Web Assembly & Ethereum 2.0 (이수연)

6th Fri.

• Web Assembly (이수연)

5th Thu.

• Effective C++ study seminar : item 5, 6 (김정우)

3rd Tue.

• Compositional Information Flow Analysis for WebAssembly Programs, Quentin Stiévenart et al, Scam 2020 (이수연)

28th Wed.

• Effective C++ study seminar : item4 (강서연)

20th Tue.

• Progress report: EVM+ 2.0 취약점 동적 탐지 실험 (김지수)

15th Thu.

• Effective C++ study seminar : item 3 (김지수)

13th Tue.

• Progress report: 딥러닝기반의 악성코드 탐지 (김정우)

24th Thu.

• Effective C++ study seminar : item 1,2(김정우)

22nd Tue.

• Progress report: Instrumentation Tool for EVM (김지수)

• Discussion on New Release of LLVM(목성균)

18th Fri.

• Effective C++ study seminar : introduction (강서연)

15th Tue.

• Progress report: 스마트 컨트랙트 자동화 도구 (이수연)

10th Thu.

• Progress report: SW 저작권 및 취약점 보호를 위한 난독화 도구(강서연)

8th Tue.

• Progress report: Implementation Of MPointer (목성균)

• Progress report (김지수)

• PCC ( Proof Carrying Code )

25th Tue.

20th Thu.

• Progress report: Implementation Of Mokpointer (목성균)

• Smart contract와 프로그래밍 언어

19th Wed.

• C++ language seminar (김지수)

14th Fri.

• Smart Contract Defense Through Bytecode Rewriting, Gbadebo Ayoade et. al, IEEE BlockChain 2019 (김지수) 

• C++ language seminar (강서연)

13th Thu.

• How to detect memory spatial error (목성균)

• Progress Report (양종환) 

5th Wed.

• C++ language seminar (김지수) 

4th Tue.

• Progress report: Instrumentation Tool for EVM  : negative value in Unsigned Int (김지수) 

27th Thu.

• Hole of Delta Pointer (목성균) 

24th Fri.

• Spectre Attacks: Exploiting Speculative Execution, Paul Kocher et al, 2019 IEEE Symposium on Security and Privacy (목성균) 

• Progress report: Instrumentation Tool for EVM : Events (김지수) 

16th Thu.

• Progress report: InBoundChecker 연구 동기 (목성균)

14th Tue.

• Progress report (김지수)

8th Thu.

• Progress reports (김지수, 양종환)

2nd Thu.

• Progress report: Geth improvement (김지수)

• Progress report: BO protection with multi thread : experiment scenarios (목성균)

30th Tue.

• 확률 모델을 이용한 프로그램 자동 생성 가속화, 이우석, 정보과학회지 37(3) 2019 (양종환) 

• Classification of Malware by Using Structural Entropy on Convolutional Neural Networks, by D Gibert et. al, AAAI 2018 (김정우)

25th Thu.

• Progress report: Against spatial and temporal misuses of  buffers (가칭) (목성균) 

24th Wed.

• 예제로부터 명령형 프로그램을 합성하는 방법, 소순범외, 정보과학회논문지 44(9) 2017 (양종환)

23rd Tue.

• Oracle-Guided Component-Based Program Synthesis,  by S. Jha et. al, ICSE10  (양종환) 

22nd Mon.

• (Short) C++-study (강서연)

16th Tue.

• Progress report: An improved EVM for dynamic monitoring (김지수) 

9th Tue.

•  The Case for Semantics-Based Methods in Reverse Engineering, by Rolf Rolles, Ruxcon12 (양종환)

• Progress report: File backup and recovery mechanism to defend against ransomware using hidden space hackers have exploited (강서연)

• C++-study

4th Thu.

•  Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software and Algorithm Plagiarism Detection (IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 43, no.12, 2017) (양종환)

26th Tue

• A Survey of Tools for Analyzing Ethereum Smart Contracts, M Angelo et. al, IEEE DAPPCON 19 (이수연)planned

25th Mon

• Diving Into The Ethereum Virtual Machine Part.3 (김지수) 

19th Tue.

• C++ - classes (강서연)

15th Fri.

• Diving Into The Ethereum Virtual Machine Part.2 (김지수) 

14th Thu.