| 03-19 |
윤정한 |
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 |
글