| 2008 |
|---|
| 8 | EE | Karthikeyan Bhargavan,
Cédric Fournet,
Andrew D. Gordon,
Stephen Tse:
Verified interoperable implementations of security protocols.
ACM Trans. Program. Lang. Syst. 31(1): (2008) |
| 2007 |
|---|
| 7 | EE | Stephen Tse,
Steve Zdancewic:
Run-time principals in information-flow type systems.
ACM Trans. Program. Lang. Syst. 30(1): (2007) |
| 2006 |
|---|
| 6 | EE | Karthikeyan Bhargavan,
Cédric Fournet,
Andrew D. Gordon,
Stephen Tse:
Verified Interoperable Implementations of Security Protocols.
CSFW 2006: 139-152 |
| 5 | EE | Nikhil Swamy,
Michael Hicks,
Stephen Tse,
Steve Zdancewic:
Managing Policy Updates in Security-Typed Languages.
CSFW 2006: 202-216 |
| 2005 |
|---|
| 4 | EE | Stephen Tse,
Steve Zdancewic:
A Design for a Security-Typed Language with Certificate-Based Declassification.
ESOP 2005: 279-294 |
| 2004 |
|---|
| 3 | EE | Stephen Tse,
Steve Zdancewic:
Translating dependency into parametricity.
ICFP 2004: 115-125 |
| 2 | EE | Stephen Tse,
Steve Zdancewic:
Run-time Principals in Information-flow Type Systems.
IEEE Symposium on Security and Privacy 2004: 179-193 |
| 2002 |
|---|
| 1 | EE | Stephen Tse,
Verónica Dahl:
Learning and using mathematics software the natural way.
Appl. Math. Lett. 15(7): 875-879 (2002) |
