Lei Xu

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 72

Top Topics

Mapreduce Framework

Data Processing

Scalar Multiplication

Top Venues

Financial Cryptography Workshops

Publications

Rabimba Karanjai, Lei Xu, Lin Chen, Nour Diallo, Weidong Shi
Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications. SAC (2024)
Rabimba Karanjai, Keshav Kasichainula, Lei Xu, Nour Diallo, Lin Chen, Weidong Shi
DIaC: Re-Imagining Decentralized Infrastructure as Code Using Blockchain. IEEE Trans. Netw. Serv. Manag. 21 (2) (2024)
Rabimba Karanjai, Lei Xu, Lin Chen, Nour Diallo, Weidong Shi
Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications. CoRR (2024)
Rabimba Karanjai, Aftab Hussain, Md. Rafiqul Islam Rabin, Lei Xu, Weidong Shi, Mohammad Amin Alipour
Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing. CoRR (2024)
Rabimba Karanjai, Lei Xu, Weidong Shi
SolMover: Smart Contract Code Translation Based on Concepts. AIware (2024)
Rabimba Karanjai, Lei Xu, Weidong Shi
Teaching Machines to Code: Smart Contract Translation with LLMs. CoRR (2024)
Lin Chen, Lei Xu, Zhimin Gao, Ahmed Imtiaz Sunny, Keshav Kasichainula, Weidong Shi
A Game Theoretical Analysis of Non-linear Blockchain System. Distributed Ledger Technol. Res. Pract. 3 (1) (2024)
Xinxin Fan, Veronika Kuchta, Francesco Sica, Lei Xu
Speeding Up Multi-Scalar Multiplications for Pairing-Based zkSNARKs. IACR Cryptol. ePrint Arch. 2024 (2024)
Ngoc-Son Pham, Sangwon Shin, Lei Xu, Weidong Shi, Taeweon Suh
StarSPA: Stride-Aware Sparsity Compression for Efficient CNN Acceleration. IEEE Access 12 (2024)
Rabimba Karanjai, Lei Xu, Nour Diallo, Lin Chen, Weidong Shi
DeFaaS: Decentralized Function-as-a-Service for Emerging dApps and Web3. ICBC (2023)
Rabimba Karanjai, Edward Li, Lei Xu, Weidong Shi
Who is Smarter? An Empirical Study of AI-Based Smart Contract Creation. BRAINS (2023)
Xinxin Fan, Lei Xu
Towards a Rollup-Centric Scalable Architecture for Decentralized Physical Infrastructure Networks: A Position Paper. BlockSys (2023)
Rabimba Karanjai, Rowan Collier, Zhimin Gao, Lin Chen, Xinxin Fan, Taeweon Suh, Weidong Shi, Lei Xu
Decentralized Translator of Trust: Supporting Heterogeneous TEE for Critical Infrastructure Protection. BSCI (2023)
Dana Alsagheer, Nour Diallo, Rabimba Karanjai, Lei Xu, Larry Shi
Decentralized Machine Learning Governance. ICBC (2023)
Liangde Tao, Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi
Electoral manipulation via influence: probabilistic model. Auton. Agents Multi Agent Syst. 37 (1) (2023)
Rabimba Karanjai, Zhimin Gao, Lin Chen, Xinxin Fan, Teweon Suh, Weidong Shi, Lei Xu
DHTee: Decentralized Infrastructure for Heterogeneous TEEs. ICBC (2023)
Dana Alsagheer, Lei Xu, Weidong Shi
Decentralized Machine Learning Governance: Overview, Opportunities, and Challenges. IEEE Access 11 (2023)
Quang Tran, Lin Chen, Lei Xu, Yang Lu, Rabimba Karanjai, Weidong Shi
Cross Chain Bribery Contracts: Majority vs Mighty Minority. CoRR (2023)
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
Privacy-Preserving Object Detection with Veracruz. PerCom Workshops (2023)
Xinxin Fan, Lei Xu
The 1st International Workshop on Decentralized Physical Infrastructure Networks (DePIN 2023). WF-IoT (2023)
Rabimba Karanjai, Keshav Kasichainula, Nour Diallo, Mudabbir Kaleem, Lei Xu, Lin Chen, Weidong Shi
Decentralized Application Infrastructures as Smart Contract Codes. ICBC (2022)
Rabimba Karanjai, Lei Xu, Lin Chen, Fengwei Zhang, Zhimin Gao, Weidong Shi
Lessons Learned from Blockchain Applications of Trusted Execution Environments and Implications for Future Research. CoRR (2022)
Lin Chen, Ahmed Imtiaz Sunny, Lei Xu, Shouhuai Xu, Zhimin Gao, Yang Lu, Weidong Shi, Nolan Shah
Computational complexity characterization of protecting elections from bribery. Theor. Comput. Sci. 891 (2021)
Lei Xu, Lin Chen, Zhimin Gao, Hiram Moya, Weidong Shi
Reshaping the Landscape of the Future: Software-Defined Manufacturing. Computer 54 (7) (2021)
Lei Xu, Xinxin Fan, Lucas Hall, Qi Chai
New Gold Mine: Harvesting IoT Data Through DeFi in a Secure Manner. ICBC (2021)
Han-Yee Kim, Lei Xu, Weidong Shi, Taeweon Suh
A Secure and Flexible FPGA-Based Blockchain System for the IIoT. Computer 54 (2) (2021)
Lin Chen, Ahmed Sunny, Lei Xu, Shouhuai Xu, Zhimin Gao, Yang Lu, Weidong Shi, Nolan Shah
Computational Complexity Characterization of Protecting Elections from Bribery. CoRR (2020)
Lei Xu, Lin Chen, Zhimin Gao, Larry Carranco, Xinxin Fan, Nolan Shah, Nour Diallo, Weidong Shi
Supporting Blockchain-Based Cryptocurrency Mobile Payment With Smart Devices. IEEE Consumer Electron. Mag. 9 (2) (2020)
Lei Xu, Lin Chen, Zhimin Gao, Xinxin Fan, Taeweon Suh, Weidong Shi
DIoTA: Decentralized-Ledger-Based Framework for Data Authenticity Protection in IoT Systems. IEEE Netw. 34 (1) (2020)
Lei Xu, Lin Chen, Zhimin Gao, Han-Yee Kim, Taeweon Suh, Weidong Shi
FPGA based Blockchain System for Industrial IoT. TrustCom (2020)
Lin Chen, Martin Koutecký, Lei Xu, Weidong Shi
New Bounds on Augmenting Steps of Block-Structured Integer Programs. ESA (2020)
Lei Xu, Zhimin Gao, Xinxin Fan, Lin Chen, Han-Yee Kim, Taeweon Suh, Weidong Shi
Blockchain based End-to-end Tracking System for Distributed IoT Intelligence Application Security Enhancement. TrustCom (2020)
Lei Xu, Lin Chen, Zhimin Gao, Xinxin Fan, Weidong Shi
DL-DP: Improving the Security of Industrial IoT with Decentralized Ledger Defined Perimeter. BSCI (2020)
Lei Xu, Isaac M. Markus, I Subhod, Nikhil Nayab
Blockchain-based access control for enterprise blockchain applications. Int. J. Netw. Manag. 30 (5) (2020)
Xinxin Fan, Qi Chai, Lei Xu, Dong Guo
DIAM-IoT: A Decentralized Identity and Access Management Framework for Internet of Things. BSCI (2020)
Lei Xu, Lin Chen, Zhimin Gao, Keshav Kasichainula, Miguel Fernandez, Bogdan Carbunar, Weidong Shi
PrivateEx: privacy preserving exchange of crypto-assets on blockchain. SAC (2020)
Lin Chen, Lei Xu, Zhimin Gao, Keshav Kasichainula, Weidong Shi
Nonlinear Blockchain Scalability: a Game-Theoretic Perspective. CoRR (2020)
Lin Chen, Ahmed Sunny, Lei Xu, Shouhuai Xu, Zhimin Gao, Yang Lu, Weidong Shi, Nolan Shah
Computational Complexity Characterization of Protecting Elections from Bribery. COCOON (2020)
Lei Xu, Lin Chen, Zhimin Gao, Xinxin Fan, Kimberly Doan, Shouhuai Xu, Weidong Shi
KCRS: A Blockchain-Based Key Compromise Resilient Signature System. BlockSys (2019)
Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi
Election with Bribe-Effect Uncertainty: A Dichotomy Result. IJCAI (2019)
Han-Yee Kim, Taeweon Suh, Lei Xu, Weidong Shi
FPGALedger: FPGA based Decentralized Ledger for Enterprise Applications. IEEE ICBC (2019)
Zhimin Gao, Lei Xu, Keshav Kasichainula, Lin Chen, Bogdan Carbunar, Weidong Shi
Private and Atomic Exchange of Assets over Zero Knowledge Based Payment Ledger. CoRR (2019)
Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi
Election with Bribed Voter Uncertainty: Hardness and Approximation Algorithm. AAAI (2019)
Quang Tran, Lin Chen, Lei Xu, Yang Lu, Weidong Shi
Cross Chain Bribery Contracts: Majority vs Mighty Minority. PAAMS (Workshops) (2019)
Isaac M. Markus, Lei Xu, I Subhod, Nikhil Nayab
DAcc: Decentralized Ledger based Access Control for Enterprise Applications. IEEE ICBC (2019)
Han-Yee Kim, Rohyoung Myung, Boeui Hong, Heon-Chang Yu, Taeweon Suh, Lei Xu, Weidong Shi
SafeDB: Spark Acceleration on FPGA Clouds with Enclaved Data Processing and Bitstream Protection. CLOUD (2019)
Lei Xu, Jong-Hyuk Lee, Seung Hun Kim, Qingji Zheng, Shouhuai Xu, Taeweon Suh, Won Woo Ro, Weidong Shi
Architectural Protection of Application Privacy against Software and Physical Attacks in Untrusted Cloud Environment. IEEE Trans. Cloud Comput. 6 (2) (2018)
Ton Chanh Le, Lei Xu, Lin Chen, Weidong Shi
Proving Conditional Termination for Smart Contracts. BCC@AsiaCCS (2018)
Lin Chen, Lei Xu, Zhimin Gao, Nolan Shah, Ton Chanh Le, Yang Lu, Weidong Shi
The Game Among Bribers in a Smart Contract System. Financial Cryptography Workshops (2018)
Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Nolan Shah, Yang Lu, Weidong Shi
Protecting Election from Bribery: New Approach and Computational Complexity Characterization. AAMAS (2018)
Zhimin Gao, Lei Xu, Lin Chen, Xi Zhao, Yang Lu, Weidong Shi
CoC: A Unified Distributed Ledger Based Supply Chain Management System. J. Comput. Sci. Technol. 33 (2) (2018)
Lei Xu, Lin Chen, Zhimin Gao, Shouhuai Xu, Weidong Shi
Efficient Public Blockchain Client for Lightweight Users. CoRR (2018)
Zhimin Gao, Lei Xu, Glenn Turner, Brijesh Patel, Nour Diallo, Lin Chen, Weidong Shi
Blockchain-based Identity Management with Mobile Device. CRYBLOCK@MobiSys (2018)
Lin Chen, Lei Xu, Weidong Shi
On the Graver basis of block-structured integer programming. CoRR (2018)
Lin Chen, Lei Xu, Zhimin Gao, Yang Lu, Weidong Shi
Tyranny of the Majority: On the (Im)possibility of Correctness of Smart Contracts. IEEE Secur. Priv. 16 (4) (2018)
Boeui Hong, Han-Yee Kim, Minsu Kim, Taeweon Suh, Lei Xu, Weidong Shi
FASTEN: An FPGA-Based Secure System for Big Data Processing. IEEE Des. Test 35 (1) (2018)
Lei Xu, Lin Chen, Zhimin Gao, Shouhuai Xu, Weidong Shi
Efficient Public Blockchain Client for Lightweight Users. EAI Endorsed Trans. Security Safety 4 (13) (2018)
Lin Chen, Lei Xu, Zhimin Gao, Yang Lu, Weidong Shi
Protecting Early Stage Proof-of-Work Based Public Blockchain. DSN Workshops (2018)
Lin Chen, Lei Xu, Shouhuai Xu, Zhimin Gao, Weidong Shi
Election with Bribed Voter Uncertainty: Hardness and Approximation Algorithm. CoRR (2018)
Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi
On Security Analysis of Proof-of-Elapsed-Time (PoET). SSS (2017)
Lei Xu, Lin Chen, Zhimin Gao, Shouhuai Xu, Weidong Shi
EPBC: Efficient Public Blockchain Client for lightweight users. SERIAL@Middleware (2017)
Minsu Kim, Sunhee Kong, Boeui Hong, Lei Xu, Weidong Shi, Taeweon Suh
Evaluating coherence-exploiting hardware Trojan. DATE (2017)
Lin Chen, Lei Xu, Zhimin Gao, Nolan Shah, Yang Lu, Weidong Shi
Smart Contract Execution - the (+-)-Biased Ballot Problem. ISAAC (2017)
Lei Xu, Lin Chen, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi
DL-BAC: Distributed Ledger Based Access Control for Web Applications. WWW (Companion Volume) (2017)
Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi
Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications. Financial Cryptography Workshops (2017)
Zhimin Gao, Lei Xu, Lin Chen, Nolan Shah, Yang Lu, Weidong Shi
Scalable Blockchain Based Smart Contract Execution. ICPADS (2017)
Lei Xu, Lin Chen, Zhimin Gao, Yang Lu, Weidong Shi
CoC: Secure Supply Chain Management System Based on Public Ledger. ICCCN (2017)
Zhimin Gao, Lei Xu, Weidong Shi
MapReduce for Elliptic Curve Discrete Logarithm Problem. SERVICES (2016)
Lei Xu, Xinwen Zhang, Xiaoxin Wu, Weidong Shi
ABSS: An Attribute-based Sanitizable Signature for Integrity of Outsourced Database with Public Cloud. CODASPY (2015)
Lei Xu, Pham Dang Khoa, Seung-Hun Kim, Won Woo Ro, Weidong Shi
Another Look at Secure Big Data Processing: Formal Framework and a Potential Approach. CLOUD (2015)
Seung-Hun Kim, Lei Xu, Ziyi Liu, Zhiqiang Lin, Won Woo Ro, Weidong Shi
Enhancing Software Dependability and Security with Hardware Supported Instruction Address Space Randomization. DSN (2015)
Zhimin Gao, Nicholas DeSalvo, Pham Dang Khoa, Seung-Hun Kim, Lei Xu, Won Woo Ro, Rakesh M. Verma, Weidong Shi
Integrity Protection for Big Data Processing with Dynamic Redundancy Computation. ICAC (2015)
Tao Feng, Nicholas DeSalvo, Lei Xu, Xi Zhao, Xi Wang, Weidong Shi
Secure session on mobile: An exploration on combining biometric, trustzone, and user behavior. MobiCASE (2014)
Lei Xu, Han-Yee Kim, Xi Wang, Weidong Shi, Taeweon Suh
Privacy preserving large scale DNA read-mapping in MapReduce framework using FPGAs. FPL (2014)
Lei Xu, Weidong Shi, Taeweon Suh
PFC: Privacy Preserving FPGA Cloud - A Case Study of MapReduce. IEEE CLOUD (2014)
Lei Xu, Weidong Shi, Nicholas DeSalvo
Seasoning effect based side channel attacks to AES implementation with phase change memory. HASP@ISCA (2014)
Lei Xu, Weidong Shi
Removing the Root of Trust: Secure Oblivious Key Establishment for FPGAs. ISVLSI (2014)
Lei Xu, Pham Dang Khoa, Seung-Hun Kim, Won Woo Ro, Weidong Shi
LUT based secure cloud computing - An implementation using FPGAs. ReConFig (2014)
Weidong Shi, Yuanfeng Wen, Ziyi Liu, Xi Zhao, Dainis Boumber, Ricardo Vilalta, Lei Xu
Fault resilient physical neural networks on a single chip. CASES (2014)
Lei Xu, Xiaoxin Wu
Hub: heterogeneous bucketization for database outsourcing. SCC@ASIACCS (2013)
Lei Xu, Xiaoxin Wu, Xinwen Zhang
CL-PRE: a certificateless proxy re-encryption scheme for secure data sharing with public cloud. AsiaCCS (2012)
Lei Xu, Dongdai Lin, Jing Zou
ECDLP on GPU. IACR Cryptol. ePrint Arch. 2011 (2011)
Lei Xu, Dongdai Lin
Refinement of Miller's Algorithm Over Edwards Curves. CT-RSA (2010)
Lei Xu, Dongdai Lin
) with Precomputation. ISPEC (2010)