Refinement of Miller's Algorithm Over Edwards Curves. - Lei Xu 012; Dongdai Lin (CT-RSA, 2010)

Accelerating Inverse of GF(2n) with Precomputation. - Lei Xu 012; Dongdai Lin (ISPEC, 2010)

Poster: a certificateless proxy re-encryption scheme for cloud-based data sharing. - Xiaoxin Wu 001; Lei Xu 012; Xinwen Zhang (CCS, 2011)

ECDLP on GPU. - Lei Xu 012; Dongdai Lin; Jing Zou (IACR Cryptol. ePrint Arch., 2011)

CL-PRE: a certificateless proxy re-encryption scheme for secure data sharing with public cloud. - Lei Xu 012; Xiaoxin Wu 001; Xinwen Zhang (AsiaCCS, 2012)

Hub: heterogeneous bucketization for database outsourcing. - Lei Xu 012; Xiaoxin Wu 001 (SCC@ASIACCS, 2013)

PFC: Privacy Preserving FPGA Cloud - A Case Study of MapReduce. - Lei Xu 012; Weidong Shi; Taeweon Suh (IEEE CLOUD, 2014)

Fault resilient physical neural networks on a single chip. - Weidong Shi; Yuanfeng Wen; Ziyi Liu 002; Xi Zhao 001; Dainis Boumber; Ricardo Vilalta; Lei Xu 012 (CASES, 2014)

Privacy preserving large scale DNA read-mapping in MapReduce framework using FPGAs. - Lei Xu 012; Han-Yee Kim; Xi Wang 011; Weidong Shi; Taeweon Suh (FPL, 2014)

Seasoning effect based side channel attacks to AES implementation with phase change memory. - Lei Xu 012; Weidong Shi; Nicholas DeSalvo (HASP@ISCA, 2014)

Removing the Root of Trust: Secure Oblivious Key Establishment for FPGAs. - Lei Xu 012; Weidong Shi (ISVLSI, 2014)

Secure session on mobile: An exploration on combining biometric, trustzone, and user behavior. - Tao Feng 011; Nicholas DeSalvo; Lei Xu 012; Xi Zhao 001; Xi Wang 011; Weidong Shi (MobiCASE, 2014)

LUT based secure cloud computing - An implementation using FPGAs. - Lei Xu 012; Pham Dang Khoa; Seung-Hun Kim; Won Woo Ro; Weidong Shi (ReConFig, 2014)

Another Look at Secure Big Data Processing: Formal Framework and a Potential Approach. - Lei Xu 012; Pham Dang Khoa; Seung-Hun Kim; Won Woo Ro; Weidong Shi (CLOUD, 2015)

ABSS: An Attribute-based Sanitizable Signature for Integrity of Outsourced Database with Public Cloud. - Lei Xu 012; Xinwen Zhang; Xiaoxin Wu 001; Weidong Shi (CODASPY, 2015)

Enhancing Software Dependability and Security with Hardware Supported Instruction Address Space Randomization. - Seung-Hun Kim; Lei Xu 012; Ziyi Liu 002; Zhiqiang Lin 001; Won Woo Ro; Weidong Shi (DSN, 2015)

Integrity Protection for Big Data Processing with Dynamic Redundancy Computation. - Zhimin Gao; Nicholas DeSalvo; Pham Dang Khoa; Seung-Hun Kim; Lei Xu 012; Won Woo Ro; Rakesh M. Verma; Weidong Shi (ICAC, 2015)

MapReduce for Elliptic Curve Discrete Logarithm Problem. - Zhimin Gao; Lei Xu 012; Weidong Shi (SERVICES, 2016)

Evaluating coherence-exploiting hardware Trojan. - Minsu Kim; Sunhee Kong; Boeui Hong; Lei Xu 012; Weidong Shi; Taeweon Suh (DATE, 2017)

Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications. - Lin Chen 009; Lei Xu 012; Nolan Shah; Zhimin Gao; Yang Lu 010; Weidong Shi (Financial Cryptography Workshops, 2017)

CoC: Secure Supply Chain Management System Based on Public Ledger. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Yang Lu 010; Weidong Shi (ICCCN, 2017)

Scalable Blockchain Based Smart Contract Execution. - Zhimin Gao; Lei Xu 012; Lin Chen 009; Nolan Shah; Yang Lu 010; Weidong Shi (ICPADS, 2017)

