Xinyu Lei

Short Biography

I am a Ph.D. student in Department of Computer Science and Engineering at Michigan State University (MSU) since 2016. I am advised by Prof. Guan-Hua (Sccot) Tu at MSU. I received my B.S. and M.Eng. (advised by Prof. Xiaofeng Liao) at Department of Computer Science, Chongqing University, China. I was once a Research Assistant in Texsa A&M University at Qatar in 2013, working with Prof. Tingwen Huang.

Contact

Email: my last name + first name (at) msu (dot) edu

Research Interests

IoT, Cloud computing, Database, Blockchain, etc.

Professional Services

Conference Reviewer:

Blockchain2019, ICDCS2017, ICDE2019, 2020, ICDCS2019, SocialSec2019

Journal Reviewer:

TFIS2015, TCC2015, TON2016, TCS2019, TNNLS2013,2019, TMC2019, IEEE Access2016,2017,2019.

Conference Services:

Session Chair: IEEE Symposium Series on Computational Intelligence, 2019

TPC: 11th Wireless of the Students, by the Students, and for the Students (S3) Workshop (S3 2019)

TPC: Workshop on Big Data Service on Management, Security and Privacy Preservation, 2019

Selected Publications (Google Citation)

Exploring the Insecurity of Google Account Registration Protocol via Model Checking

Tian Xie, Sihan Wang, Guan-Hua Tu, Chi-Yu Li, Xinyu Lei

IEEE Symposium Series on Computational Intelligence (SCCI). 2019. [PDF]

SecEDMO: Enabling Efficient Data Mining with Strong Privacy Protection in Cloud Computing

Jiahui Wu, Nankun Mu, Xinyu Lei, Junqing Le, Di Zhang, Xiaofeng Liao

IEEE Transactions on Cloud Computing (TCC). 2019. [PDF]

SecEQP: A Secure and Efficient Scheme for SkNN Query Problem over Encrypted Geodata on Cloud

Xinyu Lei, Alex X. Liu, Rui Li, Guan-Hua Tu

IEEE International Conference on Data Engineering (ICDE). 2019. [PDF]

The Insecurity of Home Digital Voice Assistants-Vulnerabilities, Attacks and Countermeasures

Xinyu Lei, Guan-Hua Tu, Alex X. Liu, Chi-Yu Li, Tian Xie

IEEE Conference on Communications and Network Security (CNS). 2018. [PDF]

Secure Knn Queries over Encrypted Data: Dimensionality is not always a Curse (Extended Abstract)

Xinyu Lei, Alex X. Liu, Rui Li

IEEE International Conference on Data Engineering (ICDE). 2017. [PDF]

Cloud Computing Service: the Case of Large Matrix Determinant Computation

Xinyu Lei, Xiaofeng Liao, Tingwen Huang, and Huaqing Li.

IEEE Transactions on Services Computing (TSC). 2015. [PDF]

Second-Order Consensus Seeking in Multi-Agent Systems With Nonlinear Dynamics Over Random Switching Directed Networks

Huaqing Li, Xiaofeng Liao, Xinyu Lei, and Tingwen Huang.

IEEE Transactions on Circuits and Systems (TCAS-I). 2013. [PDF]

Outsourcing Large Matrix Inversion Computation to a Public Cloud

Xinyu Lei, Xiaofeng Liao, Tingwen Huang, Huaqing Li, and Chunqiang Hu.

IEEE Transactions on Cloud Computing (TCC). 2013. [PDF]

Two-layer Tree-connected Feed-forward Neural Network Model for Neural Cryptography

Xinyu Lei, Xiaofeng Liao, Fei Chen, and Tingwen Huang.

Physical Review E (PRE). 2013. [PDF]

Highly Efficient Linear Regression Outsourcing to a Cloud

Fei Chen, Tao Xiang, Xinyu Lei, and Jianyong Chen.

IEEE Transactions on Cloud Computing (TCC). 2014. [PDF]

NTRU-KE: A Lattice-based Public Key Exchange Protocol

Xinyu Lei and Xiaofeng Liao.

IACR Cryptology ePrint Archive (IACR). 2013. [PDF]

Selected Awards

NSF Travel Grant to ONAP Academic Summit (2018)

Engineering Distinguished Fellowship (EDF) Award in MSU (2016)

National Scholarship of China for Graduate Students (2012)

Outstanding Undergraduate Student of Chongqing University Award (2010)

Skills

Programming Skills:

Experienced: Smart Contract (ETH), C++, Requirement Quality Suite (for 3C checking)

Elementary: Python, Java, Tensorflow (for deep learning), Spin (for formal method)