| 2025 | ESOP | SMT-Boosted Security Types for Low-Level MPC. | Christian Skalka, Joseph P. Near |
| 2024 | PPDP | Language-Based Security for Low-Level MPC. | Christian Skalka, Joseph P. Near |
| 2019 | CCS | Proof-Carrying Network Code. | Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster |
| 2017 | SACMAT | On Risk in Access Control Enforcement. | Giuseppe Petracca, Frank Capobianco, Christian Skalka, Trent Jaeger |
| 2016 | CCS | In-Depth Enforcement of Dynamic Integrity Taint Analysis. | Sepehr Amir-Mohammadian, Christian Skalka |
| 2016 | PPSN | Evolving Spatially Aggregated Features from Satellite Imagery for Regional Modeling. | Sam Kriegman, Marcin Szubert, Josh C. Bongard, Christian Skalka |
| 2015 | GECCO | A Genetic Programming Approach to Cost-Sensitive Control in Resource Constrained Sensor Systems. | Afsoon Yousefi Zowj, Josh C. Bongard, Christian Skalka |
| 2013 | GPCE | Scalaness/nesT: type specialized staged programming for sensor networks. | Peter C. Chapin, Christian Skalka, Scott F. Smith, Michael Watson |
| 2010 | MASS | SpartanRPC: Secure WSN middleware for cooperating domains. | Peter C. Chapin, Christian Skalka |
| 2009 | ICFP | Type-specialized staged programming with process separation. | Yu David Liu, Christian Skalka, Scott F. Smith |
| 2007 | APLAS | The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. | Paritosh Shroff, Christian Skalka, Scott F. Smith |
| 2007 | PPDP | Type safe dynamic linking for JVM access control. | Christian Skalka |
| 2006 | PLDI | Specifying distributed trust management in LolliMon. | Jeff Polakow, Christian Skalka |
| 2005 | CCS | Risk assessment in distributed authorization. | Peter C. Chapin, Christian Skalka, Xiaoyang Sean Wang |
| 2005 | PPDP | Trace effects and object orientation. | Christian Skalka |
| 2004 | APLAS | History Effects and Verification. | Christian Skalka, Scott F. Smith |
| 2001 | ESOP | A Systematic Approach to Static Access Control. | Franois Pottier, Christian Skalka, Scott F. Smith |
| 2000 | ICFP | Static enforcement of security with types. | Christian Skalka, Scott F. Smith |