2008 |
18 | EE | Peter C. Chapin,
Christian Skalka,
Xiaoyang Sean Wang:
Authorization in trust management: Features and foundations.
ACM Comput. Surv. 40(3): (2008) |
17 | EE | Christian Skalka,
Scott F. Smith,
David Van Horn:
Types and trace effects of higher order programs.
J. Funct. Program. 18(2): 179-249 (2008) |
2007 |
16 | EE | Paritosh Shroff,
Christian Skalka,
Scott F. Smith:
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.
APLAS 2007: 2-18 |
15 | EE | Christian Skalka:
Type safe dynamic linking for JVM access control.
PPDP 2007: 51-62 |
14 | EE | Christian Skalka,
Xiaoyang Sean Wang,
Peter C. Chapin:
Risk management for distributed authorization.
Journal of Computer Security 15(4): 447-489 (2007) |
2006 |
13 | EE | Jeff Polakow,
Christian Skalka:
Specifying distributed trust management in LolliMon.
PLAS 2006: 37-46 |
2005 |
12 | EE | Peter C. 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 |