Lei Xu

According to our database, Lei Xu authored at least 92 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DIaC: Re-Imagining Decentralized Infrastructure as Code Using Blockchain.

Rabimba Karanjai, Keshav Kasichainula, Lei Xu, Nour Diallo, Lin Chen, Weidong Shi

IEEE Trans. Netw. Serv. Manag., April, 2024

A Game Theoretical Analysis of Non-linear Blockchain System.

Lin Chen, Lei Xu, Zhimin Gao, Ahmed Imtiaz Sunny, Keshav Kasichainula, Weidong Shi

Distributed Ledger Technol. Res. Pract., March, 2024

Speeding Up Multi-Scalar Multiplications for Pairing-Based zkSNARKs.

Xinxin Fan, Veronika Kuchta, Francesco Sica, Lei Xu

IACR Cryptol. ePrint Arch., 2024

Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing.

Rabimba Karanjai, Aftab Hussain, Md. Rafiqul Islam Rabin, Lei Xu, Weidong Shi, Mohammad Amin Alipour

CoRR, 2024

Teaching Machines to Code: Smart Contract Translation with LLMs.

Rabimba Karanjai, Lei Xu, Weidong Shi

CoRR, 2024

StarSPA: Stride-Aware Sparsity Compression for Efficient CNN Acceleration.

Ngoc-Son Pham, Sangwon Shin, Lei Xu, Weidong Shi, Taeweon Suh

IEEE Access, 2024

Adding All Flavors: A Hybrid Random Number Generator for dApps and Web3.

Ranjith Chodavarapu, Rabimba Karanjai, Xinxin Fan, Weidong Shi, Lei Xu

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2024

Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications.

Rabimba Karanjai, Lei Xu, Lin Chen, Nour Diallo, Weidong Shi

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

TPU as Cryptographic Accelerator.

Rabimba Karanjai, Sangwon Shin, Wujie Xiong, Xinxin Fan, Lin Chen, Tianwei Zhang, Taeweon Suh, Weidong Shi, Veronika Kuchta, Francesco Sica, Lei Xu

Proceedings of the 13th International Workshop on Hardware and Architectural Support for Security and Privacy, 2024

SolMover: Smart Contract Code Translation Based on Concepts.

Rabimba Karanjai, Lei Xu, Weidong Shi

Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

2023

Electoral manipulation via influence: probabilistic model.

Liangde Tao, Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi

Auton. Agents Multi Agent Syst., June, 2023

An Empirical Study of AI-based Smart Contract Creation.

Rabimba Karanjai, Edward Li, Lei Xu, Weidong Shi

CoRR, 2023

TPU as Cryptographic Accelerator.

Rabimba Karanjai, Sangwon Shin, Xinxin Fan, Lin Chen, Tianwei Zhang, Taeweon Suh, Weidong Shi, Lei Xu

CoRR, 2023

Cross Chain Bribery Contracts: Majority vs Mighty Minority.

Quang Tran, Lin Chen, Lei Xu, Yang Lu, Rabimba Karanjai, Weidong Shi

CoRR, 2023

Decentralized Machine Learning Governance: Overview, Opportunities, and Challenges.

Dana Alsagheer, Lei Xu, Weidong Shi

IEEE Access, 2023

The 1st International Workshop on Decentralized Physical Infrastructure Networks (DePIN 2023).

Xinxin Fan, Lei Xu

Proceedings of the 9th IEEE World Forum on Internet of Things, 2023

Privacy-Preserving Object Detection with Veracruz.

Mathias Brossard, Guilhem Bryant, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Derek Miller, Dominic P. Mulligan, Hugo J. M. Vincent, Shale Xiong, Lei Xu

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

DeFaaS: Decentralized Function-as-a-Service for Emerging dApps and Web3.

Rabimba Karanjai, Lei Xu, Nour Diallo, Lin Chen, Weidong Shi

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

DHTee: Decentralized Infrastructure for Heterogeneous TEEs.