Smart Contract Execution - the (+-)-Biased Ballot Problem. - Lin Chen 009; Lei Xu 012; Zhimin Gao; Nolan Shah; Yang Lu 010; Weidong Shi (ISAAC, 2017)

EPBC: Efficient Public Blockchain Client for lightweight users. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Shouhuai Xu; Weidong Shi (SERIAL@Middleware, 2017)

On Security Analysis of Proof-of-Elapsed-Time (PoET). - Lin Chen 009; Lei Xu 012; Nolan Shah; Zhimin Gao; Yang Lu 010; Weidong Shi (SSS, 2017)

DL-BAC: Distributed Ledger Based Access Control for Web Applications. - Lei Xu 012; Lin Chen 009; Nolan Shah; Zhimin Gao; Yang Lu 010; Weidong Shi (WWW (Companion Volume), 2017)

Protecting Election from Bribery: New Approach and Computational Complexity Characterization. - Lin Chen 009; Lei Xu 012; Shouhuai Xu; Zhimin Gao; Nolan Shah; Yang Lu 010; Weidong Shi (AAMAS, 2018)

Proving Conditional Termination for Smart Contracts. - Ton Chanh Le; Lei Xu 012; Lin Chen 009; Weidong Shi (BCC@AsiaCCS, 2018)

Protecting Early Stage Proof-of-Work Based Public Blockchain. - Lin Chen 009; Lei Xu 012; Zhimin Gao; Yang Lu 010; Weidong Shi (DSN Workshops, 2018)

The Game Among Bribers in a Smart Contract System. - Lin Chen 009; Lei Xu 012; Zhimin Gao; Nolan Shah; Ton Chanh Le; Yang Lu 010; Weidong Shi (Financial Cryptography Workshops, 2018)

Blockchain-based Identity Management with Mobile Device. - Zhimin Gao; Lei Xu 012; Glenn Turner; Brijesh Patel; Nour Diallo; Lin Chen 009; Weidong Shi (CRYBLOCK@MobiSys, 2018)

On the Graver basis of block-structured integer programming. - Lin Chen 009; Lei Xu 012; Weidong Shi (CoRR, 2018)

FASTEN: An FPGA-Based Secure System for Big Data Processing. - Boeui Hong; Han-Yee Kim; Minsu Kim; Taeweon Suh; Lei Xu 012; Weidong Shi (IEEE Des. Test, 2018)

Tyranny of the Majority: On the (Im)possibility of Correctness of Smart Contracts. - Lin Chen 009; Lei Xu 012; Zhimin Gao; Yang Lu 010; Weidong Shi (IEEE Secur. Priv., 2018)

CoC: A Unified Distributed Ledger Based Supply Chain Management System. - Zhimin Gao; Lei Xu 012; Lin Chen 009; Xi Zhao 001; Yang Lu 010; Weidong Shi (J. Comput. Sci. Technol., 2018)

Efficient Public Blockchain Client for Lightweight Users. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Shouhuai Xu; Weidong Shi (EAI Endorsed Trans. Security Safety, 2018)

Architectural Protection of Application Privacy against Software and Physical Attacks in Untrusted Cloud Environment. - Lei Xu 012; Jong-Hyuk Lee; Seung Hun Kim; Qingji Zheng; Shouhuai Xu; Taeweon Suh; Won Woo Ro; Weidong Shi (IEEE Trans. Cloud Comput., 2018)

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 012; Weidong Shi (CLOUD, 2019)

Election with Bribed Voter Uncertainty: Hardness and Approximation Algorithm. - Lin Chen 009; Lei Xu 012; Shouhuai Xu; Zhimin Gao; Weidong Shi (AAAI, 2019)

KCRS: A Blockchain-Based Key Compromise Resilient Signature System. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Xinxin Fan; Kimberly Doan; Shouhuai Xu; Weidong Shi (BlockSys, 2019)

FPGALedger: FPGA based Decentralized Ledger for Enterprise Applications. - Han-Yee Kim; Taeweon Suh; Lei Xu 012; Weidong Shi (IEEE ICBC, 2019)

DAcc: Decentralized Ledger based Access Control for Enterprise Applications. - Isaac M. Markus; Lei Xu 012; I Subhod; Nikhil Nayab (IEEE ICBC, 2019)

