all presentation files (pdf)

All Presentations in One by Hsin Yeh — last modified 2009-03-17 14:36

All presentations saved in a zip or rar file format.

1.01 (Edmund M. Clarke) “MODEL CHECKING: My 27-Year Quest to Overcome the State Explosion Problem” by Hsin Yeh — last modified 2009-01-14 10:00

 

1.02 (Peter Lee) by Shih-Hsun Chen — last modified 2009-01-08 14:34

“What Are We Trying to Prove? Why Logic Matters for Computer Security?”

1.03 (Lujo Bauer) Grey: A practical logic-based access-control system by Hsin Yeh — last modified 2009-01-07 21:12

 

1.04 (Dawn Song) BitBlaze: a New Approach to Computer Security via Binary Analysis by Hsin Yeh — last modified 2009-01-08 12:56

 

2.01.1 (Wen-Guey Tzeng) Key Establishment Schemes Against Storage-Bounded Adversaries in Wireless Sensor by Hsin Yeh — last modified 2009-01-06 20:22

 

2.01.2 (Shih-Kun Huang) CT-Exploit Controllable Taintedness for Automated Exploit Generator by Hsin Yeh — last modified 2009-01-06 20:24

 

2.01.3 (Wei-Chung Teng) A Node Identification Approach for Wireless Sensor Networks Utilizing Time Synchronization by Hsin Yeh — last modified 2009-01-07 19:48

 

2.02(Chien-Hua Chiu) A Plug-in Architecture for SWOON by Hsin Yeh — last modified 2009-01-06 20:25

 

2.03 (Zong Syun Lin) SCADA Attack Detection & Response by Hsin Yeh — last modified 2009-01-06 20:25

 

2.04 (Tzu-I Yang) Profiling User Behavior by Digital Forensics Technique by Hsin Yeh — last modified 2009-01-06 20:25

 

2.05 (Mao-Jie Lin) Detecting Virtualization Resistant Behavior by Hsin Yeh — last modified 2009-01-06 20:26

 

2.06 (Bo-Ting Chen) Using Multi-core processor for Network Intrustion Detection by Hsin Yeh — last modified 2009-01-06 20:27

 

2.07 (Chih-Yuan Wang) Implementing Verifiable Order Statistics for Secure Aggregation by Hsin Yeh — last modified 2009-01-06 20:27

 

2.08 (Yu-Kai Hsiao) Anonymous Routing Protocol For Asymmetric Communication Wireless Mesh Networks by Hsin Yeh — last modified 2009-01-06 20:27

 

2.09 (Shiuan-Tzuo Shen) Loop Optimization in Catchconv by Hsin Yeh — last modified 2009-01-06 20:27

 

2.10 (Cing-Hao Liou) A long-term System based on Reputation by Hsin Yeh — last modified 2009-01-06 20:28

 

3.01 (Yih-Kuen Tsay) Methods for Software Security Verification by Hsin Yeh — last modified 2009-01-06 20:28

 

3.02.1 (Yu-Fang Chen) Improving the Learning-Based Approach to Compositional Verification by Hsin Yeh — last modified 2009-01-08 09:05

 

3.02.2 (Ming-Hsien Tsai) Memory Safety of Programs with Inductive Pointer Structures by Hsin Yeh — last modified 2009-01-06 20:29

 

3.04.1 (Yueh-Hsun Lin) SPATE Small-group PKI-less Authentication and Trust Establishment by Hsin Yeh — last modified 2009-01-06 20:29

 

3.04.2 (Yueh-Hsun Lin, King-Hang Wang, Hsu-Chun Hsiao) SPATE Project and a Study of Visual Hash (Small-group PKI-less Authenticated Trust Establishment) by Hsin Yeh — last modified 2009-01-06 20:30

 

4.03 (Colby Boyer, Leon Lin) CITRIC by Hsin Yeh — last modified 2009-01-06 20:30

 

4.04 (Phoebus Chen)camnet_recover_topology by Hsin Yeh — last modified 2009-01-07 19:46

 

5.01 (Christos Faloutsos) Graph Mining by Hsin Yeh — last modified 2009-01-06 20:31

 

5.02.1 (Vern Paxson) Towards Greater Depth in Network Security Monitoring by Hsin Yeh — last modified 2009-01-06 20:55

 

5.02.2 (Po-Ching Lin) Towards Greater Depth in Network Security Monitoring--A Fine-grained Performance Analysis of the Bro NIDS by Hsin Yeh — last modified 2009-01-06 20:48

 

5.02.3 (Chien-Tsung Liu) Designing End-System Sensing for Network Monitoring by Hsin Yeh — last modified 2009-01-06 20:47

 

5.03 (Jason Lee) UGuard by Hsin Yeh — last modified 2009-01-06 20:32

 

5.04 (Sang-Chin Yang)System_Dynamics_Based_Insider_Threats_Modeling by Hsin Yeh — last modified 2009-01-06 20:33

 

5.05.1, 5.05.2:(Chi-Sung Laih) Group3-CMU Overview & HWAIDS by Hsin Yeh — last modified 2009-01-08 09:03

 

5.05.3 (Yi-Leh Wu) IDEAs by Hsin Yeh — last modified 2009-01-06 20:41

 

5.05.4 (Meng-Chang Chen) Behavior Profiling of Internet by Hsin Yeh — last modified 2009-01-06 20:42

 

5.05.5 (Chia-Mei Chen) Flow Based Botnet Detection by Hsin Yeh — last modified 2009-01-06 20:43

 

5.06 (Ming-Kung Sun) The Design and Implementation of Web Application IDS by Hsin Yeh — last modified 2009-01-06 20:35

 

5.07 (Ching-Hao Mao) Finding Trajectory of Malicious Behaviors using Relational Activity Graph by Hsin Yeh — last modified 2009-01-06 20:35

 

5.08 (Yi-Ren Yeh) Anomaly Detection via Incremental and Decremental PCA by Hsin Yeh — last modified 2009-01-06 20:35

 

5.09 (Hsiao-Chung Lin) FlowBased Botnet Detection by Hsin Yeh — last modified 2009-01-06 20:36

 

5.10 (Yuan-Chin Wen) Rx2V by Hsin Yeh — last modified 2009-01-06 20:36

 

5.11 (Mike Shun-Wen Hsiao) Behavior Profiling of Internet Attacks by Hsin Yeh — last modified 2009-01-06 20:23