arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Helene Haagh

4 papers · 2016–2019

2016: 22017: 02018: 12019: 1
2016peak 2 in 20162019

Frequent co-authors

Papers

showing 1–4 of 4 RSS

Computer-aided proofs for multiparty computation with active security

Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner +2 more

cs.LO · · cited 31× · arXiv ↗ · more like this ·

Secure multi-party computation (MPC) is a general cryptographic technique that allows distrusting parties to compute a function of their individual inputs, while only revealing the output of the function. It has found applications in areas such as auctioning, email filtering, and secure teleconference. Given its importance, it is crucial that the protocols are specified and implemented correctly. In the programming language community it has become good practice to use computer proof assistants to verify correctness proofs. In the field of cryptography, EasyCrypt is the state of the art proof assistant. It provides an embedded language for probabilistic programming, together with a specialized logic, embedded into an ambient general purpose higher-order logic. It allows us to conveniently express cryptographic properties. EasyCrypt has been used successfully on many applications…

Commodity-Based 2PC for Arithmetic Circuits

Ivan Damgård, Helene Haagh, Michael B. Nielsen +1 more

Artificial Intelligence · Lecture notes in computer science · · cited 6× · DOI ↗ · more like this ·

We revisit the framework of Commodity-based Cryptography presented by Beaver (STOC’97) with a focus on updating the framework to fit with modern multiparty computation (MPC) protocols. We study the possibility of replacing the well-known preprocessing model with a commodity-based setting, where a set of independent servers (some of which may be corrupt) provide clients with correlated randomness. From this, the clients then distill correct and secure correlated randomness that they can use during the online phase of the MPC protocol. Beaver showed how to do OT with semi-honest security in the commodity setting. We improve on Beaver’s result as follows: In a model where one of two clients and a constant fraction of the servers may be maliciously corrupted, we obtain unconditionally secure multiplication triples and oblivious linear evaluations (OLEs) such that the amortized communication…

Revealing Encryption for Partial Ordering.

Helene Haagh, Yue Ji, Chenxing Li +2 more

Artificial Intelligence · IACR Cryptology ePrint Archive · · cited 1× · OpenAlex ↗ · more like this ·

We generalize the cryptographic notion of Order Revealing Encryption (ORE) to arbitrary functions and we present a construction that allows to determine the (partial) ordering of two vectors i.e., given \(E(\varvec{x})\) and \(E(\varvec{y})\) it is possible to learn whether \(\varvec{x}=\varvec{y}\), \(\varvec{x}>\varvec{y}\), \(\varvec{x}<\varvec{y}\) or whether \(\varvec{x}\) and \(\varvec{y}\) are incomparable. This is the first non-trivial example of a Revealing Encryption (RE) scheme with output larger than one bit, and which does not rely on cryptographic obfuscation or multilinear maps.

Access Control Encryption: Enforcing Information Flow with Cryptography

Ivan Damgård, Helene Haagh, Claudio Orlandi

cs.CR · · cited 0× · arXiv ↗ · more like this ·

We initiate the study of Access Control Encryption (ACE), a novel cryptographic primitive that allows fine-grained access control, by giving different rights to different users not only in terms of which messages they are allowed to receive, but also which messages they are allowed to send. Classical examples of security policies for information flow are the well known Bell-Lapadula [BL73] or Biba [Bib75] model: in a nutshell, the Bell-Lapadula model assigns roles to every user in the system (e.g., public, secret and top-secret). A users' role specifies which messages the user is allowed to receive (i.e., the no read-up rule, meaning that users with public clearance should not be able to read messages marked as secret or top-secret) but also which messages the user is allowed to send (i.e., the no write-down rule, meaning that a user with top-secret clearance should not be able to write…