|
Search the dblp DataBase
Stephen Tse:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic
Managing Policy Updates in Security-Typed Languages. [Citation Graph (0, 0)][DBLP] CSFW, 2006, pp:202-216 [Conf]
- Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Verified Interoperable Implementations of Security Protocols. [Citation Graph (0, 0)][DBLP] CSFW, 2006, pp:139-152 [Conf]
- Stephen Tse, Steve Zdancewic
A Design for a Security-Typed Language with Certificate-Based Declassification. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:279-294 [Conf]
- Stephen Tse, Steve Zdancewic
Translating dependency into parametricity. [Citation Graph (0, 0)][DBLP] ICFP, 2004, pp:115-125 [Conf]
- Stephen Tse, Steve Zdancewic
Run-time Principals in Information-flow Type Systems. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Security and Privacy, 2004, pp:179-193 [Conf]
- Stephen Tse, Verónica Dahl
Learning and using mathematics software the natural way. [Citation Graph (0, 0)][DBLP] Appl. Math. Lett., 2002, v:15, n:7, pp:875-879 [Journal]
Search in 0.001secs, Finished in 0.001secs
|