Demo Data from EDBT 2026 / reviewers in the wild / expert
He Li 0007
dblp:05/4746-7
· DBLP profile ↗
9ranked-venue papers
2as first author
1since 2021 · last 2021
0000-0002-5236-6114ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Computer networks · 4 · 2 first-author · 1 since 2021Security and privacy · 3Systems, architecture and hardware · 2
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
3 papers |
Privacy and data protection · 32% Cryptographic primitives and cryptanalysis · 30% Cryptographic protocols and secure computation · 20% | |
| Computer networks
2 papers |
Wireless networking · 100% |
Topics — the 8 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Wireless networking › cognitive radio › spectrum access
dynamic spectrum access |
0.5 | 2 | 2019 | PeDSS: Privacy Enhanced and Database-Driven Dynamic spectrum Sharing · INFOCOM 2019 P2-SAS: Privacy-Preserving Centralized Dynamic Spectrum Access System · IEEE J. Sel. Areas Commun. 2017 |
Wireless networking › cognitive radio › spectrum sharing
spectrum access system |
0.4 | 1 | 2019 | PeDSS: Privacy Enhanced and Database-Driven Dynamic spectrum Sharing · INFOCOM 2019 |
Cryptographic protocols and secure computation
secure multiparty computation |
0.3 | 1 | 2017 | P2-SAS: Privacy-Preserving Centralized Dynamic Spectrum Access System · IEEE J. Sel. Areas Commun. 2017 |
Cryptographic primitives and cryptanalysis › public-key cryptography
digital signatures |
0.2 | 1 | 2015 | Group Signatures with Probabilistic Revocation: A Computationally-Scalable Approach for Providing Privacy-Preserving Authentication · CCS 2015 |
Cryptographic primitives and cryptanalysis › public-key cryptography › digital signatures
group signature |
0.2 | 1 | 2015 | Group Signatures with Probabilistic Revocation: A Computationally-Scalable Approach for Providing Privacy-Preserving Authentication · CCS 2015 |
Authentication and access control
privacy-preserving authentication |
0.2 | 1 | 2015 | Group Signatures with Probabilistic Revocation: A Computationally-Scalable Approach for Providing Privacy-Preserving Authentication · CCS 2015 |
Privacy and data protection
privacy-preserving data analysis |
0.1 | 1 | 2017 | P2-SAS: Privacy-Preserving Centralized Dynamic Spectrum Access System · IEEE J. Sel. Areas Commun. 2017 |
Authentication and access control
revocation |
0.1 | 1 | 2015 | Group Signatures with Probabilistic Revocation: A Computationally-Scalable Approach for Providing Privacy-Preserving Authentication · CCS 2015 |
Methods — techniques the papers use, named apart from their topics
cryptographic privacy protection · 0.8secure multiparty computation · 0.6random oracle model · 0.2probabilistic revocation · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Cumulative Message Authentication Codes for Resource-Constrained IoT NetworksabstractIn resource-constrained Internet-of-Things networks, the use of conventional message authentication codes (MACs) to provide message authentication and integrity is not possible due to the large size of the MAC output. A straightforward yet naive solution to this problem is to employ a truncated MAC which undesirably sacrifices cryptographic strength in exchange for reduced communication overhead. In this article, we address this problem by proposing a novel approach for message authentication called cumulative MAC (CuMAC), which consists of two distinctive procedures: 1) aggregation and 2) accumulation. In aggregation, a sender generates compact authentication tags from segments of multiple MACs by using a systematic encoding procedure. In accumulation, a receiver accumulates the cryptographic strength of the underlying MAC by collecting and verifying the authentication tags. Embodied with these two procedures, CuMAC enables the receiver to achieve an advantageous tradeoff between the cryptographic strength and the latency in the processing of the authentication tags. Furthermore, for some latency-sensitive messages where this tradeoff may be unacceptable, we propose a variant of CuMAC that we refer to as CuMAC with speculation (CuMAC/S). In addition to the aggregation and accumulation procedures, CuMAC/S enables the sender and receiver to employ a speculation procedure for predicting future message values and precomputing the corresponding MAC segments. For the messages which can be reliably speculated, CuMAC/S significantly reduces the MAC verification latency without compromising the cryptographic strength. We have carried out a comprehensive evaluation of CuMAC and CuMAC/S through simulation and a prototype implementation on a real car. He Li 0007, Vireshwar Kumar, Jung-Min Park 0001, Yaling Yang |
IEEE Internet Things J. | 1 |
| 2019 | PeDSS: Privacy Enhanced and Database-Driven Dynamic spectrum SharingabstractDatabase driven dynamic spectrum sharing is one of the most promising dynamic spectrum access (DSA) solution to address the spectrum scarcity issue. In such a database-driven DSA system, the centralized spectrum management infrastructure, called spectrum access system (SAS), collects sensitive operational data of both incumbent users (IUs) and secondary users (SUs), which makes privacy protection critical in this paradigm. However, the few existing solutions rely on online trusted third party, which requires extra infrastructure and brings the risk of single point failure. To address the shortcomings of existing solutions, we propose a privacy enhanced and database-driven dynamic spectrum sharing (PeDSS) framework in this paper, which preserves the privacy for both IUs and SUs in database-driven DSA systems without the need for online trusted third party. Privacy for both IUs and SUs are formally defined and analyzed, and experiment results show that SAS under PeDSS is able to handle a single spectrum request in 0.51 ms on average, which is three orders of magnitude faster than prior arts. He Li 0007, Yaling Yang, Yanzhi Dou, Jung-Min Park 0001, Kui Ren 0001 |
INFOCOM | 1 |
| 2018 | Direct Anonymous Attestation with Efficient Verifier-Local Revocation for Subscription SystemabstractFor a computing platform that is compliant with the Trusted Platform Module (TPM) standard, direct anonymous attestation (DAA) is an appropriate cryptographic protocol for realizing an anonymous subscription system. This approach takes advantage of a cryptographic key that is securely embedded in the platform's hardware, and enables privacy-preserving authentication of the platform. In all of the existing DAA schemes, the platform suffers from significant computational and communication costs that increase proportionally to the size of the revocation list. This drawback renders the existing schemes to be impractical when the size of the revocation list grows beyond a relatively modest size. In this paper, we propose a novel scheme called Lightweight Anonymous Subscription with Efficient Revocation (LASER) that addresses this very problem. In LASER, the computational and communication costs of the platform's signature are multiple orders of magnitude lower than the prior art. LASER achieves this significant performance improvement by shifting most of the computational and communication costs from the DAA's online procedure (i.e., signature generation) to its offline procedure (i.e., acquisition of keys/credentials). We have conducted a thorough analysis of LASER's performance related features. We have implemented LASER on a laptop with an on-board TPM. To the best of our knowledge, this is the first implementation of a DAA scheme on an actual TPM cryptoprocessor that is compliant with the most recent TPM specification, viz., TPM 2.0. Vireshwar Kumar, He Li 0007, Noah Luther, Pranav Asokan, Jung-Min Park 0001, Kaigui Bian, Martin B. H. Weiss, Taieb Znati |
AsiaCCS | 2 |
| 2017 | Preserving Incumbent Users' Privacy in Exclusion-Zone-Based Spectrum Access SystemsabstractDynamic spectrum access (DSA) technique has emerged as a fundamental approach to mitigate the spectrum scarcity problem. As a key form of DSA, the government is proposing to release more federal spectrum for sharing with commercial wireless users. However, the flourish of federal-commercial sharing hinges upon how the federal privacy is managed. In current DSA proposals, the sensitive exclusion zone (E-Zone) information of federal incumbent users (IUs) needs to be shared with a spectrum access system (SAS) to realize spectrum allocation. However, SAS is not necessarily trust-worthy for holding the sensitive IU E-Zone data, especially considering that FCC allows some industry third parties (e.g., Google) to operate SAS for better efficiency and scalability. Therefore, the current proposals dissatisfy the IUs' privacy requirement. To address the privacy issue, this paper presents an IU-privacy-preserving SAS (IP-SAS) design, which realizes the spectrum allocation process through secure computation over ciphertext based on homomorphic encryption so that none of the IU EZone information is exposed to SAS. This paper also proposes mechanisms to prevent malicious parties from compromising IP-SAS. We prove the privacy-preserving properties of IP-SAS and demonstrate the scalability and practicality of IP-SAS using experiments based on real-world data. Evaluation results show that IP-SAS can respond an SU's spectrum request in 1.25 seconds with communication overhead of 17.8 KB. Yanzhi Dou, He Li 0007, Kexiong Curtis Zeng, Jinshan Liu, Yaling Yang, Kui Ren 0001 |
ICDCS | 2 |
| 2017 | P2-SAS: Privacy-Preserving Centralized Dynamic Spectrum Access SystemabstractCentralized spectrum management is one of the key dynamic spectrum access (DSA) mechanisms proposed to govern the spectrum sharing between government incumbent users (IUs) and commercial secondary users (SUs). In the current centralized DSA designs, the operation data of both government IUs and commercial SUs need to be shared with a central server. However, the operation data of government IUs are often classified information and the SU operation data may also be commercial secrets. The current system design dissatisfies the privacy requirement of both IUs and SUs, since the central server is not necessarily trustworthy for holding such sensitive operation data. To address the privacy issue, this paper presents a privacy-preserving centralized DSA system (P2-SAS), which realizes the complex spectrum allocation process of DSA through efficient secure multi-party computation. In P2-SAS, none of the IU or SU operation data would be exposed to any snooping party, including the central server itself. We formally prove the correctness and privacy-preserving property of P2-SAS and evaluate its scalability and practicality using experiments based on real-world data. Experiment results show that P2-SAS can respond an SU's spectrum request in 6.96 s with communication overhead of less than 4 MB. Yanzhi Dou, Kexiong Curtis Zeng, He Li 0007, Yaling Yang, Kui Ren 0001, Shaoqian Li |
IEEE J. Sel. Areas Commun. | 3 |
| 2017 | Provably Secure Anonymous-yet-Accountable Crowdsensing with Scalable Sublinear RevocationabstractAbstract Group signature schemes enable anonymous-yet-accountable communications. Such a capability is extremely useful for applications, such as smartphone-based crowdsensing and citizen science. However, the performance of modern group signature schemes is still inadequate to manage large dynamic groups. In this paper, we design the first provably secure verifier-local revocation (VLR) - based group signature scheme that supports sublinear revocation, namedSublinear Revocation with Backward unlinkability and Exculpability(SRBE). To achieve this performance gain, SRBE introducestime bound pseudonymsfor the signer. By introducing low-cost short-lived pseudonyms with sublinear revocation checking, SRBE drastically improves the efficiency of the group-signature primitive. The backward-unlinkable anonymity of SRBE guarantees that even after the revocation of a signer, her previously generated signatures remain unlinkable across epochs. This behavior favors the dynamic nature of real-world crowdsensing settings. We prove its security and discuss parameters that influence its scalability. Using SRBE, we also implement a prototype named GroupSensefor anonymous-yet-accountable crowdsensing, where our experimental findings confirm GroupSense’s scalability. We point out the open problems remaining in this space. Sazzadur Rahaman, Long Cheng 0005, Danfeng Yao, He Li 0007, Jung-Min Park 0001 |
Proc. Priv. Enhancing Technol. | 4 |
| 2016 | Preserving Incumbent Users' Privacy in Server-Driven Dynamic Spectrum Access SystemsabstractDynamic spectrum access (DSA) technique has emerged as a fundamental approach in improving spectrum utilization to mitigate the spectrum scarcity problem. As a key form of DSA, government is proposing to release more federal spectrum for sharing with commercial wireless users. However, the flourish of federal-commercial sharing hinges upon how federal privacy issues are managed. In current DSA proposals, the sensitive operation information of federal incumbent users (IUs) needs to be shared with a dynamic spectrum access system (SAS) to realize spectrum allocation. However, SAS is not necessarily trust-worthy for holding such sensitive IU data, especially considering that FCC allows some industry third parties (e.g., Google) to operate SAS for better efficiency and scalability. Therefore, the current proposals dissatisfy the IUs' privacy requirement. To address the privacy issues, this paper presents an IU-privacy-preserving SAS (IP-SAS) design, which realizes the spectrum allocation process through secure computation over ciphertext based on homomorphic encryption so that none of the IU operation information is exposed to SAS. Yanzhi Dou, He Li 0007, Kexiong Curtis Zeng, Jinshan Liu, Yaling Yang, Kui Ren 0001 |
ICDCS | 2 |
| 2016 | P2-SAS: preserving users' privacy in centralized dynamic spectrum access systemsabstractCentralized spectrum management is one of the key dynamic spectrum access (DSA) mechanisms proposed to govern the spectrum sharing between government incumbent users (IUs) and commercial secondary users (SUs). In the current centralized DSA designs, the operation data of both government IUs and commercial SUs needs to be shared with a central server. However, the operation data of government IUs is often classified information and the SU operation data may also be commercial secret. The current system design dissatisfies the privacy requirement of both IUs and SUs since the central server is not necessarily trust-worthy for holding such sensitive operation data. To address the privacy issue, this paper presents a privacy-preserving centralized DSA system (P2-SAS), which realizes the complex spectrum allocation process of DSA through efficient secure multi-party computation. In P2-SAS, none of the IU or SU operation data would be exposed to any snooping party, including the central server itself. We formally prove the correctness and privacy-preserving property of P2-SAS and evaluate its scalability and practicality using experiments based on real-world data. Experiment results show that P2-SAS can respond an SU's spectrum request in 6.96 seconds with communication overhead of less than 4 MB. Yanzhi Dou, Kexiong Curtis Zeng, He Li 0007, Yaling Yang, Chaowen Guan, Kui Ren 0001, Shaoqian Li |
MobiHoc | 3 |
| 2015 | Group Signatures with Probabilistic Revocation: A Computationally-Scalable Approach for Providing Privacy-Preserving AuthenticationabstractGroup signatures (GSs) is an elegant approach for providing privacy-preserving authentication. Unfortunately, modern GS schemes have limited practical value for use in large networks due to the high computational complexity of their revocation check procedures. We propose a novel GS scheme called the Group Signatures with Probabilistic Revocation (GSPR), which significantly improves scalability with regard to revocation. GSPR employs the novel notion of probabilistic revocation, which enables the verifier to check the revocation status of the private key of a given signature very efficiently. However, GSPR's revocation check procedure produces probabilistic results, which may include false positive results but no false negative results. GSPR includes a procedure that can be used to iteratively decrease the probability of false positives. GSPR makes an advantageous tradeoff between computational complexity and communication overhead, resulting in a GS scheme that offers a number of practical advantages over the prior art. We provide a proof of security for GSPR in the random oracle model using the decisional linear assumption and the bilinear strong Diffie-Hellman assumption. Vireshwar Kumar, He Li 0007, Jung-Min Park 0001, Kaigui Bian, Yaling Yang |
CCS | 2 |