Election with Bribe-Effect Uncertainty: A Dichotomy Result. - Lin Chen 009; Lei Xu 012; Shouhuai Xu; Zhimin Gao; Weidong Shi (IJCAI, 2019)

Cross Chain Bribery Contracts: Majority vs Mighty Minority. - Quang Tran; Lin Chen 009; Lei Xu 012; Yang Lu 010; Weidong Shi (PAAMS (Workshops), 2019)

Private and Atomic Exchange of Assets over Zero Knowledge Based Payment Ledger. - Zhimin Gao; Lei Xu 012; Keshav Kasichainula; Lin Chen 009; Bogdan Carbunar; Weidong Shi (CoRR, 2019)

DL-DP: Improving the Security of Industrial IoT with Decentralized Ledger Defined Perimeter. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Xinxin Fan; Weidong Shi (BSCI, 2020)

DIAM-IoT: A Decentralized Identity and Access Management Framework for Internet of Things. - Xinxin Fan; Qi Chai; Lei Xu 012; Dong Guo (BSCI, 2020)

New Bounds on Augmenting Steps of Block-Structured Integer Programs. - Lin Chen 009; Martin Koutecký; Lei Xu 012; Weidong Shi (ESA, 2020)

PrivateEx: privacy preserving exchange of crypto-assets on blockchain. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Keshav Kasichainula; Miguel Fernandez; Bogdan Carbunar; Weidong Shi (SAC, 2020)

FPGA based Blockchain System for Industrial IoT. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Han-Yee Kim; Taeweon Suh; Weidong Shi (TrustCom, 2020)

Blockchain based End-to-end Tracking System for Distributed IoT Intelligence Application Security Enhancement. - Lei Xu 012; Zhimin Gao; Xinxin Fan; Lin Chen 009; Han-Yee Kim; Taeweon Suh; Weidong Shi (TrustCom, 2020)

Supporting Blockchain-Based Cryptocurrency Mobile Payment With Smart Devices. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Larry Carranco; Xinxin Fan; Nolan Shah; Nour Diallo; Weidong Shi (IEEE Consumer Electron. Mag., 2020)

Nonlinear Blockchain Scalability: a Game-Theoretic Perspective. - Lin Chen 009; Lei Xu 012; Zhimin Gao; Keshav Kasichainula; Weidong Shi (CoRR, 2020)

Blockchain-based access control for enterprise blockchain applications. - Lei Xu 012; Isaac M. Markus; I Subhod; Nikhil Nayab (Int. J. Netw. Manag., 2020)

DIoTA: Decentralized-Ledger-Based Framework for Data Authenticity Protection in IoT Systems. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Xinxin Fan; Taeweon Suh; Weidong Shi (IEEE Netw., 2020)

An event driven framework for smart contract execution. - Mudabbir Kaleem; Keshav Kasichainula; Rabimba Karanjai; Lei Xu 012; Zhimin Gao; Lin Chen 009; Weidong Shi (DEBS, 2021)

Hardness and Algorithms for Electoral Manipulation Under Media Influence. - Liangde Tao; Lin Chen 009; Lei Xu 012; Shouhuai Xu; Zhimin Gao; Weidong Shi; Dian Huang (IJTCS-FAW, 2021)

New Gold Mine: Harvesting IoT Data Through DeFi in a Secure Manner. - Lei Xu 012; Xinxin Fan; Lucas Hall; Qi Chai (ICBC, 2021)

On Conditional Cryptocurrency With Privacy. - Rabimba Karanjai; Lei Xu 012; Zhimin Gao; Lin Chen 009; Mudabbir Kaleem; Weidong Shi (IEEE ICBC, 2021)

Lessons Learned from Blockchain Applications of Trusted Execution Environments and Implications for Future Research. - Rabimba Karanjai; Weidong Shi; Lei Xu 012; Lin Chen 009; Fengwei Zhang; Zhimin Gao (HASP@MICRO, 2021)

Privacy preserving event based transaction system in a decentralized environment. - Rabimba Karanjai; Lei Xu 012; Zhimin Gao; Lin Chen 009; Mudabbir Kaleem; Weidong Shi (Middleware, 2021)

