SafeFL: MPC-friendly framework for private and robust federated learning
T Gehlhar, F Marx, T Schneider… - 2023 IEEE Security …, 2023 - ieeexplore.ieee.org
Federated learning (FL) has gained widespread popularity in a variety of industries due to its
ability to locally train models on devices while preserving privacy. However, FL systems are …
ability to locally train models on devices while preserving privacy. However, FL systems are …
Scalable mixed-mode mpc
Protocols for secure multi-party computation (MPC) supporting mixed-mode computation
have found a lot of applications in recent years due to their flexibility in representing the …
have found a lot of applications in recent years due to their flexibility in representing the …
Bending microarchitectural weird machines towards practicality
A large body of work has demonstrated attacks that rely on the difference between CPUs'
nominal instruction set architectures and their actual (microarchitectural) implementations …
nominal instruction set architectures and their actual (microarchitectural) implementations …
Secure synthesis of distributed cryptographic applications (technical report)
Developing secure distributed systems is difficult, and even harder when advanced
cryptography must be used to achieve security goals. Following prior work, we advocate …
cryptography must be used to achieve security goals. Following prior work, we advocate …
Secure synthesis of distributed cryptographic applications
Developing secure distributed systems is difficult, and even harder when advanced
cryptography must be used to achieve security goals. Following prior work, we advocate …
cryptography must be used to achieve security goals. Following prior work, we advocate …
Combine: compilation and backend-independent vectorization for multi-party computation
B Levy, M Ishaq, B Sherman, L Kennard… - Proceedings of the …, 2023 - dl.acm.org
Recent years have witnessed significant advances in programming technology for multi-
party computation (MPC), bringing MPC closer to practice and wider applicability. Typical …
party computation (MPC), bringing MPC closer to practice and wider applicability. Typical …
Estimating the Runtime and Global Network Traffic of SMPC Protocols
A Klinger, V Ehrmanntraut, U Meyer - Proceedings of the Fourteenth …, 2024 - dl.acm.org
Secure multi-party computation (SMPC) enables multiple parties to evaluate functions of
their private inputs, in a way such that none of the parties can learn anything about the other …
their private inputs, in a way such that none of the parties can learn anything about the other …
The ghost is the machine: Weird machines in transient execution
Microarchitectural attacks typically exploit some form of transient execution to steal sensitive
data. More recently, though, a new class of attacks has used transient execution to (covertly) …
data. More recently, though, a new class of attacks has used transient execution to (covertly) …
CoVault: A secure analytics platform
Analytics on personal data, such as individuals' mobility, financial, and health data can be of
significant benefit to society. Such data is already collected by smartphones, apps and …
significant benefit to society. Such data is already collected by smartphones, apps and …
Load-Balanced Server-Aided MPC in Heterogeneous Computing
Most existing MPC protocols consider the homogeneous setting, where all the MPC players
are assumed to have identical communication and computation resources. In practice, the …
are assumed to have identical communication and computation resources. In practice, the …