12 citations · 13 across the 2 of their papers we have counts for
3 papers
cs.CR2025
SMT-Boosted Security Types for Low-Level MPC
Christian Skalka, Joseph P. Near
Secure Multi-Party Computation (MPC) is an important enabling technology for data privacy in modern distributed applications. We develop a new type theory to automatically enforce…
cs.CR2022★ 1 cited
Secret Sharing Sharing For Highly Scalable Secure Aggregation
Timothy Stevens, Joseph Near, Christian Skalka
Secure Multiparty Computation (MPC) can improve the security and privacy of data owners while allowing analysts to perform high quality analytics. Secure aggregation is a secure di…
cs.CR2021★ 12 cited
Efficient Differentially Private Secure Aggregation for Federated Learning via Hardness of Learning with Errors
Timothy Stevens, Christian Skalka, Christelle Vincent +3
Federated machine learning leverages edge computing to develop models from network user data, but privacy in federated learning remains a major challenge. Techniques using differen…