Kaist Security Fair 전파 세미나 (이석수)
리버스 엔지니어링 바이블 - DLL 분석 (조인우)
Cursor AI (박정필)
Slotted E-Graph 1 (이석수)
zotero (노유정)
리버스 엔지니어링 바이블 chap 1, 2, 3 (조인우)
progress report BERT + PalmTree 적용 (박혜연)
Chosen-Instruction Attack gainst Commercial Code Virtualization Obfuscators (김완주)
리버스엔지니어링바이블 chap 23 난독화와 더미 코드 (안상준)
Notepad Dll injection (안상준)
BINSEC, COMPSAC 전파 세미나 (김완주)
Causality (박혜연)
PLDI 전파 세미나 (이석수)
툴세미나 준비 (박정필)
Machine Learning Classification of Obfuscationusing Image Visualization (노유정)
Binary Code Representation With Well-Balanced Instruction Normalization (박혜연)
BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval (노유정)
COMPSAC 발표 준비: An Enhanced Approach for Detecting Complex Opaque Predicates (이석수)
COMPSAC 발표 준비: A Lightweight Classifier for Identifying Obfuscation Methods for IoT Devices (김완주)
COMPSAC 발표 준비: A Lightweight Classifier for Identifying Obfuscation Methods for IoT Devices (김완주)
COMPSAC 발표 준비: An Enhanced Approach for Detecting Complex Opaque Predicates (이석수)
리버스엔지니어링 바이블 chap 22 (안상준)
The Rust Programming Language 5장 - 구조체 (이석수)
석사 졸업논문 디펜스 연습 (노유정)
리버스엔지니어링 바이블 chap 21 (안상준)
Asm2Vec (박혜연)
VMHunt: AVerifiable Approach to Partially-Virtualized Binary (김완주)
WASMixer: Binary Obfuscation for WebAssembly 2 (박정필)
WASMixer: Binary Obfuscation for WebAssembly (박정필)
PalmTree: Learning an Assembly Language Model for Instruction Embedding (노유정)
Speculative Decoding (김정우)
Code Obfuscation Against Symbolic Execution Attacks (김완주)
The Rust Programming Language 4장 - 오너십 2 (이석수)
The Rust Programming Language 4장 - 오너십 1(이석수)
Loki: Hardening Code Obfuscation Against Automated Attacks (이석수)
A Generic Approach to Automatic Deobfuscation of Executable Code 2 (김완주)
리버스엔지니어링 바이블 chap 12 (안상준)
A Generic Approach to Automatic Deobfuscation of Executable Code (김완주)
VMProtect Analysis (안상준)
ByteWeight : Learning to Recognize Functions in Binary Code (박혜연)
Large Language Models for Code Analysis: Do LLMs Really Do Their Job? (Part 2) (노유정)
VMProtect 동작원리 분석 및 난독화 자동화 구현 (안상준)
equational reasoning on x86 assembly code (김완주)
Large Language Models for Code Analysis: Do LLMs Really Do Their Job? (Part 1) (노유정)
ScraMBler 코드 리뷰 (이석수)
WebAssembly and security A review_W01 (박정필)
Automatic Reverse Engineering of Malware Emulater (김완주)
ChatDEOB: An Effective Deobfuscation Method Based on Large Language Model (노유정)
ScraMBler 1 (이석수)
Can LLMs Obfuscate Code? (박혜연)
가상화 컨테이너 (전형창)
Pin을 이용한 VMProtect 우회 (안상준)
리버스엔지니어링 바이블 chap11 한 단계 높은 안티 디버깅 (안상준)
리버스엔지니어링 바이블 8,9장 (김완주)
X-MBA (이석수)
리버스엔지니어링 바이블 chap10 안티 디버깅 (안상준)
Obfuscation & Deobfuscation (전형창)
홈커밍데이에 무엇을 먹을까요? (김완주)
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories 2 (이석수)
리버스엔지니어링 바이블 8장 (안상준)
가상화 기법으로 난독화된 실행 파일의 동적 분석 기법 (김완주)
Progress Report (박정필)
The Rust Programming Language 3장 (이석수)
리버스엔지니어링 바이블 6장 (안상준)
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories 1 (이석수)
리버스엔지니어링 바이블 5장 (안상준)
WeBMO 소개 (박정필)
역난독화 관련 논문 실험 정리 (전형창)
Speeding up SMT Solving via Compiler Optimization (이석수)
O-LLVM (김완주)
Attention is All You Need (박혜연)
VMCANARY: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach (박정필)
PLAS wiki (김완주)
MBA Expressions (이석수)
동적 오염 분석을 이용한 가상화 기법으로 난독화된 바이너리 코드 분석 기법, 한양대 김성호 석사논문 (김완주)
리버싱 책 4장 - DLL (김완주)
석사 디펜스 연습 (전형창)
SoK: Analysis Technique for WebAssembly (박정필)
Progress Report (전형창)
AI 악성코드 분류 논문 재현 (김완주)
Radare2 (이석수)
CCS 참석 후기 세미나 (이석수)
리버싱 책 3장 세미나 (김완주)
Progress Report - Memory Splitting 일부 구현 (박정필)
난독화 기법의 조합을 파악하는 Opcode 출현 빈도 기반 신경망, Journal of KIISE. Vol. 51., 노유정 et. al. (김완주)
Progress Report - CCS Poster 준비 (이석수)
Progress Report - Dynamic OP 결과, Tigress 옵션 정리 (전형창)
리버싱 책 1~2장 세미나 (김완주)
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis, OOPSLA'24, Benjamin Mariano, et. al (이석수)
Progress Report (전형창)
Progress Report (박정필)
IoT 악성코드 분석, 테스팅 전파 교육(3) (이석수)
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis, OOPSLA'24, Benjamin Mariano, et. al(2) (전형창)
Progress Report - WeBMO Memory Splitting 예시 wat 코드 비교 (박정필)
IoT 악성코드 분석, 테스팅 전파 교육(2) (이석수)
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis, OOPSLA'24, Benjamin Mariano, et. al(1) (전형창)
Progress Report (박정필)
IoT 악성코드 분석, 테스팅 전파 교육(1) (이석수)
Progress Report (전형창)
Progress Report (박정필)
Mirai Botnet & GoSearch22 (이석수)
Progress Report - Invariant, Contextual, Dynamic Opacque Predicate 심볼릭 실행 예시 및 MSOPT 결과 분석 (전형창)
Progress Report - Memory Splitting 적용 시, wat 코드 비교 (박정필)
Progress Report (전형창)
Progress Report (박정필)
E-graph based MBA deobfuscation research interim presentation (이석수)
GAMBA (노유정)
Progress Report (전형창)
Progress Report (박정필)
RAG Tutorial (노유정)
Progress Report (전형창)
Progress Report (박정필)
Progress Report (전형창)
Progress Report (박정필)
Progress Report (이석수)
Progress Report (전형창)
lalrpop 세미나 (박정필)
Progress Report (이석수)
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 (이석수)
SPORES: Sump-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra 1 (이석수)
Effectiveness of Synthesis in Concolic Deobfuscation, HAL open science '17, Fabrizio Biondi et. al (전형창)
허깅 페이스 (노유정)
Jump-oriented programming: a new class of code-reuse attack, the 6th ACM symposium, Bletsch, T., et.al (박정필)
허깅 페이스 (노유정)
Progress Report_SRS (박정필)
허깅 페이스 (노유정)
Progress Report_SRS (박정필)
허깅 페이스 (노유정)
Progress Report_SRS (박정필)
허깅 페이스 (노유정)
Progress Report (이석수)
Progress Report_SRS (박정필)
Progress Report_WS (전형창)
Progress Report (노유정)
Fuzz on the Beach: Fuzzing Solana Smart Contracts (이석수)
Progress Report (노유정)
An In-Depth Analysis of Disassembly on Full-Scale x86/x64 Binaries, USENIX Security 16, Andriesse et.al(2) (전형창)
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) (전형창)
Code Virtualizer 난독화 도구 리뷰 및 Chosen Instruction Attack 논문 재현 (전형창)
VMProtect 난독화 도구 리뷰 (박정필)
Tigress 난독화 도구 리뷰 (노유정)
의미 기반 backward bounded symbolic analysis를 통한 Opaque Predicate 탐지 (이석수)
Zero Footprint Opaque Predicates: Synthesizing Opaque Predicates from Naturally Occurring Invariants, DIMVA 2021, Tung et. al (전형창)
Progress Report (노유정)
A heuristic approach to detect opaque predicates that disrupt static disassembly, BAR 2020, Tung et. al (전형창)
Dynamic Opaque Predicate 탐지 방법 연구 (전형창)
Everything old is new again: Binary security of {WebAssembly}, USENIX Security 20, Lehmann et. al(2) (박정필)
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 (노유정)
Generalized dynamic opaque predicates: A new control flow obfuscation method, ISC 2016, Xu et. al(1) (전형창)
Backward-bounded DSE: targeting infeasibility questions on obfuscated codes, IEEE Symposium on Security and Privacy 2017, Bardin et. al(2) (전형창)
WebAssembly 세미나(2) (박정필)
Backward-bounded DSE: targeting infeasibility questions on obfuscated codes, IEEE Symposium on Security and Privacy 2017, Bardin et. al(1) (전형창)
WebAssembly 세미나(1) (박정필)
APSEC 2023 포스터 발표 연습 (전형창)
BB-DSE_2 (전형창)
Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구, 김영주 외, 한국정보과학회 가을 학술발표논문집, 2011 (박정필)
BB-DSE_1 (전형창)
심볼릭 실행(Symbolic Execution) 기반의 바이너리 코드 취약점 분석 자동화를 위한 도구, 박선녀 외, 한국정보과학회 학술발표논문집, 2017 (박정필)
바이너리 코드의 정적 동적 분석 통합 도구, 이석수 외, 한국정보과학회 학술발표논문집, 2017 (박정필)
The Rust Programming Language - Chapter 2 - (이석수)
LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code, CCS'15 (전형창)-2
Progress Report (박정필)
LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code, CCS'15 (전형창)-1
Progress Report (박정필)
The Rust Programming Language - Chapter 1 - (이석수)
Progress Report (이석수)
Miasm 세미나 (박정필)
Progress Report (이석수)
Python 세미나(2) (박정필)
Python 세미나(1) (박정필)
Intel pin 세미나 (전형창)
Progress Report (이석수)
Progress Report (이석수)
Defeating MBA-based Obfuscation, SPRO'16 by N. Eyrolles et. al (이석수)
Boosting SMT Solver Performance on MBA(mixed-bitwise-arithmetic) Expressions, PLDI'21 by D. Xu et. al (이석수)
SOPT 코드 분석 Progress Report (전형창)
바이너리 난독화 기법 탐지 연구의, coreutils 데이터 명령 코드 빈도 차이벡터 계산 Progress Report (노유정)
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA, IEEE ESSP, WoRMA '23 by Benjamin Reichenwaller et. al (이석수)
Chosen-Instruction Attack Against Commercial Code Virtualization Obfuscators, NDSS'22 by S. Li et. al (이석수)
Progress Report (노유정)
Progress Report (전형창)
Chosen-Instruction Attack Against Commercial Code Virtualization Obfuscators, NDSS'22 by S. Li et. al (이석수)
Progress Report (노유정)
Progress Report (전형창)
확률 모델을 이용한 프로그램 자동 생성 가속화, 한국정보과학회'19 by 이우석 (전형창)
쿠버네티스(김정우)
악성코드 대응을 위한 딥러닝 기반 바이너리 코드 분석에 관한 연구 (김정우)
CrashFilter/GhidREIL 구현 소개 (목성균)
Chosen-Instruction Attack Against Commercial Code Virtualization Obfuscators, NDSS'22 by S. Li et. al (이석수)
Multi-Label Classification (김정우)
Image Classification PyTorch Example (노유정)
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 (노유정)
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 (이석수)
DMalNet: Dynamic malware analysis based on API feature engineering and graph learning, Computers & Security 2022, C. Li et. al (김정우)
Ghidra API 요구 계획서 (목성균)
egg: Fast and Extensible Equality Saturation (conts') (이석수)
QSynth - A Program Synthesis based Approach for Binary Code Deobfuscation, BAR@NDSS'22, by R. David et. al (전형창)
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 (이석수)
CNN based text classification-AN IMAGE IS WORTH 16x16 WORDS; TRANSFORMERS FOR IMAGE RECOGNITION AT SCALE, ICLR'21 by Google, (김정우)
일잘러가 되고 싶다 (이석수)
Rebyte, EVM 코드리뷰 (김지수)
모델 정적 테스팅 방법 (이석수)
바이너리 프로그램의 정적분석에서 메모리 분석 및 분석범위 확정을 통한 정교성 향상 (노유정)
Azeroth: Auditable Zero-knowledge Transactions in Smart Contracts, IACR Cryptol. 2022, by G. Jeong et. al (김지수)
리버스 엔지니어링 chap 4 DLL 분석 보강 (노유정)
리버스 엔지니어링 chap 5 PE 헤더 (PE Header) (전형창)
Egg: e-graphs good 보강 (이석수)
리버스 엔지니어링 chap 4 DLL 분석 (노유정)
리버스 엔지니어링 chap 6 흔히 사용하는 패턴 (전형창)
Egg: e-graphs good (이석수)
msynth, plasynth 코드 리뷰 (강서연)
멀티모달 CNN기반의 악성코드 패밀리 분류 (wrap up) (김정우)
Automated Crash Filtering for ARM Binary Programs, IEEE COMPSAC'15 by Eom et. al (노유정)
본인 연구소개 (강서연)
Smart contract, Solidity, Stone, Dystone (전형창)
Dystone 연구소개 (조은선 교수님)
Tracer: Signature-based Static Analysis for Detecting Recurring Vulnerabilities (conts') (김정우)
Tracer: Signature-based Static Analysis for Detecting Recurring Vulnerabilities (conts') (김정우)
Tracer: Signature-based Static Analysis for Detecting Recurring Vulnerabilities, ACM CCS'22 by W. Kang et. al (김정우)
안정성 보장을 위한 결정 과정 - Intro and Basic Concepts (조은선 교수님)
리버스 엔지니어링 chap 2 C 문법과 디스어셈블링 (전형창)
기드라 세미나 - main 함수 분석, Import 함수 분석 (노유정)
리버스 엔지니어링 chap1 리버스 엔지니어링을 위한 어셈블리 (전형창)
Analysis and Optimization - Dataflow Analysis (노유정)
효과적인 악성코드 분석을 위한 딥러닝기반의 바이너리 코드 분석 도구 (김정우)
디펜스 연습 (김정우)
디펜스 연습 (강서연)
Rust (목성균)
N-gram을 활용한 악성코드 분석 (전형창)
프로그램 합성 기반의 mba표현 역난독화 연구 (강서연)
멀티모달학습기반의 악성코드 분류 (김정우)
악성코드의 종류 및 탐지 기법 (전형창)
디펜스 연습 (목성균)
L4 포인터 실험 정리 (목성균)
Program synthesis-based simplification of MBA obfuscated malware with restart strategies (CheckMate@ACM CCS'22) (강서연)
Malware Classification using Early Stage Behavioral Analysis, AsiaJCIS'19 by N. Kumar (김정우)
Survey of Studies based on Zkay for Smart Contract Privacy (김지수)
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 (강서연)
Loki: Hardening Code Obfuscation Against Automated Attacks, UsenixSec'22 by M. Schloegel et. al (강서연)
Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs, UsenixSec'22 by J Vadayath et. al (김지수)
Rust 세미나 (목성균)
풀기 어려운 난독화 (조은선 교수님)
Program synthesis-based simplification of MBA obfuscated malware with restart strategies 실험 결과 visualization (강서연)
Program synthesis-based simplification of MBA obfuscated malware with restart strategies (강서연)
08
난독화된 바이너리 슬라이싱 (Slicing Obfuscated Binary) (목성균)
기드라 세미나 (디스어셈블 코드, 디버깅, PE 포맷) (노유정)
엔트로피 이미지 표현기반의 임베딩 시스템을 통한 악성코드 패밀리 분류 (ArcFace Loss)에서 임베딩 시스템 심화 (김정우)
07
엔트로피 이미지 표현기반의 임베딩 시스템을 통한 악성코드 패밀리 분류 (ArcFace Loss) (김정우)
기드라 세미나 (노유정)
Progress report (강서연)
최신 딥러닝+악성코드 관련 논문 세미나 (김정우)
IEEE S&P'22 Workshop WOOT 전파 세미나 (일부 논문) (목성균)
IEEE S&P'22 전파 세미나 (일부 논문) (목성균)
Progress report (김정우)
Progress report (강서연)
Progress report (강서연)
Progress report (강서연)
(김지수)
L4 (Long Long Long Long) Pointer to Prevent Buffer Overflow (목성균)
프로그램 분석 도구 세미나, Mi-asm (with 충남대 소프트웨어분석 연구실) (강서연)
Mi-asm (강서연)
Poster: L4 (Long Long Long Long) Pointer to Prevent Buffer Overflow (목성균)
progress report (김정우)
역난독화 워크샵 (with 충남대 소프트웨어분석 연구실, 국가보안기술연구소)
progress report (김정우)
progress report (강서연)
MBA Blast with multiple value bits : Discussion
progress report (목성균)
스마트컨트랙트 개인정보보호 워크샵 (with 충남대 정보보호연구실)
progress report (김정우)
progress report (강서연)
프로그램 분석 도구 세미나 (Infer from 충남대 소프트웨어분석 연구실)
Apache MyBatis에 대한 조사 및 연구계획(최창원)
Progress Report (김지수)
Progress Report (김정우)
Progress Report (강서연)
MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation." Liu, Binbin, et al., USENIX Security 21. 2021. (강서연)
Entropy-graph Image 기반의 악성코드 패밀리 분류 progress report (김정우)
스마트컨트랙트 개인정보보호 워크샵 (with 충남대 정보보호연구실)
Entropy-graph Image기반의 악성코드 패밀리 분류 progress report(김정우)
ARM Memory Tagging Extension (목성균)
역난독화 워크샵 (with 충남대 소프트웨어분석 연구실, 국가보안기술연구소)
LLVM에서 가장 쉬운 code generation 방법 (노유정)
프로그램합성을 활용한 MBA 난독화 해제 통합 솔루션 poster (강서연)
명령코드히스토그램 기반의 난독화 기법 판별 poster (김정우)
스마트컨트랙트 개인정보보호 세미나 (with 충남대 정보보호연구실)
Typescript Compiler Study (2) - AST, Binding (최창원)
Progress report (김지수) (planned)
Attention Mechanism (김정우)
Limitations of Works of Spatial Memory Safety (목성균)
SolSaviour: A Defending Framwork for Deployed Defective Smart Contracts, Li, Zecheng, et al., Annual Computer Security Applications Conference (ACSAC 2021), 2021. (김지수)
Discovery Go : Interface (정다현)
progreses report (김정우)
스마트컨트랙트 개인정보보호 세미나 (with 충남대 정보보호연구실)
Discovery Go 5th (김지수)
L4 포인터의 한계 (목성균 )
progress report (강서연)
Software Deobfuscation Techniques, by Tim Blazytko (강서연)
Discovery Go 4th (정다현)
Dynamic Taint Analysis versus Obfuscated Self-Checking. BANESCU, Sebastian, et al., Annual Computer Security Applications Conference(ACSAC). 2021. (양종환)
프로그램합성을 활용한 MBA 표현 간소화 도구(강서연)
악성코드 분류를 위한 Attention-based Crossmodal CNN (김정우)
Discovery Go 3rd (김지수)
Support for the safety of EVM bytecode via function-call interceptor (김지수)
영지식 증명 (정다현)
프로그램 합성을 활용한 MBA 표현 간소화 도구 (강서연)
악성코드 분류를 위한 어텐션기반의 크로스모달 Convolutional Neural Network (김정우)
Discovery Go 1st (김지수)
NeuReduce (Reducing MBA Expressions by Recurrent Neural Network EMNLP'20) experimentation with trained tigress data set (김정우)
영지식 증명 Study seminar (정다현)
MBA-Blast: Unveiling and Simplifying Mixed Boolean-Arithmetic Obfuscation, Usenix Sec'21 (양종환)
Stochastic superoptimization. SCHKUFZA, Eric; SHARMA, Rahul; AIKEN, Alex. ACM SIGARCH Computer Architecture News, 2013, 41.1: 305-316. (강서연)
정적 분석을 통한 버퍼오버플로우 탐지 방안 제안 (목성균)
Image-based malware classification using section distribution information, Computers & Security, vol. 110, Elsevier 2021, (김정우)
ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems, Usenix Sec'21 (목성균)
Stochastic superoptimization. SCHKUFZA, Eric; SHARMA, Rahul; AIKEN, Alex. ACM SIGARCH Computer Architecture News, 2013, 41.1: 305-316. (강서연)
{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. (목성균)
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 (김정우)
Lottery Dapp 개발 (정다현)
08
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts, Michael Rolder, Wenting Li, et al. , 30th {USENIX} Security Symposium ({USENIX} Security 21). 2021. (김지수)
WISA 2021 후기 (김정우)
LOM: Lightweight classifier for obfuscation methods, WISA 2021 (김정우)
LOM: Lightweight classifier for obfuscation methods, WISA 2021 (김정우)
07
Kafka seminar 16th (김지수)
Kafka seminar 15th (김지수)
NeuReduce report (김정우)
Kafka seminar 14th (김지수)
Utilizing obfuscation information in deeplearning-based Android malware detection, IEEE COMPSAC 2021 (김정우)
progress report (강서연)
Machine Learning Methods for Malware Detection, Kaspersky Lab. (김정우)
progress report (강서연)
progress report (short) (강서연)
Path-Sensitive Sparse Analysis without Path Conditions, ACM PLDI'21 (목성균)
Kafka seminar 13th (김지수)
06
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 (김지수)
progress report (강서연)
Kafka seminar 12th (김지수)
Effectiveness of synthesis in concolic deobfuscation, Computers & Security, Elsevier vol.70, pp500-515, Sept. 2017 (양종환)
Kafka seminar 11th (김지수)
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis, IEEE S&P'21 (양종환)
DBB-DSE review (강서연)
Kafka seminar 10th (김지수)
난독화 기법 판별을 위한 명령 코드 히스토그램기반의 신경망 (김정우)
Deobfuscation: recovering an OLLVM-protected program, Quarsk Lab. (강서연)
Kafka seminar 9th (김지수)
Representation Learning (김정우)
QSynth - A Program Sythesis based approach for Binary Code Deobfuscation by Robin David et. al, BAR at NDSS2020 (강서연)
난독화 기법 판별을 위한 명령코드 히스토그램 (김정우)
Kafka seminar 8th (김지수)
Asm2Vec: Boosting Static Representation Robustness for Binary Clone Search against Code Obfuscation and Compiler Optimization, IEEE S&P'19 (김정우)
Kafka seminar 7th (김지수)
VMProtect Devirtualization via Symbolic Execution 영상 정리, 티오리 (양종환)
Introduction to Program Synthesis - lecture 4 (강서연)
Kafka seminar 6th (김지수)
난독화 판별을 위한 명령 코드 히스토그램 기반의 신경망 (김정우)
Comparison of monitoring tools in Ethereum runtime (김지수)
Kafka seminar 5th (김지수)
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(김지수)
kafka seminar - 4th (김지수)
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(김지수)
Finding Substitutable Binary Code By Synthesizing Adapters, IEEE Transactions on Software Engineering ( Volume: 47, Issue: 8, Aug. 1 2019 (양종환)
kafka seminar - 3rd (김지수)
난독화 분류기 progress report (김정우)
synthesis progress report (강서연)
난독화 분류기 progress report (김정우)
kafka seminar - 2nd (김지수)
난독화 분류기 progress report (김정우)
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 (강서연)
Review Special Talk: Woosuk Lee (Hanyang Univ.), Introduction to Program Synthesis (ACM POPL 21 and etc.) (양종환)
SODA: A Generic Online Detection Framework for Smart Contracts, by T. Chen et. al, NDSS 2020 - part I(김지수)
Introduction to Program Synthesis - lecture 2 (강서연)
Monte Carlo Learning algorithms (양종환)
Virtual Machine Obfuscation (강서연)
Introduction to Program Synthesis - lecture 1 (강서연)
Progress report: Classifying Obfuscation scheme using CodeVector (김정우)
AI-based Blackbox Code Deobfuscation Understand, Improve and Mitigate, by G. Menguy et. al, arXiv-2102.04805, 2021 - part II (양종환)
AI-based Blackbox Code Deobfuscation Understand, Improve and Mitigate, by G. Menguy et. al, arXiv-2102.04805, 2021 - part I (양종환)
예제로부터 명령형 프로그램을 합성하는 방법, 정보과학회 논문지 44( 9) by 소순범 외, 2017 (강서연)
XDA: Accurate, Robust Disassembly with Transfer Learning, by K. Pei et. al, NDSS 2021 (김정우)
Effective C++ study seminar : Item 11 (김지수)
Ocaml Tutorial (양종환)
LALRPOP Parser generation tool-Tutorial (강서연)
Learning the PE Header, Malware Detection with Minimal Domain Knowledge, by E. Raff, AISec '17 (김정우)
NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network, by W. Feng et. al, EMNLP (Findings) 2020 (양종환)
Effective C++ study seminar : Item 10 (김정우)
Progress Report: Epsilon Pointer (목성균)
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting, by D. Lee et. al, PLDI'20 (양종환)
Progress Report : Feauture Engineering using File Layout for Malware Detection (김정우)
VMAttack : Deobfuscating Virtualization-Based Packed Binaries, ARES '17 by A. Kalysch et. al (양종환)
ARM 바이너리 코드에 대한 데이터흐름분석 방법, 정보과학회논문지, 41(5), 엄기진 외, 2014 - Part II (강서연)
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 (강서연)
Progress report: 영지식 증명을 지원하는 스마트 컨트랙트 개발 프로그래밍언어 설계 (김지수)
Progress Report : Feature Engineering using file layout for Malware detection (김정우)
Effective C++ study seminar : Item 9 (강서연)
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 (김지수)
Progress Report: Undefined Section Classifier (김정우)
Gap between theory and practice: an empirical study of security patches in solidity, ICSE by S. Hwang et. al, 2020 - Part II (김지수)
Progress report: 안드로이드 프레임워크 성능 향상 (김재현)
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 (김정우)
Inves : Incremental Partitioning-based Verification for Graph Similarity Search ,J Kim et. al,EDBT 2019 (김종익 교수님)
Attacks on Ethereum Smart contract (김지수)
Effective C++ study seminar : Item 8 (김정우)
Progress report: Undefined Section Classifier (김정우)
Dataflow Analysis (강서연)
LLVM Pass Tutorial (목성균)
Effective C++ study seminar : Item 7 (김지수)
LIBRA 프로토콜과 합의 알고리즘 소개 (최창원)
Progress report: Binary Obfuscator with avast/retdec (강서연)
Progress report: Feature Engineering using file layout for malware detection (김정우)
Progress report: Semantic aware backward bounded symbolic analysis for opaque predicate detection (양종환)
LockedSheids and 사이버보안훈련 (장인숙)
Progress report: Feature Engineering Using File Layout for Malware Detection (김정우)
Web Assembly & Ethereum 2.0 (이수연)
Web Assembly (이수연)
Effective C++ study seminar : item 5, 6 (김정우)
Compositional Information Flow Analysis for WebAssembly Programs, Quentin Stiévenart et al, Scam 2020 (이수연)
Effective C++ study seminar : item4 (강서연)
Progress report: EVM+ 2.0 취약점 동적 탐지 실험 (김지수)
Effective C++ study seminar : item 3 (김지수)
Progress report: 딥러닝기반의 악성코드 탐지 (김정우)
Effective C++ study seminar : item 1,2(김정우)
Progress report: Instrumentation Tool for EVM (김지수)
Discussion on New Release of LLVM(목성균)
Effective C++ study seminar : introduction (강서연)
Progress report: 스마트 컨트랙트 자동화 도구 (이수연)
Progress report: SW 저작권 및 취약점 보호를 위한 난독화 도구(강서연)
Progress report: Implementation Of MPointer (목성균)
Progress report (김지수)
PCC ( Proof Carrying Code )
Progress report: Implementation Of Mokpointer (목성균)
Smart contract와 프로그래밍 언어
C++ language seminar (김지수)
Smart Contract Defense Through Bytecode Rewriting, Gbadebo Ayoade et. al, IEEE BlockChain 2019 (김지수)
C++ language seminar (강서연)
How to detect memory spatial error (목성균)
Progress Report (양종환)
C++ language seminar (김지수)
Progress report: Instrumentation Tool for EVM : negative value in Unsigned Int (김지수)
Hole of Delta Pointer (목성균)
Spectre Attacks: Exploiting Speculative Execution, Paul Kocher et al, 2019 IEEE Symposium on Security and Privacy (목성균)
Progress report: Instrumentation Tool for EVM : Events (김지수)
Progress report: InBoundChecker 연구 동기 (목성균)
Progress report (김지수)
Progress reports (김지수, 양종환)
Progress report: Geth improvement (김지수)
Progress report: BO protection with multi thread : experiment scenarios (목성균)
확률 모델을 이용한 프로그램 자동 생성 가속화, 이우석, 정보과학회지 37(3) 2019 (양종환)
Classification of Malware by Using Structural Entropy on Convolutional Neural Networks, by D Gibert et. al, AAAI 2018 (김정우)
Progress report: Against spatial and temporal misuses of buffers (가칭) (목성균)
예제로부터 명령형 프로그램을 합성하는 방법, 소순범외, 정보과학회논문지 44(9) 2017 (양종환)
Oracle-Guided Component-Based Program Synthesis, by S. Jha et. al, ICSE10 (양종환)
(Short) C++-study (강서연)
Progress report: An improved EVM for dynamic monitoring (김지수)
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
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) (양종환)
A Survey of Tools for Analyzing Ethereum Smart Contracts, M Angelo et. al, IEEE DAPPCON 19 (이수연)planned
Diving Into The Ethereum Virtual Machine Part.3 (김지수)
C++ - classes (강서연)
Diving Into The Ethereum Virtual Machine Part.2 (김지수)
Zokrates-conts' (이수연)
C++ - expressions, structures (김정우)
Zokrates:Scalable Privacy-Preserving Off-Chain Computations, Jacob Eberhardt, Stefan Tai , 2018 IEEE iThings IEEE GreenCom IEEE Cyber CPSCom, IEEE SmartData (이수연)
Diving Into The Ethereum Virtual Machine Part.1 ( Introduction to the EVM assembly code. ) (김지수)
Reverse Engineering Bible (김지수)
zkay-review, (이수연)
Ethereum EVM illustrated, Takenobu T. (김지수)
Reverse Engineering Bible (강서연)
Binary deobuscation : survey (양종환) closed discussion
Reverse Engineering Bible (김정우)
Smart contract preprocessor for privacy w.r.t zero knowledge proof (이수연)
Reverse Engineering Bible (김지수)
Syntia: Synthesizing the Semantics of Obfuscated Code, T. Blazytko et. al, usenix sec'17 (양종환)
Reverse Engineering Bible (강서연)
QSynth - A Program Synthesis based approach for Binary Code Deobfuscation by Robin David et. al, BAR at NDSS2020 (양종환)
ZoKrates and zkSNARKs , overview (이수연)
Reverse Engineering Bible - C++ reversing (김정우)
Zero knowledge proof concept
Reverse Engineering Bible (김지수)
Review : NDSS 2020 and BAR 2020 (양종환)
Delta Pointers: Buffer Overflow Checks Without the Checks by T. Kroes et. al, EuroSys'18 (목성균)
Reverse Engineering Bible - x86 instructions (강서연)
DBB-DSE : Dynamic Backward-Bound. Dynamic Symbolic Execution, NDSS'20 (양종환)
Effective Python by B. Slatkin (강서연)
Ethereum EVM illustrated (conts'), Takenobu T. (이수연)
Effective Python by B. Slatkin (강서연)
Ethereum EVM illustrated, Takenobu T. (이수연)
AOSP 개선 (김지수)
Granularity on Taint Analysis (양종환)
Progressive report on Inbound address management and memory corruption checking via LLVM-more (목성균)
Bit-Level Taint Analysis, SCAM 14', B. Yadegari (양종환)
Progressive report on Inbound address management and memory corruption checking via LLVM (목성균)
Symbolic deobfuscation: from virtualized code back to the original,DIMVA 18', J. Salwan et. al. (양종환)
Effective Python by B. Slatkin (강서연)
Symbolic Execution (김지수)
"Smart contract Defense Through Bytecode Rewriting", Blockchain 2019, Gbadebo Ayoade et. al. , (이수연)
Symbolic Execution (김지수)
Effective Python 22~ by B. Slatkin (강서연)
How to Kill Symbolic Deobfuscation for Free, ACM ACSAC'19, M. Ollivier et. al. (양종환)
함수 호출의 안전성 향상을 위한 smart contract 실행환경 개선 II (이수연)
Introduction to Optimization and Program Analyses, from Dragon book and others
"Automated Test Data Generation Based on Branch Coverage for Testing C Programs", In-Sang Chung, The Korea Contents Society (김지수)
Effective Python 14~ by B. Slatkin (강서연)
OCaml from the Very Beginning by J. Whitington (양종환)
함수 호출의 안전성 향상을 위한 smart contract 실행환경 개선 I (이수연)
Effective Python 1~13 by B. Slatkin (강서연)
안드로이드 미디어 프레임워크 취약점 분석을 위한 정적분석 자동화 분석 도구(정현지)
함수 호출 안전성 향상을 위한 스마트 컨트랙트 가상 머신 개선(이수연)
안드로이드 미디어 프레임워크 취약점 분석을 위한 정적분석 자동화 분석 도구(정현지)
함수 호출 안전성 향상을 위한 스마트 컨트랙트 가상 머신 개선(이수연)
진행중인 연구 발표 (목성균, 정현지, 이수연, 양종환)
Forwad taint analysis with LLVM (정현지)
Opaque predicate detection and Z3 (양종환)
Call stack manipulation in Geth+ (이수연)
BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free, ACM ASPLOS19, C. Jung et. al, (목성균), revisited
Understanding vulnerabilities in Android Media Framework (정현지)
Call stack manipulation in Geth+ (이수연)
Overflow elimination in Z3 solutions (양종환)
Progress report (목성균)
BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free and Intel MPX , ASPLOS'19 (목성균)
Low level call patterns in Solidity and EVM (이수연)
Sub-string matching algorithm research (이석수)
EXE : Automatically Generating inputs of Death, CCS06, C. Cadar et. al --II (양종환)
Shell programming (이석수)
EXE : Automatically Generating inputs of Death, CCS06, C. Cadar et. al --I (양종환)
Intel PT-II (목성균)
Final seminar (free topic) (강서연)
CNU Master (강서연)
Intel PT-I (목성균)
Trace aligner & Trace frequence analyzer (김영철)
Progress report (이수연, 정현지,양종환)
Deconstructing a solidity contract, A. Satander, from openzeppelin.com
Progress report (이수연, 정현지)
Safe Java Native Interface , Gang Tan et. al, IEEE International Symposium on Secure Software Engineering 2006 (정현지)
Progress report (양종환, 김영철)
Structure and Interpretation of Computer Programs-II (강서연)
Progress report (양종환, 김영철)
Progress report (이수연)
G. Tan, J. Croft, "An empirical security study of the native code in the JDK" 17th Conference on Security Symposium 2008-II (정현지)
Structure and Interpretation of Computer Programs-II (강서연)
"Blockchain-Based Interoperable Electronic Health Record Sharing Framework ", Gracie Carter et. al MediComp@COMPSAC19 (이수연)
Progress report (이수연)
"TraceFilter: An Exploitability Analyzer of Vulnerabilities in Binary Code " (목성균)
G. Tan, J. Croft, "An empirical security study of the native code in the JDK", 17th Conference on Security Symposium 2008 (정현지)
Structure and Interpretation of Computer Programs-I (강서연)
IEEE COMPSAC 2019 전파세미나 / 머신러닝 (이석수)
Toward Machine Learning based Analyses on Packed Firmware (이석수)
A modified smart contract execution enviroment for safe function calls (이수연)
Efficient SVM Based Packer Identification with Binary Diffing Measures (김영철)
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes?, IEEE S&P 17 (목성균)
progress report (이수연, 정현지)
Slither: A Static Analysis Framework For Smart Contracts, WETSEB@IEEE ICSE'19 -I (이수연)
안드로이드 미디어프레임워크 취약점 분석을 위한 역방향 정적 분석 자동화 도구(정현지)
Progress report (이수연, 정현지)
Evaluating State-of-the-Art Free and Open Source Static Analysis Tools against Buffer Errors in Android Apps, IEEE ICSME'17 (정현지)
안드로이드 미디어프레임워크 취약점 분석을 위한 역방향 정적 분석 자동화 도구(정현지)
"Outlier Detection for Ship Trajectory Prediction", ACM Mobisys 19 (정형근)
Progress report (이수연, 정현지)
An Exploitability Analyzer of Vulnerabilities in Binary Code (목성균)
[Special Talk] 함수형프로그래밍 In Java 와 Monad (최중현, 카카오)
항로의 목적지 예측을 위한 베이지안 분석 개선 방법 (정형근)
기계학습 을 활용한 펌웨어 바이너리 분석 (이석수)
Progress report (이수연, 정현지)
Micro execution, P. Godefroid, IEEE ICSE'14 (김영철) , Towards big scale firmware analysis , Master thesis, Politecnino di Milano (이석수)
LOOP: Logic-Oriented Opaque Predicate Detection inObfuscated Binary Code, CCS'15 (양종환)
LVA Progress report (정현지), Geth+ Progress report (이수연)
LVA Progress report (정현지), Geth+ Progress report (이수연)
Automatic Reverse Engineering of Malware Emulators-part II, IEEE S&P'09 (양종환)
LVA Progress report (정현지), Geth+ Progress report (이수연)
Bit-Level Taint Analysis, IEEE SCAM'14 (김영철)
Automatic Reverse Engineering of Malware Emulators-part I, IEEE S&P'09 (양종환)
LVA Progress report (정현지)
Geth+ Progress report (이수연)
C++ vtable 취약점 완화 기존 도구 비교 (양종환)
Experience of binary deobfuscation via VMHunt (김영철)
LLVM LVA의 함수단위 구현 step 2 progress report (정현지 )
VTint: Protecting Virtual Function Tables’ Integrity, C. Zhang et. al, NDSS'15 (양종환)
Symbolic Execution of Obfuscated Code, B. Yadegari et. al, ACM CCS'15 (목성균)
EthVM+ 의 fallback 처리 progress report (이수연)
Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs, F. Zuo et. al, CoRR 18 (김영철)
LLVM LVA의 함수단위 구현 step 1 progress report (정현지 )
Static detection of C++ vtable escape vulnerabilities in binary code, NDSS'14 (양종환)
Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts-Part II, Yi Zhou et. al, Usenix Sec'18 (이수연)
MalGene: Automatic extraction of malware analysis evasion signature. D. Kirat et. al, ACM CCS'15 (김영철, short discussion)
횡설수설하지 않고 정확하게 설명하는 법, 고구레 다이치 2017 (양종환)
BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking, Jiang Ming et. al, Usenix Sec 17 (김영철, short discussion with 목성균)
Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts-Part I, Yi Zhou et. al, Usenix Sec'18 (이수연)
소프트웨어 안위성 검증을 위한 입력파일기반 동적 기호실행 방법, 박성현 외, 정보보호학회논문지 2017 (정현지)
VMHunt: A Verifiable Approach to Partially-Virtualized BinaryCode Simplification, ACM CCS'18 (김영철)
항로의 목적지 예측을 위한 베이지안 분석 개선 방법 (정형근)
LLVM LVA의 실제 취약점 적용 report (정현지)
Geth 의 fallback 호출 준비 코드 분석 (이수연)