Rabimba Karanjai, Zhimin Gao, Lin Chen, Xinxin Fan, Teweon Suh, Weidong Shi, Lei Xu

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Decentralized Machine Learning Governance.

Dana Alsagheer, Nour Diallo, Rabimba Karanjai, Lei Xu, Larry Shi

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Decentralized Translator of Trust: Supporting Heterogeneous TEE for Critical Infrastructure Protection.

Rabimba Karanjai, Rowan Collier, Zhimin Gao, Lin Chen, Xinxin Fan, Taeweon Suh, Weidong Shi, Lei Xu

Proceedings of the 5th ACM International Symposium on Blockchain and Secure Critical Infrastructure, 2023

Who is Smarter? An Empirical Study of AI-Based Smart Contract Creation.

Rabimba Karanjai, Edward Li, Lei Xu, Weidong Shi

Proceedings of the 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2023

Towards a Rollup-Centric Scalable Architecture for Decentralized Physical Infrastructure Networks: A Position Paper.

Xinxin Fan, Lei Xu

Proceedings of the Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems, 2023

2022

Audit and Improve Robustness of Private Neural Networks on Encrypted Data.

Jiaqi Xue, Lei Xu, Lin Chen, Weidong Shi, Kaidi Xu, Qian Lou

CoRR, 2022

Local Differential Privacy Meets Computational Social Choice - Resilience under Voter Deletion.

Liangde Tao, Lin Chen, Lei Xu, Weidong Shi

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Decentralized Application Infrastructures as Smart Contract Codes.

Rabimba Karanjai, Keshav Kasichainula, Nour Diallo, Mudabbir Kaleem, Lei Xu, Lin Chen, Weidong Shi

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

How Hard is Bribery in Elections with Randomly Selected Voters.

Liangde Tao, Lin Chen, Lei Xu, Weidong Shi, Ahmed Sunny, Md Mahabub Uz Zaman

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Computational complexity characterization of protecting elections from bribery.

Lin Chen, Ahmed Imtiaz Sunny, Lei Xu, Shouhuai Xu, Zhimin Gao, Yang Lu, Weidong Shi, Nolan Shah

Theor. Comput. Sci., 2021

EDSC: An Event-Driven Smart Contract Platform.

Mudabbir Kaleem, Keshav Kasichainula, Rabimba Karanjai, Lei Xu, Zhimin Gao, Lin Chen, Weidong Shi

CoRR, 2021

Reshaping the Landscape of the Future: Software-Defined Manufacturing.

Lei Xu, Lin Chen, Zhimin Gao, Hiram Moya, Weidong Shi

Computer, 2021

A Secure and Flexible FPGA-Based Blockchain System for the IIoT.

Han-Yee Kim, Lei Xu, Weidong Shi, Taeweon Suh

Computer, 2021

Privacy preserving event based transaction system in a decentralized environment.

Rabimba Karanjai, Lei Xu, Zhimin Gao, Lin Chen, Mudabbir Kaleem, Weidong Shi

Proceedings of the Middleware '21: 22nd International Middleware Conference, Québec City, Canada, December 6, 2021

Lessons Learned from Blockchain Applications of Trusted Execution Environments and Implications for Future Research.

Rabimba Karanjai, Weidong Shi, Lei Xu, Lin Chen, Fengwei Zhang, Zhimin Gao

Proceedings of the HASP '21: Workshop on Hardware and Architectural Support for Security and Privacy, 2021

On Conditional Cryptocurrency With Privacy.

Rabimba Karanjai, Lei Xu, Zhimin Gao, Lin Chen, Mudabbir Kaleem, Weidong Shi

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

New Gold Mine: Harvesting IoT Data Through DeFi in a Secure Manner.

Lei Xu, Xinxin Fan, Lucas Hall, Qi Chai

Proceedings of the Blockchain - ICBC 2021, 2021

Hardness and Algorithms for Electoral Manipulation Under Media Influence.

Liangde Tao, Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi, Dian Huang

Proceedings of the Frontiers of Algorithmics - International Joint Conference, 2021

