12 citations · 30 across the 13 of their papers we have counts for
14 papers
Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications
Rabimba Karanjai, Lei Xu, Lin Chen +2
Function-as-a-Service (FaaS) offers a streamlined cloud computing paradigm, but existing centralized systems suffer from vendor lock-in and single points of failure. We propose DeF…
An Empirical Study of AI-based Smart Contract Creation
Rabimba Karanjai, Edward Li, Lei Xu +1
The introduction of large language models (LLMs) like ChatGPT and Google Palm2 for smart contract generation seems to be the first well-established instance of an AI pair programme…
Decentralized Translator of Trust: Supporting Heterogeneous TEE for Critical Infrastructure Protection
Rabimba Karanjai, Rowan Collier, Zhimin Gao +5
Trusted execution environment (TEE) technology has found many applications in mitigating various security risks in an efficient manner, which is attractive for critical infrastruct…
TPU as Cryptographic Accelerator
Rabimba Karanjai, Sangwon Shin, and Wujie Xiong +8
Cryptographic schemes like Fully Homomorphic Encryption (FHE) and Zero-Knowledge Proofs (ZKPs), while offering powerful privacy-preserving capabilities, are often hindered by their…
Cross Chain Bribery Contracts: Majority vs Mighty Minority
Quang Tran, Lin Chen, Lei Xu +3
Bribery is a perilous issue in the real world, especially in an economical aspect. This fraudulence is unavoidable, and more importantly, it is more difficult to trace in case smar…
Audit and Improve Robustness of Private Neural Networks on Encrypted Data
Jiaqi Xue, Lei Xu, Lin Chen +3
Performing neural network inference on encrypted data without decryption is one popular method to enable privacy-preserving neural networks (PNet) as a service. Compared with regul…
Local Differential Privacy Meets Computational Social Choice -- Resilience under Voter Deletion
Liangde Tao, Lin Chen, Lei Xu +1
The resilience of a voting system has been a central topic in computational social choice. Many voting rules, like plurality, are shown to be vulnerable as the attacker can target…
Lessons Learned from Blockchain Applications of Trusted Execution Environments and Implications for Future Research
Rabimba Karanjai, Lei Xu, Lin Chen +3
Modern computer systems tend to rely on large trusted computing bases (TCBs) for operations. To address the TCB bloating problem, hardware vendors have developed mechanisms to enab…
EDSC: An Event-Driven Smart Contract Platform
Mudabbir Kaleem, Keshav Kasichainula, Rabimba Karanjai +4
This paper presents EDSC, a novel smart contract platform design based on the event-driven execution model as opposed to the traditionally employed transaction-driven execution mod…
Computational Complexity Characterization of Protecting Elections from Bribery
Lin Chen, Ahmed Sunny, Lei Xu +5
The bribery problem in election has received considerable attention in the literature, upon which various algorithmic and complexity results have been obtained. It is thus natural…
Nonlinear Blockchain Scalability: a Game-Theoretic Perspective
Lin Chen, Lei Xu, Zhimin Gao +3
Recent advances in the blockchain research have been made in two important directions. One is refined resilience analysis utilizing game theory to study the consequences of selfish…
Private and Atomic Exchange of Assets over Zero Knowledge Based Payment Ledger
Zhimin Gao, Lei Xu, Keshav Kasichainula +3
Bitcoin brings a new type of digital currency that does not rely on a central system to maintain transactions. By benefiting from the concept of decentralized ledger, users who do…
Election with Bribed Voter Uncertainty: Hardness and Approximation Algorithm
Lin Chen, Lei Xu, Shouhuai Xu +2
Bribery in election (or computational social choice in general) is an important problem that has received a considerable amount of attention. In the classic bribery problem, the br…
New Bounds on Augmenting Steps of Block-structured Integer Programs
Lin Chen, Lei Xu, Weidong Shi +1
We consider 4-block -fold integer programs, whose constraint matrix consists of copies of small matrices , , and , and one copy of , in a specific block structur…