Seung Cheol Shin

According to our database, Seung Cheol Shin authored at least 3 papers between 2001 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2002

Detection of information leak by data flow analysis.

Kyung-Goo Doh, Seung Cheol Shin

ACM SIGPLAN Notices, 2002

Data Flow Analysis of Secure Information-Flow.

Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Analysis of Secure Information Flow by Model-Checking.

Kyung-Goo Doh, Seung Cheol Shin

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001