A Secure and Flexible FPGA-Based Blockchain System for the IIoT. - Han-Yee Kim; Lei Xu 012; Weidong Shi; Taeweon Suh (Computer, 2021)

Reshaping the Landscape of the Future: Software-Defined Manufacturing. - Lei Xu 012; Lin Chen 009; Zhimin Gao; Hiram Moya; Weidong Shi (Computer, 2021)

EDSC: An Event-Driven Smart Contract Platform. - Mudabbir Kaleem; Keshav Kasichainula; Rabimba Karanjai; Lei Xu 012; Zhimin Gao; Lin Chen 009; Weidong Shi (CoRR, 2021)

Computational complexity characterization of protecting elections from bribery. - Lin Chen 009; Ahmed Imtiaz Sunny; Lei Xu 012; Shouhuai Xu; Zhimin Gao; Yang Lu 010; Weidong Shi; Nolan Shah (Theor. Comput. Sci., 2021)

How Hard is Bribery in Elections with Randomly Selected Voters. - Liangde Tao; Lin Chen 009; Lei Xu 012; Weidong Shi; Ahmed Sunny; Md Mahabub Uz Zaman (AAMAS, 2022)

Decentralized Application Infrastructures as Smart Contract Codes. - Rabimba Karanjai; Keshav Kasichainula; Nour Diallo; Mudabbir Kaleem; Lei Xu 012; Lin Chen 009; Weidong Shi (ICBC, 2022)

Local Differential Privacy Meets Computational Social Choice - Resilience under Voter Deletion. - Liangde Tao; Lin Chen 009; Lei Xu 012; Weidong Shi (IJCAI, 2022)

Audit and Improve Robustness of Private Neural Networks on Encrypted Data. - Jiaqi Xue; Lei Xu 012; Lin Chen 009; Weidong Shi; Kaidi Xu; Qian Lou (CoRR, 2022)

Towards a Rollup-Centric Scalable Architecture for Decentralized Physical Infrastructure Networks: A Position Paper. - Xinxin Fan; Lei Xu 012 (BlockSys, 2023)

Who is Smarter? An Empirical Study of AI-Based Smart Contract Creation. - Rabimba Karanjai; Edward Li; Lei Xu 012; Weidong Shi (BRAINS, 2023)

Decentralized Translator of Trust: Supporting Heterogeneous TEE for Critical Infrastructure Protection. - Rabimba Karanjai; Rowan Collier; Zhimin Gao; Lin Chen 009; Xinxin Fan; Taeweon Suh; Weidong Shi; Lei Xu 012 (BSCI, 2023)

Decentralized Machine Learning Governance. - Dana Alsagheer; Nour Diallo; Rabimba Karanjai; Lei Xu 012; Larry Shi (ICBC, 2023)

DHTee: Decentralized Infrastructure for Heterogeneous TEEs. - Rabimba Karanjai; Zhimin Gao; Lin Chen 009; Xinxin Fan; Teweon Suh; Weidong Shi; Lei Xu 012 (ICBC, 2023)

