27th Wed.

• Geth 코드 분석 (이수연)

•  밑바닥부터 시작하는 딥러닝, 사이토 고키, 한빛미디어 2017 (이석수)

11th Mon.

• 이더리움 스마트 계약 취약점 검출기, 김명수 외 KCC'18 (이수연) 

8th Fri.

•  CASTSAN: Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM, P. Muntean, ESORICS'18 - II(양종환)

1st Fri.

•  CASTSAN: Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM, P. Muntean, ESORICS'18 - I(양종환)

28th Mon.

• Progress report (목성균, 김영철, 정형근, 정현지, 이수연, 양종환)

25th Fri.

• 정적 경로를 이용한 바이너리 프로그램의 분석 연구 진행 상황 (김영철)

23rd Wed.

• REPT와 향후 연구 계획 (목성균),  Geth의 gas 관련 자료구조 (이수연)

21st Mon.

• C++ vtable vulnerability (양종환)

18th Fri.

• 실용적인 버퍼 취약점 정적 검출기의 구현, 전진성 외, KCC06 (정현지) 

• McSema 설치 방법 (정현지)

16th Wed.

• REPT: Reverse Debugging of Failures in Deployed Software, W. Cui et. al, OSDI'18 (목성균)

• Progress report on firmware classification (이석수)

14th Mon.

• Multisig Wallets in Solidity (source code analysis) (조은선)

8th Tues.

• Trajectory clustering (정형근) (private discussion)

7th Fri.

• Alias analysis basics (from Dragon book) (목성균)

4th Fri.

• EOS 노드 빌드와 DApp 구현 (양종환)

2nd Wed.

•  POMP: Postmortem Program Analysis with Hardware-Enhanced Post-Crash Artifacts, J. Xu et. al, Usenix Sec 17 (목성균)

•  Progress report (양종환, 이수연, 정현지, 정형근, 김영철, 목성균)

24th Mon.

• 복잡한 자료구조를 지니는 프로그램에 대한 슬라이싱 (정현지)

14th Fri.

• 정적 경로를 이용한 바이너리 프로그램의 함수 식별 방법 연구 진행 상황  (김영철)

• Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection, L. Luo et. al, In Proc. of ACM FSE14 (김영철)

3rd Mon.

• ByteWeight: Learning to Recognize Functions in Binary Code, T. Bao et. al, In Proc. of Usenix Sec 18 (이석수)

30th Fri.

• 밑바닥부터 시작하는 딥러닝, 사이토 고키, 한빛미디어 2017 (이석수)

26th Mon.

• DEBIN: Predicting Debug Information in Stripped Binaries," J. He et. al, In Proc. of ACM CCS 18 (이석수)

19th Mon.

•  RETracer: Triaging Crashes by Reverse Execution from Partial Memory Dumps, W. Cui et. al,  In Proc. of ICSE 16 (목성균)