Weekly Seminar
최광무 교수님 연구실: 최재준, 나현익
날짜 발표자 내용
한태숙 교수님 연구실: 전준수, 황준형, 박성진, 안윤경
날짜 발표자 내용
????-??-?? ? ?
2011-06-16 황준형 Mimimorphism - A New Approach to Binary Code Obfuscation
2011-06-08 전준수 Dynamic Taint Analysis
2011-05-18 안윤경 summarizing reation of synchronous reactiive programs
2011-04-21 박성진 SecVisor : A Tiny Hypervisor to Provide Lifetime Kernel Code Integrity for Commodity Oses (SOSP 2007)
2011-04-13 황준형 Unpacking Virtualization Obfuscation
2011-03-17 전준수 Hybrid Type Checking
2011-03-09 안윤경 Automatic Reverse Engineering of Malware Emulators(symposium on security and privacy '09)
2011-02-23 안윤경 Formal Construction and Verification of Home Service Robots: A Case Study (ATVA '05)
Re-engineering Software Architecture of Home Service Robots: A Case Study (ICSE'05)
2011-02-16 황준형 Everyday Logic in Coq (2)
2011-02-09 황준형 Everyday Logic in Coq (1)
2011-01-27 전준수 RPython: a step towards reconciling dynamically and statically typed OO languages
2011-01-18 안윤경 Symbolic execution and program testing
2011-01-12 황준형 SW DNA를 이용한 소프트웨어의 분류
12-08 안윤경 Loop-extended symbolic execution of binary programs
11-24 전준수 소프트웨어 DNA를 이용한 악성 코드 탐지
11-17 황준형 명령형 동기식 반응형 언어의 선언형 확장
11-10 김신형 자바스크립트에 특화된 프로그램 종속성 그래프를 이용한 표절 탐지
10-27 안윤경 EXE:Automatically generating inputs of dath
10-13 전준수 Obfuscation of Executable Code to Improve Resistance to Static Disassembly
09-27 김신형 고급언어 소스기반 난독화 도구 구현
09-15 황준형 Circuit Verification with ABC
09-08 박성진 Smartphone Security
09-01 안윤경 Pure Esterel로 작성한 프로그램의 동작을 표현하는 방법
08-24 전준수 Malware Normalization
08-18 황준형 Describing Circuits in a Proof Assistant
08-08 김신형 Introduction to reverse engineering
07-29 박성진
07-07 황준형 Declarative Extensions of An Imperative Synchronous Reactive Language
06-24 안윤경 Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs
05-25 박성진 binOb+: a framework for potent and stealthy binary obfuscation
05-06 김신형 Program Obfuscation: A Quantitative Approach
04-29 윤정한 schizophrenic problem detection algorithm들을 modular analysis로 확장하는 방법(2)
04-22 윤정한 schizophrenic problem detection algorithm들을 modular analysis로 확장하는 방법(1)
04-15 안윤경 Validating Real-Time Constraints in Embedded Systems
04-08 황준형 Adding Declarative Features to Imperative Synchronous Languages
04-01 김신형 An overview of code obfuscation
03-18 윤정한 Schizophrenia on Esterel
03-09 박성진 Impeding malware analysis using conditional code obfuscation
03-02 안윤경 Static Data-Flow Analysis of Synchronous Programs
02-23 황준형 Static Approximation of Dynamically Generated Web Pages(2)
02-09 김신형 Nozzle: A Defense Against Heap-spraying Code Injection Attacks
02-02 윤정한 The Synthesis of Cyclic Combinational Circuits
01-12 박희완 FiGD: An Open Source Intellectual Property Violation Detector
01-05 박성진 Application of Superoptimizer
12-29 안윤경 Performance Debugging of Esterel Specifications
12-08 임현일 Semantics-Aware Malware Detection
12-01 황준형 Static Approximation of Dynamically Generated Web Pages(1)
11-24 김신형 A Survey of Malware Detection Techniques
11-19 윤정한 Schizophrenia on Esterel
10-06 황준형 외부환경의 제약조건을 Esterel 프로그램에 반영하는 방법
09-29 김신형 자바 스크립트 표절 탐지
09-22 윤정한 Refining Schizophrea of Esterel Circuits
09-15 박희완 소프트웨어 몽타주
09-08 안윤경 Summarizing Execution Traces of Synchronous Reactive Programs
09-01 안윤경 Summarizing Execution Traces of Synchronous Reactive Programs
04-29 최석우 Semantics-Based Code Search
04-21 임현일 Software theft detection through analysis of the semantic units of program
04-14 안윤경 Safety Property Verification using Behavior
04-08 윤정한 A Big-step Semantics of Esterel: Motivation
2009/04/02 16:50 2009/04/02 16:50