Yongsoo Song

Dr. Yongsoo Song

orcid

Research Focus & Metrics

Academic Career Length

13Years (2014-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
30 November 2017
Verified
Book Chapter
Open access
PDF file
JCJung Hee Cheon
Jung Hee Cheon
AKAndrey Kim
Andrey Kim
MKMiran Kim
Miran Kim
YSYongsoo Song
Yongsoo Song
We suggest a method to construct a homomorphic encryption scheme for approximate arithmetic. It supports an approximate addition and multiplication of encrypted messages, together with a new rescaling procedure for managing the magnitude of plaintext. This procedure truncates a ciphertext into a smaller modulus, which leads to rounding of plaintext. The main idea is to add a noise following significant figures which contain a main message. This noise is originally added to the plaintext for security, but considered to be a part of error occurring during approximate computations that is reduced along with plaintext by rescaling. As a result, our decryption structure outputs an approximate value of plaintext with a predetermined precision. We also propose a new batching technique for a RLWE-based construction. A plaintext polynomial is an element of a cyclotomic ring of characteristic zero and it is mapped to a message vector of complex numbers via complex canonical embedding map, which is an isometric ring homomorphism. This transformation does not blow up the size of errors, therefore enables us to preserve the precision of plaintext after encoding. In our construction, the bit size of ciphertext modulus grows linearly with the depth of the circuit being evaluated due to rescaling procedure, while all the previous works either require an exponentially large size of modulus or expensive computations such as bootstrapping or bit extraction. One important feature of our method is that the precision loss during evaluation is bounded by the depth of a circuit and it exceeds at most one more bit compared to unencrypted approximate arithmetic such as floating-point operations. In addition to the basic approximate circuits, we show that our scheme can be applied to the efficient evaluation of transcendental functions such as multiplicative inverse, exponential function, logistic function and discrete Fourier transform.

31 March 2018
Verified
Book Chapter
Closed access
PDF file
JCJung Hee Cheon
Jung Hee Cheon
KHKyoohyung Han
Kyoohyung Han
AKAndrey Kim
Andrey Kim
MKMiran Kim
Miran Kim
YSYongsoo Song
Yongsoo Song

13 January 2019
Verified
Book Chapter
Closed access
PDF file
JCJung Hee Cheon
Jung Hee Cheon
KHKyoohyung Han
Kyoohyung Han
AKAndrey Kim
Andrey Kim
MKMiran Kim
Miran Kim
YSYongsoo Song
Yongsoo Song

15 October 2018
Verified
Conference Paper
Open access
XJXiaoqian Jiang
Xiaoqian Jiang
MKMiran Kim
Miran Kim
KLKristin Lauter
Kristin Lauter
YSYongsoo Song
Yongsoo Song
Homomorphic Encryption (HE) is a powerful cryptographic primitive to address privacy and security issues in outsourcing computation on sensitive data to an untrusted computation environment. Comparing to secure Multi-Party Computation (MPC), HE has advantages in supporting non-interactive operations and saving on communication costs. However, it has not come up with an optimal solution for modern learning frameworks, partially due to a lack of efficient matrix computation mechanisms. In this work, we present a practical solution to encrypt a matrix homomorphically and perform arithmetic operations on encrypted matrices. Our solution includes a novel matrix encoding method and an efficient evaluation strategy for basic matrix operations such as addition, multiplication, and transposition. We also explain how to encrypt more than one matrix in a single ciphertext, yielding better amortized performance. Our solution is generic in the sense that it can be applied to most of the existing HE schemes. It also achieves reasonable performance for practical use; for example, our implementation takes 9.21 seconds to multiply two encrypted square matrices of order 64 and 2.56 seconds to transpose a square matrix of order 64. Our secure matrix computation mechanism has a wide applicability to our new framework EDM, which stands for encrypted data and encrypted model. To the best of our knowledge, this is the first work that supports secure evaluation of the prediction phase based on both encrypted data and encrypted model, whereas previous work only supported applying a plain model to encrypted data. As a benchmark, we report an experimental result to classify handwritten images using convolutional neural networks (CNN). Our implementation on the MNIST dataset takes 28.59 seconds to compute ten likelihoods of 64 input images simultaneously, yielding an amortized rate of 0.45 seconds per image.

17 April 2018 in JMIR Medical Informatics
Verified
Journal Article
Open access
MKMiran Kim
Miran Kim
YSYongsoo Song
Yongsoo Song
SWShuang Wang
Shuang Wang
YXYuhou Xia
Yuhou Xia
XJXiaoqian Jiang
Xiaoqian Jiang
Clinical informatics, decision support for health professionals, electronic health records, and ehealth infrastructures.

11 October 2018 in BMC Medical Genomics
Verified
Journal Article
Open access
PDF file
AKAndrey Kim
Andrey Kim
YSYongsoo Song
Yongsoo Song
MKMiran Kim
Miran Kim
KLKeewoo Lee
Keewoo Lee
JCJung Hee Cheon
Jung Hee Cheon
Security concerns have been raised since big data became a prominent tool in data analysis. For instance, many machine learning algorithms aim to generate prediction models using training data which contain sensitive information about individuals. Cryptography community is considering secure computation as a solution for privacy protection. In particular, practical requirements have triggered research on the efficiency of cryptographic primitives. This paper presents a method to train a logistic regression model without information leakage. We apply the homomorphic encryption scheme of Cheon et al. (ASIACRYPT 2017) for an efficient arithmetic over real numbers, and devise a new encoding method to reduce storage of encrypted database. In addition, we adapt Nesterov’s accelerated gradient method to reduce the number of iterations as well as the computational cost while maintaining the quality of an output classifier. Our method shows a state-of-the-art performance of homomorphic encryption system in a real-world application. The submission based on this work was selected as the best solution of Track 3 at iDASH privacy and security competition 2017. For example, it took about six minutes to obtain a logistic regression model given the dataset consisting of 1579 samples, each of which has 18 features with a binary outcome variable. We present a practical solution for outsourcing analysis tools such as logistic regression analysis while preserving the data confidentiality.