Secure and private function evaluation with Intel SGX

S Felsen, Á Kiss, T Schneider, C Weinert - Proceedings of the 2019 ACM …, 2019 - dl.acm.org
Secure function evaluation (SFE) allows two parties to jointly evaluate a publicly known
function without revealing their respective inputs. SFE can be realized via well-known …

Stacked garbling: Garbled circuit proportional to longest execution path

D Heath, V Kolesnikov - Annual International Cryptology Conference, 2020 - Springer
Secure two party computation (2PC) of arbitrary programs can be efficiently achieved using
garbled circuits (GC). The bottleneck of GC efficiency is communication. It is widely believed …

Let's stride blindfolded in a forest: Sublinear multi-client decision trees evaluation

JPK Ma, RKH Tai, Y Zhao, SSM Chow - 2021 - dr.ntu.edu.sg
Decision trees are popular machine-learning classification models due to their simplicity and
effectiveness. Tai et al.(ESORICS'17) propose a privacy-preserving decision-tree evaluation …

Privmail: A privacy-preserving framework for secure emails

GR Chandran, R Nieminen, T Schneider… - European Symposium on …, 2023 - Springer
Emails have improved our workplace efficiency and communication. However, they are often
processed unencrypted by mail servers, leaving them open to data breaches on a single …

Valiant's universal circuits revisited: an overall improvement and a lower bound

S Zhao, Y Yu, J Zhang, H Liu - International Conference on the Theory and …, 2019 - Springer
A universal circuit (UC) is a general-purpose circuit that can simulate arbitrary circuits (up to
a certain size n). At STOC 1976 Valiant presented a graph theoretic approach to the …

Pushing the limits of valiant's universal circuits: Simpler, tighter and more compact

H Liu, Y Yu, S Zhao, J Zhang, W Liu, Z Hu - Advances in Cryptology …, 2021 - Springer
A universal circuit (UC) is a general-purpose circuit that can simulate arbitrary circuits (up to
a certain size n). Valiant provides ak-way recursive construction of UCs (STOC 1976), where …

Linear-complexity private function evaluation is practical

M Holz, Á Kiss, D Rathee, T Schneider - … 14–18, 2020, Proceedings, Part II …, 2020 - Springer
Private function evaluation (PFE) allows to obliviously evaluate a private function on private
inputs. PFE has several applications such as privacy-preserving credit checking and user …

Breaking the size barrier: Universal circuits meet lookup tables

Y Disser, D Günther, T Schneider, M Stillger… - … Conference on the …, 2023 - Springer
Abstract A Universal Circuit (UC) is a Boolean circuit of size Θ (n log n) that can simulate any
Boolean function up to a certain size n. Valiant (STOC'76) provided the first two UC …

MOTIF:(Almost) Free Branching in GMW: Via Vector-Scalar Multiplication

D Heath, V Kolesnikov, S Peceny - … on the Theory and Application of …, 2020 - Springer
MPC functionalities are increasingly specified in high-level languages, where control-flow
constructions such as conditional statements are extensively used. Today, concretely …

: Stacked Garbling with  Computation

D Heath, V Kolesnikov - Annual International Conference on the Theory …, 2021 - Springer
Secure two party computation (2PC) of arbitrary programs can be efficiently achieved using
garbled circuits (GC). Until recently, it was widely believed that a GC proportional to the …