Skip to content

Seung Cheol Shin

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

1

Active years

2001–2002

Best venue rank

B

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2002APLASData Flow Analysis of Secure Information-Flow.Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi
2001APLASAnalysis of Secure Information Flow by Model-Checking.Kyung-Goo Doh, Seung Cheol Shin