An event driven framework for smart contract execution.

Mudabbir Kaleem, Keshav Kasichainula, Rabimba Karanjai, Lei Xu, Zhimin Gao, Lin Chen, Weidong Shi

Proceedings of the 15th ACM International Conference on Distributed and Event-based Systems, 2021

2020

DIoTA: Decentralized-Ledger-Based Framework for Data Authenticity Protection in IoT Systems.

Lei Xu, Lin Chen, Zhimin Gao, Xinxin Fan, Taeweon Suh, Weidong Shi

IEEE Netw., 2020

Blockchain-based access control for enterprise blockchain applications.

Lei Xu, Isaac M. Markus, I Subhod, Nikhil Nayab

Int. J. Netw. Manag., 2020

Nonlinear Blockchain Scalability: a Game-Theoretic Perspective.

Lin Chen, Lei Xu, Zhimin Gao, Keshav Kasichainula, Weidong Shi

CoRR, 2020

Supporting Blockchain-Based Cryptocurrency Mobile Payment With Smart Devices.

Lei Xu, Lin Chen, Zhimin Gao, Larry Carranco, Xinxin Fan, Nolan Shah, Nour Diallo, Weidong Shi

IEEE Consumer Electron. Mag., 2020

Blockchain based End-to-end Tracking System for Distributed IoT Intelligence Application Security Enhancement.

Lei Xu, Zhimin Gao, Xinxin Fan, Lin Chen, Han-Yee Kim, Taeweon Suh, Weidong Shi

Proceedings of the 19th IEEE International Conference on Trust, 2020

FPGA based Blockchain System for Industrial IoT.

Lei Xu, Lin Chen, Zhimin Gao, Han-Yee Kim, Taeweon Suh, Weidong Shi

Proceedings of the 19th IEEE International Conference on Trust, 2020

PrivateEx: privacy preserving exchange of crypto-assets on blockchain.

Lei Xu, Lin Chen, Zhimin Gao, Keshav Kasichainula, Miguel Fernandez, Bogdan Carbunar, Weidong Shi

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

New Bounds on Augmenting Steps of Block-Structured Integer Programs.

Lin Chen, Martin Koutecký, Lei Xu, Weidong Shi

Proceedings of the 28th Annual European Symposium on Algorithms, 2020

DIAM-IoT: A Decentralized Identity and Access Management Framework for Internet of Things.

Xinxin Fan, Qi Chai, Lei Xu, Dong Guo

Proceedings of the BSCI '20: Proceedings of the 2nd ACM International Symposium on Blockchain and Secure Critical Infrastructure, 2020

DL-DP: Improving the Security of Industrial IoT with Decentralized Ledger Defined Perimeter.

Lei Xu, Lin Chen, Zhimin Gao, Xinxin Fan, Weidong Shi

Proceedings of the BSCI '20: Proceedings of the 2nd ACM International Symposium on Blockchain and Secure Critical Infrastructure, 2020

2019

Private and Atomic Exchange of Assets over Zero Knowledge Based Payment Ledger.

Zhimin Gao, Lei Xu, Keshav Kasichainula, Lin Chen, Bogdan Carbunar, Weidong Shi

CoRR, 2019

Cross Chain Bribery Contracts: Majority vs Mighty Minority.

Quang Tran, Lin Chen, Lei Xu, Yang Lu, Weidong Shi

Proceedings of the Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection, 2019

Election with Bribe-Effect Uncertainty: A Dichotomy Result.

Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

DAcc: Decentralized Ledger based Access Control for Enterprise Applications.

Isaac M. Markus, Lei Xu, I Subhod, Nikhil Nayab

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

FPGALedger: FPGA based Decentralized Ledger for Enterprise Applications.

Han-Yee Kim, Taeweon Suh, Lei Xu, Weidong Shi

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

KCRS: A Blockchain-Based Key Compromise Resilient Signature System.

Lei Xu, Lin Chen, Zhimin Gao, Xinxin Fan, Kimberly Doan, Shouhuai Xu, Weidong Shi

