Algorithms in HElib

Shai Halevi; Victor Shoup

doi:10.1007/978-3-662-44371-2_31

Algorithms in HElib

Shai Halevi, Victor Shoup

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

HElib is a software library that implements homomorphic encryption (HE), specifically the Brakerski-Gentry-Vaikuntanathan (BGV) scheme, focusing on effective use of the Smart-Vercauteren ciphertext packing techniques and the Gentry-Halevi-Smart optimizations. The underlying cryptosystem serves as the equivalent of a "hardware platform" for HElib, in that it defines a set of operations that can be applied homomorphically, and specifies their cost. This "platform" is a SIMD environment (somewhat similar to Intel SSE and the like), but with unique cost metrics and parameters. In this report we describe some of the algorithms and optimization techniques that are used in HElib for data movement, linear algebra, and other operations over this "platform".

Original language	English (US)
Title of host publication	Advances in Cryptology, CRYPTO 2014 - 34th Annual Cryptology Conference, Proceedings
Publisher	Springer Verlag
Pages	554-571
Number of pages	18
Edition	PART 1
ISBN (Print)	9783662443705
DOIs	https://doi.org/10.1007/978-3-662-44371-2_31
State	Published - 2014
Event	34rd Annual International Cryptology Conference, CRYPTO 2014 - Santa Barbara, CA, United States Duration: Aug 17 2014 → Aug 21 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 1
Volume	8616 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	34rd Annual International Cryptology Conference, CRYPTO 2014
Country/Territory	United States
City	Santa Barbara, CA
Period	8/17/14 → 8/21/14

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-662-44371-2_31

Cite this

Halevi, S., & Shoup, V. (2014). Algorithms in HElib. In Advances in Cryptology, CRYPTO 2014 - 34th Annual Cryptology Conference, Proceedings (PART 1 ed., pp. 554-571). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8616 LNCS, No. PART 1). Springer Verlag. https://doi.org/10.1007/978-3-662-44371-2_31

Algorithms in HElib. / Halevi, Shai; Shoup, Victor.
Advances in Cryptology, CRYPTO 2014 - 34th Annual Cryptology Conference, Proceedings. PART 1. ed. Springer Verlag, 2014. p. 554-571 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8616 LNCS, No. PART 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Halevi, S & Shoup, V 2014, Algorithms in HElib. in Advances in Cryptology, CRYPTO 2014 - 34th Annual Cryptology Conference, Proceedings. PART 1 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 1, vol. 8616 LNCS, Springer Verlag, pp. 554-571, 34rd Annual International Cryptology Conference, CRYPTO 2014, Santa Barbara, CA, United States, 8/17/14. https://doi.org/10.1007/978-3-662-44371-2_31

@inproceedings{5683c72534644188b39494fd1acc3638,

title = "Algorithms in HElib",

abstract = "HElib is a software library that implements homomorphic encryption (HE), specifically the Brakerski-Gentry-Vaikuntanathan (BGV) scheme, focusing on effective use of the Smart-Vercauteren ciphertext packing techniques and the Gentry-Halevi-Smart optimizations. The underlying cryptosystem serves as the equivalent of a {"}hardware platform{"} for HElib, in that it defines a set of operations that can be applied homomorphically, and specifies their cost. This {"}platform{"} is a SIMD environment (somewhat similar to Intel SSE and the like), but with unique cost metrics and parameters. In this report we describe some of the algorithms and optimization techniques that are used in HElib for data movement, linear algebra, and other operations over this {"}platform{"}.",

author = "Shai Halevi and Victor Shoup",

year = "2014",

doi = "10.1007/978-3-662-44371-2_31",

language = "English (US)",

isbn = "9783662443705",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

number = "PART 1",

pages = "554--571",

booktitle = "Advances in Cryptology, CRYPTO 2014 - 34th Annual Cryptology Conference, Proceedings",

edition = "PART 1",

note = "34rd Annual International Cryptology Conference, CRYPTO 2014 ; Conference date: 17-08-2014 Through 21-08-2014",

}

TY - GEN

T1 - Algorithms in HElib

AU - Halevi, Shai

AU - Shoup, Victor

PY - 2014

Y1 - 2014

N2 - HElib is a software library that implements homomorphic encryption (HE), specifically the Brakerski-Gentry-Vaikuntanathan (BGV) scheme, focusing on effective use of the Smart-Vercauteren ciphertext packing techniques and the Gentry-Halevi-Smart optimizations. The underlying cryptosystem serves as the equivalent of a "hardware platform" for HElib, in that it defines a set of operations that can be applied homomorphically, and specifies their cost. This "platform" is a SIMD environment (somewhat similar to Intel SSE and the like), but with unique cost metrics and parameters. In this report we describe some of the algorithms and optimization techniques that are used in HElib for data movement, linear algebra, and other operations over this "platform".

AB - HElib is a software library that implements homomorphic encryption (HE), specifically the Brakerski-Gentry-Vaikuntanathan (BGV) scheme, focusing on effective use of the Smart-Vercauteren ciphertext packing techniques and the Gentry-Halevi-Smart optimizations. The underlying cryptosystem serves as the equivalent of a "hardware platform" for HElib, in that it defines a set of operations that can be applied homomorphically, and specifies their cost. This "platform" is a SIMD environment (somewhat similar to Intel SSE and the like), but with unique cost metrics and parameters. In this report we describe some of the algorithms and optimization techniques that are used in HElib for data movement, linear algebra, and other operations over this "platform".

UR - http://www.scopus.com/inward/record.url?scp=84905388736&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84905388736&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-44371-2_31

DO - 10.1007/978-3-662-44371-2_31

M3 - Conference contribution

AN - SCOPUS:84905388736

SN - 9783662443705

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 554

EP - 571

BT - Advances in Cryptology, CRYPTO 2014 - 34th Annual Cryptology Conference, Proceedings

PB - Springer Verlag

T2 - 34rd Annual International Cryptology Conference, CRYPTO 2014

Y2 - 17 August 2014 through 21 August 2014

ER -

Algorithms in HElib

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this