Static enforcement of security with types. - Christian Skalka; Scott F. Smith 001 (ICFP, 2000)

Syntactic Type Soundness for HM(X). - Christian Skalka; François Pottier (TIP@MPC, 2002)

Set Types and Applications. - Christian Skalka; Scott F. Smith 001 (TIP@MPC, 2002)

History Effects and Verification. - Christian Skalka; Scott F. Smith 001 (APLAS, 2004)

Risk assessment in distributed authorization. - Peter C. Chapin; Christian Skalka; Xiaoyang Sean Wang (FMSE, 2005)

Trace effects and object orientation. - Christian Skalka (PPDP, 2005)

A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). - Christian Skalka; Scott F. Smith 001; David Van Horn (AIOOL@VMCAI, 2005)

Programming Languages and Systems Security. - Christian Skalka (IEEE Secur. Priv., 2005)

Static use-based object confinement. - Christian Skalka; Scott F. Smith 001 (Int. J. Inf. Sec., 2005)

A systematic approach to static access control. - François Pottier; Christian Skalka; Scott F. Smith 001 (ACM Trans. Program. Lang. Syst., 2005)

Specifying distributed trust management in LolliMon. - Jeff Polakow; Christian Skalka (PLAS, 2006)

Trust but verify: Authorization for web services. - Christian Skalka; Xiaoyang Sean Wang (Comput. Syst. Sci. Eng., 2006)

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. - Paritosh Shroff; Christian Skalka; Scott F. Smith 001 (APLAS, 2007)

Type safe dynamic linking for JVM access control. - Christian Skalka (PPDP, 2007)

Risk management for distributed authorization. - Christian Skalka; Xiaoyang Sean Wang; Peter C. Chapin (J. Comput. Secur., 2007)

Authorization in trust management: Features and foundations. - Peter C. Chapin; Christian Skalka; Xiaoyang Sean Wang (ACM Comput. Surv., 2008)

Types and trace effects of higher order programs. - Christian Skalka; Scott F. Smith 001; David Van Horn (J. Funct. Program., 2008)

Types and trace effects for object orientation. - Christian Skalka (High. Order Symb. Comput., 2008)

Self-identifying sensor data. - Stephen Chong; Christian Skalka; Jeffrey A. Vaughan (IPSN, 2010)

SpartanRPC: Secure WSN middleware for cooperating domains. - Peter C. Chapin; Christian Skalka (MASS, 2010)

Type-specialized staged programming with process separation. - Yu David Liu; Christian Skalka; Scott F. Smith 001 (High. Order Symb. Comput., 2011)

Scalaness/nesT: type specialized staged programming for sensor networks. - Peter C. Chapin; Christian Skalka; Scott F. Smith 001; Michael Watson (GPCE, 2013)

Snowcloud: A Complete Data Gathering System for Snow Hydrology Research. - Christian Skalka; Jeffrey Frolik (REALWSN, 2013)

SpartanRPC: Remote Procedure Call Authorization in Wireless Sensor Networks. - Peter C. Chapin; Christian Skalka (ACM Trans. Inf. Syst. Secur., 2014)

A Genetic Programming Approach to Cost-Sensitive Control in Resource Constrained Sensor Systems. - Afsoon Yousefi Zowj; Josh C. Bongard; Christian Skalka (GECCO, 2015)

Self-Identifying Data for Fair Use. - Stephen Chong; Christian Skalka; Jeffrey A. Vaughan (ACM J. Data Inf. Qual., 2015)

In-Depth Enforcement of Dynamic Integrity Taint Analysis. - Sepehr Amir-Mohammadian; Christian Skalka (PLAS@CCS, 2016)

Correct Audit Logging: Theory and Practice. - Sepehr Amir-Mohammadian; Stephen Chong; Christian Skalka (POST, 2016)

Evolving Spatially Aggregated Features from Satellite Imagery for Regional Modeling. - Sam Kriegman; Marcin Szubert; Josh C. Bongard; Christian Skalka (PPSN, 2016)

Life on the Edge: Unraveling Policies into Configurations. - Shrutarshi Basu; Nate Foster; Hossein Hojjat; Paparao Palacharla; Christian Skalka; Xi Wang 001 (ANCS, 2017)

On Risk in Access Control Enforcement. - Giuseppe Petracca; Frank Capobianco; Christian Skalka; Trent Jaeger (SACMAT, 2017)

ACCESSPROV: Tracking the Provenance of Access Control Decisions. - Frank Capobianco; Christian Skalka; Trent Jaeger (TaPP, 2017)

Proof-Carrying Network Code. - Christian Skalka; John H. Ring; David Darais; Minseok Kwon; Sahil Gupta; Kyle Diller; Steffen Smolka; Nate Foster (CCS, 2019)

Types and Abstract Interpretation for Authorization Hook Advice. - Christian Skalka; David Darais; Trent Jaeger; Frank Capobianco (CSF, 2020)

Maybe tainted data: Theory and a case study. - Christian Skalka; Sepehr Amir-Mohammadian; Samuel Clark (J. Comput. Secur., 2020)

Methods for Host-based Intrusion Detection with Deep Learning. - John H. Ring; Colin Michael Van Oort; Samson Durst; Vanessa White; Joseph P. Near; Christian Skalka (DTRAP, 2021)

Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors. - Timothy Stevens; Christian Skalka; Christelle Vincent; John H. Ring; Samuel Clark; Joseph P. Near (USENIX Security Symposium, 2022)

Secret Sharing Sharing For Highly Scalable Secure Aggregation. - Timothy Stevens; Joseph P. Near; Christian Skalka (CoRR, 2022)

Language-Based Security for Low-Level MPC. - Christian Skalka; Joseph P. Near (PPDP, 2024)

SMT-Boosted Security Types for Low-Level MPC. - Christian Skalka; Joseph P. Near (ESOP (2), 2025)