Proceedings of the Blockchain and Trustworthy Systems - First International Conference, 2019

Election with Bribed Voter Uncertainty: Hardness and Approximation Algorithm.

Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

SafeDB: Spark Acceleration on FPGA Clouds with Enclaved Data Processing and Bitstream Protection.

Han-Yee Kim, Rohyoung Myung, Boeui Hong, Heon-Chang Yu, Taeweon Suh, Lei Xu, Weidong Shi

Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019

2018

Architectural Protection of Application Privacy against Software and Physical Attacks in Untrusted Cloud Environment.

Lei Xu, Jong-Hyuk Lee, Seung Hun Kim, Qingji Zheng, Shouhuai Xu, Taeweon Suh, Won Woo Ro, Weidong Shi

IEEE Trans. Cloud Comput., 2018

Efficient Public Blockchain Client for Lightweight Users.

Lei Xu, Lin Chen, Zhimin Gao, Shouhuai Xu, Weidong Shi

EAI Endorsed Trans. Security Safety, 2018

CoC: A Unified Distributed Ledger Based Supply Chain Management System.

Zhimin Gao, Lei Xu, Lin Chen, Xi Zhao, Yang Lu, Weidong Shi

J. Comput. Sci. Technol., 2018

Tyranny of the Majority: On the (Im)possibility of Correctness of Smart Contracts.

Lin Chen, Lei Xu, Zhimin Gao, Yang Lu, Weidong Shi

IEEE Secur. Priv., 2018

FASTEN: An FPGA-Based Secure System for Big Data Processing.

Boeui Hong, Han-Yee Kim, Minsu Kim, Taeweon Suh, Lei Xu, Weidong Shi

IEEE Des. Test, 2018

On the Graver basis of block-structured integer programming.

Lin Chen, Lei Xu, Weidong Shi

CoRR, 2018

Blockchain-based Identity Management with Mobile Device.

Zhimin Gao, Lei Xu, Glenn Turner, Brijesh Patel, Nour Diallo, Lin Chen, Weidong Shi

Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems, 2018

The Game Among Bribers in a Smart Contract System.

Lin Chen, Lei Xu, Zhimin Gao, Nolan Shah, Ton Chanh Le, Yang Lu, Weidong Shi

Proceedings of the Financial Cryptography and Data Security, 2018

Protecting Early Stage Proof-of-Work Based Public Blockchain.

Lin Chen, Lei Xu, Zhimin Gao, Yang Lu, Weidong Shi

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Proving Conditional Termination for Smart Contracts.

Ton Chanh Le, Lei Xu, Lin Chen, Weidong Shi

Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts, 2018

Protecting Election from Bribery: New Approach and Computational Complexity Characterization.

Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Nolan Shah, Yang Lu, Weidong Shi

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

DL-BAC: Distributed Ledger Based Access Control for Web Applications.

Lei Xu, Lin Chen, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi

Proceedings of the 26th International Conference on World Wide Web Companion, 2017

On Security Analysis of Proof-of-Elapsed-Time (PoET).

Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

EPBC: Efficient Public Blockchain Client for lightweight users.

Lei Xu, Lin Chen, Zhimin Gao, Shouhuai Xu, Weidong Shi

Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, 2017

Smart Contract Execution - the (+-)-Biased Ballot Problem.

Lin Chen, Lei Xu, Zhimin Gao, Nolan Shah, Yang Lu, Weidong Shi

Proceedings of the 28th International Symposium on Algorithms and Computation, 2017

Scalable Blockchain Based Smart Contract Execution.

Zhimin Gao, Lei Xu, Lin Chen, Nolan Shah, Yang Lu, Weidong Shi

Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

CoC: Secure Supply Chain Management System Based on Public Ledger.

Lei Xu, Lin Chen, Zhimin Gao, Yang Lu, Weidong Shi

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications.

Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi

Proceedings of the Financial Cryptography and Data Security, 2017

Evaluating coherence-exploiting hardware Trojan.

