Christian Skalka

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 14

Top Topics

Wireless Sensor Networks

Abstract Interpretation

Top Venues

J. Comput. Secur.

Publications

Christian Skalka, Joseph P. Near
Language-Based Security for Low-Level MPC. CoRR (2024)
Timothy Stevens, Joseph Near, Christian Skalka
Secret Sharing Sharing For Highly Scalable Secure Aggregation. CoRR (2022)
Timothy Stevens, Christian Skalka, Christelle Vincent, John Ring, Samuel Clark, Joseph P. Near
Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors. USENIX Security Symposium (2022)
Timothy Stevens, Christian Skalka, Christelle Vincent, John Ring, Samuel Clark, Joseph Near
Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors. CoRR (2021)
Christian Skalka, David Darais, Trent Jaeger, Frank Capobianco
Types and Abstract Interpretation for Authorization Hook Advice. CSF (2020)
Christian Skalka, Sepehr Amir-Mohammadian, Samuel Clark
Maybe tainted data: Theory and a case study. J. Comput. Secur. 28 (3) (2020)
Christian Skalka, John Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster
Proof-Carrying Network Code. CCS (2019)
Sam Kriegman, Marcin Szubert, Josh C. Bongard, Christian Skalka
Evolving Spatially Aggregated Features from Satellite Imagery for Regional Modeling. CoRR (2017)
Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang
Life on the Edge: Unraveling Policies into Configurations. ANCS (2017)
Frank Capobianco, Christian Skalka, Trent Jaeger
ACCESSPROV: Tracking the Provenance of Access Control Decisions. TaPP (2017)
Giuseppe Petracca, Frank Capobianco, Christian Skalka, Trent Jaeger
On Risk in Access Control Enforcement. SACMAT (2017)
Sepehr Amir-Mohammadian, Stephen Chong, Christian Skalka
Correct Audit Logging: Theory and Practice. POST (2016)
Sam Kriegman, Marcin Szubert, Josh C. Bongard, Christian Skalka
Evolving Spatially Aggregated Features from Satellite Imagery for Regional Modeling. PPSN (2016)
Sepehr Amir-Mohammadian, Christian Skalka
In-Depth Enforcement of Dynamic Integrity Taint Analysis. PLAS@CCS (2016)
Afsoon Yousefi Zowj, Josh C. Bongard, Christian Skalka
A Genetic Programming Approach to Cost-Sensitive Control in Resource Constrained Sensor Systems. GECCO (2015)
Stephen Chong, Christian Skalka, Jeffrey A. Vaughan
Self-Identifying Data for Fair Use. ACM J. Data Inf. Qual. 5 (3) (2015)
Peter C. Chapin, Christian Skalka
SpartanRPC: Remote Procedure Call Authorization in Wireless Sensor Networks. ACM Trans. Inf. Syst. Secur. 17 (2) (2014)
Christian Skalka, Jeffrey Frolik
Snowcloud: A Complete Data Gathering System for Snow Hydrology Research. REALWSN (2013)
Peter C. Chapin, Christian Skalka, Scott F. Smith, Michael Watson
Scalaness/nesT: type specialized staged programming for sensor networks. GPCE (2013)
Yu David Liu, Christian Skalka, Scott F. Smith
Type-specialized staged programming with process separation. High. Order Symb. Comput. 24 (4) (2011)
Peter C. Chapin, Christian Skalka
SpartanRPC: Secure WSN middleware for cooperating domains. MASS (2010)
Stephen Chong, Christian Skalka, Jeffrey A. Vaughan
Self-identifying sensor data. IPSN (2010)
Yu David Liu, Christian Skalka, Scott F. Smith
Type-specialized staged programming with process separation. WGP@ICFP (2009)
Christian Skalka, Scott F. Smith, David Van Horn
Types and trace effects of higher order programs. J. Funct. Program. 18 (2) (2008)
Peter C. Chapin, Christian Skalka, Xiaoyang Sean Wang
Authorization in trust management: Features and foundations. ACM Comput. Surv. 40 (3) (2008)
Christian Skalka
Types and trace effects for object orientation. High. Order Symb. Comput. 21 (3) (2008)
Christian Skalka, Xiaoyang Sean Wang, Peter C. Chapin
Risk management for distributed authorization. J. Comput. Secur. 15 (4) (2007)
Paritosh Shroff, Christian Skalka, Scott F. Smith
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. APLAS (2007)
Christian Skalka
Type safe dynamic linking for JVM access control. PPDP (2007)
Jeff Polakow, Christian Skalka
Specifying distributed trust management in LolliMon. PLAS (2006)
Christian Skalka, Xiaoyang Sean Wang
Trust but verify: Authorization for web services. Comput. Syst. Sci. Eng. 21 (5) (2006)
Christian Skalka
Programming Languages and Systems Security. IEEE Secur. Priv. 3 (3) (2005)
Christian Skalka, Scott F. Smith
Static use-based object confinement. Int. J. Inf. Sec. 4 (1-2) (2005)
Peter C. Chapin, Christian Skalka, Xiaoyang Sean Wang
Risk assessment in distributed authorization. FMSE (2005)
Christian Skalka, Scott F. Smith, David Van Horn
A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 131 (2005)
François Pottier, Christian Skalka, Scott F. Smith
A systematic approach to static access control. ACM Trans. Program. Lang. Syst. 27 (2) (2005)
Christian Skalka
Trace effects and object orientation. PPDP (2005)
Christian Skalka, Scott F. Smith
History Effects and Verification. APLAS (2004)
Christian Skalka, Xiaoyang Sean Wang
Trust but verify: authorization for web services. SWS (2004)
Christian Skalka, Scott F. Smith
Set Types and Applications. Electron. Notes Theor. Comput. Sci. 75 (2002)
Christian Skalka, François Pottier
Syntactic Type Soundness for HM(X). Electron. Notes Theor. Comput. Sci. 75 (2002)
François Pottier, Christian Skalka, Scott F. Smith
A Systematic Approach to Static Access Control. ESOP (2001)
Christian Skalka, Scott F. Smith
Static enforcement of security with types. ICFP (2000)