| 2007 |
|---|
| 15 | EE | Paritosh Shroff,
Christian Skalka,
Scott F. Smith:
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.
APLAS 2007: 2-18 |
| 14 | EE | Christian Skalka:
Type safe dynamic linking for JVM access control.
PPDP 2007: 51-62 |
| 2006 |
|---|
| 13 | EE | Jeff Polakow,
Christian Skalka:
Specifying distributed trust management in LolliMon.
PLAS 2006: 37-46 |
| 2005 |
|---|
| 12 | EE | Peter Chapin,
Christian Skalka,
Xiaoyang Sean Wang:
Risk assessment in distributed authorization.
FMSE 2005: 33-42 |
| 11 | EE | Christian Skalka:
Trace effects and object orientation.
PPDP 2005: 139-150 |
| 10 | EE | François Pottier,
Christian Skalka,
Scott F. Smith:
A systematic approach to static access control.
ACM Trans. Program. Lang. Syst. 27(2): 344-382 (2005) |
| 9 | EE | Christian Skalka,
Scott F. Smith,
David Van Horn:
A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 131: 111-124 (2005) |
| 8 | EE | Christian Skalka:
Programming Languages and Systems Security.
IEEE Security & Privacy 3(3): 80-83 (2005) |
| 7 | EE | Christian Skalka,
Scott F. Smith:
Static use-based object confinement.
Int. J. Inf. Sec. 4(1-2): 87-104 (2005) |
| 2004 |
|---|
| 6 | EE | Christian Skalka,
Scott F. Smith:
History Effects and Verification.
APLAS 2004: 107-128 |
| 5 | EE | Christian Skalka,
Xiaoyang Sean Wang:
Trust but verify: authorization for web services.
SWS 2004: 47-55 |
| 2002 |
|---|
| 4 | EE | Christian Skalka,
Scott F. Smith:
Set Types and Applications.
Electr. Notes Theor. Comput. Sci. 75: (2002) |
| 3 | EE | Christian Skalka,
François Pottier:
Syntactic Type Soundness for HM(X).
Electr. Notes Theor. Comput. Sci. 75: (2002) |
| 2001 |
|---|
| 2 | EE | François Pottier,
Christian Skalka,
Scott F. Smith:
A Systematic Approach to Static Access Control.
ESOP 2001: 30-45 |
| 2000 |
|---|
| 1 | EE | Christian Skalka,
Scott F. Smith:
Static enforcement of security with types.
ICFP 2000: 34-45 |
