Statistics
Publications
9
Citations
486
H-Index
9
Active since
2004
Stephen Tse is an author at California University of Pennsylvania specializing in computing, computer science, and programming languages.
Publications per year
2004–2008
9
9
Verified Interoperable Implementations of Security Protocols
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon et al. · 2006 · 88 citations
Translating dependency into parametricity
Stephen Tse, Steve Zdancewic · ACM SIGPLAN Notices · 2004 · 59 citations
Run-time principals in information-flow type systems
Stephen Tse, Steve Zdancewic · 2004 · 54 citations
Managing Policy Updates in Security-Typed Languages
Nikhil Swamy, Michael Hicks, Stephen Tse et al. · 2006 · 53 citations
1–5 of 9