Stephen Tse (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Stephen Tse, Steve Zdancewic: Run-time principals in information-flow type systems. ACM Trans. Program. Lang. Syst. 30(1): (2007)

5 Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic: Managing Policy Updates in Security-Typed Languages. CSFW 2006: 202-216

4 Stephen Tse, Steve Zdancewic: A Design for a Security-Typed Language with Certificate-Based Declassification. ESOP 2005: 279-294

3 Stephen Tse, Steve Zdancewic: Translating dependency into parametricity. ICFP 2004: 115-125

2 Stephen Tse, Steve Zdancewic: Run-time Principals in Information-flow Type Systems. IEEE Symposium on Security and Privacy 2004: 179-193

Selection of 5 from 8 records - Stephen Tse has 7 coauthors

7		Stephen Tse, Steve Zdancewic: Run-time principals in information-flow type systems. ACM Trans. Program. Lang. Syst. 30(1): (2007)
5		Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic: Managing Policy Updates in Security-Typed Languages. CSFW 2006: 202-216
4		Stephen Tse, Steve Zdancewic: A Design for a Security-Typed Language with Certificate-Based Declassification. ESOP 2005: 279-294
3		Stephen Tse, Steve Zdancewic: Translating dependency into parametricity. ICFP 2004: 115-125
2		Stephen Tse, Steve Zdancewic: Run-time Principals in Information-flow Type Systems. IEEE Symposium on Security and Privacy 2004: 179-193