| [1] |
Christian Skalka.
Type Safe Dynamic Linking for JVM Access Control,
June 2007.
Talk given at Harvard University Computer Science Seminar Series. [ PDF ] |
| [2] |
Christian Skalka.
Type Safe Dynamic Linking for JVM Access Control,
June 2007.
Talk given at McGill University Computation and Logic Seminar Series. [ PDF ] |
| [3] |
Christian Skalka.
Logic and Practice of Trust Management, January
2006.
Talk given at Dartmouth University Computer Science Colloquium. [ PDF ] |
| [4] |
Christian Skalka.
Trace Effects and Object Orientation, October 2005.
Talk given at Tufts University Computer Science Seminar Series. [ PDF ] |
| [5] |
Christian Skalka.
Trace Effects and Object Orientation, July 2005.
Talk given at PPDP'05, Lisbon, Portugal. [ PDF ] |
| [6] |
Christian Skalka.
A Type and Effect System for Flexible Abstract
Interpretation of Java, January 2005.
Talk given at AIOOL'05, Paris, France. [ PDF ] |
| [7] |
Christian Skalka.
History Effects and Verification, November 2004.
Talk given at APLAS'04, Taipei, Taiwan. [ PDF ] |
| [8] |
Christian Skalka.
Trust but Verify: Authorization for Web Services,
October 2004.
Talk given at SWS'04, Washington DC. [ PDF ] |
| [9] |
Christian Skalka.
Paradox Machines, November 2003.
Talk given to Computer Science Student Association, University of
Vermont. [ PDF ] |
| [10] |
Christian Skalka.
Types for Access Control: Foundations and
Methodology, January 2003.
Talk given at Church Project Seminar, Boston University. [ PDF ] |
| [11] |
Christian Skalka.
Static Use-Based Object Confinement, July 2002.
Talk given at NEPLS, Yale University. [ PDF ] |
| [12] |
Christian Skalka.
Static Use-Based Object Confinement, July 2002.
Talk given at FCS'02, Copenhagen, Denmark. [ PDF ] |
| [13] |
Christian Skalka.
Set Types and Applications, July 2002.
Talk given at TIP'02, Dagstuhl, Germany. [ PDF ] |
| [14] |
Christian Skalka.
Syntactic Type Soundness for HM(X), July 2002.
Talk given at TIP'02, Dagstuhl, Germany. [ PDF ] |
| [15] |
Christian Skalka.
A Systematic Approach to Static Access Control
(short version), April 2001.
Talk given at ESOP'01, Genoa, Italy. [ PDF ] |
| [16] |
Christian Skalka.
A Systematic Approach to Static Access Control
(long version), March 2001.
Talk given at CMU PoP seminar. [ PDF ] |
| [17] |
Christian Skalka.
Static Enforcement of Security with Types,
September 2000.
Talk given at ICFP'00, Montréal, Canada. [ PPT ] |
| [18] |
Christian Skalka.
Static Enforcement of Security with Types, 2000.
Talk given at NJPLS, Princeton University. [ PPT ] |
| [19] |
Christian Skalka.
Verifying Security Protocols with Specification
Diagrams, 1999.
Talk given at NSA Lucite seminar, George Mason University. [ PostScript ] |