Christian Skalka, Dossier

Curriculum Vitae

My cv and research paper abstracts in MS Word format.

Selected Papers

[1] Christian Skalka. Programming Languages and Systems Security. In IEEE Security and Privacy Magazine, May 2005.
[ PDF ]
[2] Christian Skalka. Type Safe Dynamic Linking for JVM Access Control. In Proceedings of the ACM Symposium on Principles and Practice of Declarative Programming, 2007.
[ PDF ]
[3] Peter Chapin, Christian Skalka, and X. Sean Wang. Authorization in Trust Management: Features and Foundations. Accepted for Publication in ACM Computing Surveys, 2007.
[ PDF ]
[4] Christian Skalka, X. Sean Wang, and Peter Chapin. Risk Management for Distributed Authorization. Journal of Computer Security 15(4): 447-489, 2007.
[ PDF ]
[5] Christian Skalka. Types and Trace Effects for Object Orientation. Accepted for publication in the Journal of Higher Order and Symbolic Computation, 2007.
[ PDF ]
[6] François Pottier, Christian Skalka, and Scott Smith. A Systematic Approach to Static Access Control. ACM Transactions on Programming Languages and Systems, 27(2), 2005.
[ PostScript | PDF ]

This file has been generated by bibtex2html 1.54