DeFaaS: Decentralized Function-as-a-Service for Emerging dApps and Web3. - Rabimba Karanjai; Lei Xu 012; Nour Diallo; Lin Chen 009; Weidong Shi (ICBC, 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 012 (PerCom Workshops, 2023)

The 1st International Workshop on Decentralized Physical Infrastructure Networks (DePIN 2023). - Xinxin Fan; Lei Xu 012 (WF-IoT, 2023)

Decentralized Machine Learning Governance: Overview, Opportunities, and Challenges. - Dana Alsagheer; Lei Xu 012; Weidong Shi (IEEE Access, 2023)

Cross Chain Bribery Contracts: Majority vs Mighty Minority. - Quang Tran; Lin Chen 009; Lei Xu 012; Yang Lu 010; Rabimba Karanjai; Weidong Shi (CoRR, 2023)

TPU as Cryptographic Accelerator. - Rabimba Karanjai; Sangwon Shin; Xinxin Fan; Lin Chen 009; Tianwei Zhang 004; Taeweon Suh; Weidong Shi; Lei Xu 012 (CoRR, 2023)

An Empirical Study of AI-based Smart Contract Creation. - Rabimba Karanjai; Edward Li; Lei Xu 012; Weidong Shi (CoRR, 2023)

Electoral manipulation via influence: probabilistic model. - Liangde Tao; Lin Chen 009; Lei Xu 012; Shouhuai Xu; Zhimin Gao; Weidong Shi (Auton. Agents Multi Agent Syst., 2023)

SolMover: Smart Contract Code Translation Based on Concepts. - Rabimba Karanjai; Lei Xu 012; Weidong Shi (AIware, 2024)

TPU as Cryptographic Accelerator. - Rabimba Karanjai; Sangwon Shin; Wujie Xiong; Xinxin Fan; Lin Chen 009; Tianwei Zhang 004; Taeweon Suh; Weidong Shi; Veronika Kuchta; Francesco Sica 001; Lei Xu 012 (HASP@MICRO, 2024)

Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications. - Rabimba Karanjai; Lei Xu 012; Lin Chen 009; Nour Diallo; Weidong Shi (SAC, 2024)

Adding All Flavors: A Hybrid Random Number Generator for dApps and Web3. - Ranjith Chodavarapu; Rabimba Karanjai; Xinxin Fan; Weidong Shi; Lei Xu 012 (SSS, 2024)

StarSPA: Stride-Aware Sparsity Compression for Efficient CNN Acceleration. - Ngoc-Son Pham; Sangwon Shin; Lei Xu 012; Weidong Shi; Taeweon Suh (IEEE Access, 2024)

Teaching Machines to Code: Smart Contract Translation with LLMs. - Rabimba Karanjai; Lei Xu 012; Weidong Shi (CoRR, 2024)

Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing. - Rabimba Karanjai; Aftab Hussain 001; Md. Rafiqul Islam Rabin; Lei Xu 012; Weidong Shi; Mohammad Amin Alipour (CoRR, 2024)

Generating Move Smart Contracts based on Concepts. - Rabimba Karanjai; Sam Blackshear; Lei Xu 012; Weidong Shi (CoRR, 2024)

A Game Theoretical Analysis of Non-linear Blockchain System. - Lin Chen 009; Lei Xu 012; Zhimin Gao; Ahmed Imtiaz Sunny; Keshav Kasichainula; Weidong Shi (Distributed Ledger Technol. Res. Pract., 2024)

DIaC: Re-Imagining Decentralized Infrastructure as Code Using Blockchain. - Rabimba Karanjai; Keshav Kasichainula; Lei Xu 012; Nour Diallo; Lin Chen 009; Weidong Shi (IEEE Trans. Netw. Serv. Manag., 2024)

LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis. - Yang Lu 010; Rabimba Karanjai; Dana Alsagheer; Keshav Kasichainula; Lei Xu 012; Weidong Shi; Shou-Hsuan Stephen Huang (SAC, 2025)

Collaboration is all you need: LLM Assisted Safe Code Translation. - Rabimba Karanjai; Sam Blackshear; Lei Xu 012; Weidong Shi (SIGSOFT FSE Companion, 2025)

Cross-Filter Structured Pruning for Efficient Sparse CNN Acceleration. - Ngoc-Son Pham; Sangwon Shin; Lei Xu 012; Weidong Shi; Taeweon Suh (IEEE Access, 2025)

Bribery in elections with randomly selected voters: Hardness and algorithm. - Liangde Tao; Lin Chen 009; Lei Xu 012; Weidong Shi; Md Mahabub Uz Zaman; Ahmed Sunny (Theor. Comput. Sci., 2025)

Weaving the Cosmos: WASM-Powered Interchain Communication for AI Enabled Smart Contracts. - Rabimba Karanjai; Lei Xu 012; Weidong Shi (CoRR, 2025)

A Multi-Agent Framework for Automated Vulnerability Detection and Repair in Solidity and Move Smart Contracts. - Rabimba Karanjai; Sam Blackshear; Lei Xu 012; Weidong Shi (CoRR, 2025)

Synthesizing Public Opinions with LLMs: Role Creation, Impacts, and the Future to eDemorcacy. - Rabimba Karanjai; Boris Shor; Amanda Austin; Ryan Kennedy; Yang Lu 010; Lei Xu 012; Weidong Shi (CoRR, 2025)

Speeding Up Multi-scalar Multiplications for Pairing-Based zkSNARKs. - Xinxin Fan; Veronika Kuchta; Francesco Sica 001; Lei Xu 012 (J. Cryptol., 2025)