Christian Skalka

48 papers A* 2A 5B 4C 4Journal 19Unranked 14

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