Christian Skalka

According to our database, Christian Skalka authored at least 37 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Secret Sharing Sharing For Highly Scalable Secure Aggregation.

Timothy Stevens, Joseph P. Near, Christian Skalka

CoRR, 2022

Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors.

Timothy Stevens, Christian Skalka, Christelle Vincent, John Ring, Samuel Clark, Joseph P. Near

Proceedings of the 31st USENIX Security Symposium, 2022

2020

Maybe tainted data: Theory and a case study.

Christian Skalka, Sepehr Amir-Mohammadian, Samuel Clark

J. Comput. Secur., 2020

Types and Abstract Interpretation for Authorization Hook Advice.

Christian Skalka, David Darais, Trent Jaeger, Frank Capobianco

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Proof-Carrying Network Code.

Christian Skalka, John Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2017

ACCESSPROV: Tracking the Provenance of Access Control Decisions.

Frank Capobianco, Christian Skalka, Trent Jaeger

Proceedings of the 9th USENIX Workshop on the Theory and Practice of Provenance, 2017

On Risk in Access Control Enforcement.

Giuseppe Petracca, Frank Capobianco, Christian Skalka, Trent Jaeger

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

Life on the Edge: Unraveling Policies into Configurations.

Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang

Proceedings of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2017

2016

Evolving Spatially Aggregated Features from Satellite Imagery for Regional Modeling.

Sam Kriegman, Marcin Szubert, Josh C. Bongard, Christian Skalka

Proceedings of the Parallel Problem Solving from Nature - PPSN XIV, 2016

Correct Audit Logging: Theory and Practice.

Sepehr Amir-Mohammadian, Stephen Chong, Christian Skalka

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

In-Depth Enforcement of Dynamic Integrity Taint Analysis.

Sepehr Amir-Mohammadian, Christian Skalka

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

Self-Identifying Data for Fair Use.

Stephen Chong, Christian Skalka, Jeffrey A. Vaughan

ACM J. Data Inf. Qual., 2015

A Genetic Programming Approach to Cost-Sensitive Control in Resource Constrained Sensor Systems.

Afsoon Yousefi Zowj, Josh C. Bongard, Christian Skalka

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

2014

SpartanRPC: Remote Procedure Call Authorization in Wireless Sensor Networks.

Peter C. Chapin, Christian Skalka

ACM Trans. Inf. Syst. Secur., 2014

2013

Snowcloud: A Complete Data Gathering System for Snow Hydrology Research.

Christian Skalka, Jeffrey Frolik

Proceedings of the Real-World Wireless Sensor Networks, 2013

Scalaness/nesT: type specialized staged programming for sensor networks.

Peter C. Chapin, Christian Skalka, Scott F. Smith, Michael Watson

Proceedings of the Generative Programming: Concepts and Experiences, 2013

2011

Type-specialized staged programming with process separation.

Yu David Liu, Christian Skalka, Scott F. Smith

High. Order Symb. Comput., 2011

2010

SpartanRPC: Secure WSN middleware for cooperating domains.

Peter C. Chapin, Christian Skalka

Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

Self-identifying sensor data.

Stephen Chong, Christian Skalka, Jeffrey A. Vaughan

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

2008

Types and trace effects for object orientation.

Christian Skalka

High. Order Symb. Comput., 2008

Types and trace effects of higher order programs.

Christian Skalka, Scott F. Smith, David Van Horn

J. Funct. Program., 2008

Authorization in trust management: Features and foundations.

Peter C. Chapin, Christian Skalka, Xiaoyang Sean Wang

ACM Comput. Surv., 2008

2007

Risk management for distributed authorization.

Christian Skalka, Xiaoyang Sean Wang, Peter C. Chapin

J. Comput. Secur., 2007

Type safe dynamic linking for JVM access control.

Christian Skalka

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.

Paritosh Shroff, Christian Skalka, Scott F. Smith

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Trust but verify: Authorization for web services.

Christian Skalka, Xiaoyang Sean Wang

Comput. Syst. Sci. Eng., 2006

Specifying distributed trust management in LolliMon.

Jeff Polakow, Christian Skalka

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

2005

A systematic approach to static access control.

François Pottier, Christian Skalka, Scott F. Smith

ACM Trans. Program. Lang. Syst., 2005

Static use-based object confinement.

Christian Skalka, Scott F. Smith

Int. J. Inf. Sec., 2005

Programming Languages and Systems Security.

Christian Skalka

IEEE Secur. Priv., 2005

A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract).

Christian Skalka, Scott F. Smith, David Van Horn

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Trace effects and object orientation.

Christian Skalka

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Risk assessment in distributed authorization.

Peter C. Chapin, Christian Skalka, Xiaoyang Sean Wang

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005

2004

History Effects and Verification.

Christian Skalka, Scott F. Smith

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2002

Set Types and Applications.

Christian Skalka, Scott F. Smith

Proceedings of the International Workshop in Types in Programming, 2002

Syntactic Type Soundness for HM(X).

Christian Skalka, François Pottier

Proceedings of the International Workshop in Types in Programming, 2002

2000

Static enforcement of security with types.

Christian Skalka, Scott F. Smith

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000