Minsu Kim, Sunhee Kong, Boeui Hong, Lei Xu, Weidong Shi, Taeweon Suh

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

MapReduce for Elliptic Curve Discrete Logarithm Problem.

Zhimin Gao, Lei Xu, Weidong Shi

Proceedings of the IEEE World Congress on Services, 2016

2015

Integrity Protection for Big Data Processing with Dynamic Redundancy Computation.

Zhimin Gao, Nicholas DeSalvo, Pham Dang Khoa, Seung-Hun Kim, Lei Xu, Won Woo Ro, Rakesh M. Verma, Weidong Shi

Proceedings of the 2015 IEEE International Conference on Autonomic Computing, 2015

Enhancing Software Dependability and Security with Hardware Supported Instruction Address Space Randomization.

Seung-Hun Kim, Lei Xu, Ziyi Liu, Zhiqiang Lin, Won Woo Ro, Weidong Shi

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

ABSS: An Attribute-based Sanitizable Signature for Integrity of Outsourced Database with Public Cloud.

Lei Xu, Xinwen Zhang, Xiaoxin Wu, Weidong Shi

Proceedings of the 5th ACM Conference on Data and Application Security and Privacy, 2015

Another Look at Secure Big Data Processing: Formal Framework and a Potential Approach.

Lei Xu, Pham Dang Khoa, Seung-Hun Kim, Won Woo Ro, Weidong Shi

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

LUT based secure cloud computing - An implementation using FPGAs.

Lei Xu, Pham Dang Khoa, Seung-Hun Kim, Won Woo Ro, Weidong Shi

Proceedings of the 2014 International Conference on ReConFigurable Computing and FPGAs, 2014

Secure session on mobile: An exploration on combining biometric, trustzone, and user behavior.

Tao Feng, Nicholas DeSalvo, Lei Xu, Xi Zhao, Xi Wang, Weidong Shi

Proceedings of the 6th International Conference on Mobile Computing, 2014

Removing the Root of Trust: Secure Oblivious Key Establishment for FPGAs.

Lei Xu, Weidong Shi

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

Seasoning effect based side channel attacks to AES implementation with phase change memory.

Lei Xu, Weidong Shi, Nicholas DeSalvo

Proceedings of the HASP 2014, 2014

Privacy preserving large scale DNA read-mapping in MapReduce framework using FPGAs.

Lei Xu, Han-Yee Kim, Xi Wang, Weidong Shi, Taeweon Suh

Proceedings of the 24th International Conference on Field Programmable Logic and Applications, 2014

Fault resilient physical neural networks on a single chip.

Weidong Shi, Yuanfeng Wen, Ziyi Liu, Xi Zhao, Dainis Boumber, Ricardo Vilalta, Lei Xu

Proceedings of the 2014 International Conference on Compilers, 2014

PFC: Privacy Preserving FPGA Cloud - A Case Study of MapReduce.

Lei Xu, Weidong Shi, Taeweon Suh

Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013

Hub: heterogeneous bucketization for database outsourcing.

Lei Xu, Xiaoxin Wu

Proceedings of the 2013 International Workshop on Security in Cloud Computing, 2013

2012

CL-PRE: a certificateless proxy re-encryption scheme for secure data sharing with public cloud.

Lei Xu, Xiaoxin Wu, Xinwen Zhang

Proceedings of the 7th ACM Symposium on Information, Compuer and Communications Security, 2012

2011

ECDLP on GPU.

Lei Xu, Dongdai Lin, Jing Zou

IACR Cryptol. ePrint Arch., 2011

Poster: a certificateless proxy re-encryption scheme for cloud-based data sharing.

Xiaoxin Wu, Lei Xu, Xinwen Zhang

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Accelerating Inverse of <i>GF</i>(2^<i>n</i>) with Precomputation.

Lei Xu, Dongdai Lin

Proceedings of the Information Security, 2010

Refinement of Miller's Algorithm Over Edwards Curves.

Lei Xu, Dongdai Lin

Proceedings of the Topics in Cryptology, 2010