Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Md. Armanuzzaman

dblp:218/7648 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
5since 2021 · last 2025
0009-0004-5264-7962ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 4 · 1 first-author · 4 since 2021Computer networks · 1 · 1 since 2021

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
4 papers
Cyber-physical and IoT security · 40% Cryptographic protocols and secure computation · 20% Systems and software security · 20%
Artificial intelligence
2 papers
Efficient and distributed learning · 100%
Theoretical computer science
1 paper
Quantum computing and quantum information · 100%
Software engineering, system software, and programming languages
1 paper
Program verification · 100%

Topics — the 11 heaviest of 11, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cyber-physical and IoT security
embedded system security
0.912025
'We just did not have that on the embedded system': Insights and Challenges for Securing Microcontroller Systems from the Embedded CTF Competitions · CCS 2025
Security and privacy of machine learning
membership inference
0.912025
Defending Against Membership Inference Attacks on Iteratively Pruned Deep Neural Networks · NDSS 2025
Cyber-physical and IoT security › embedded system security
microcontroller security
0.912025
'We just did not have that on the embedded system': Insights and Challenges for Securing Microcontroller Systems from the Embedded CTF Competitions · CCS 2025
Cryptographic protocols and secure computation › key exchange › authenticated key exchange
TLS 1.3 handshake
0.912025
Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL · INFOCOM 2025
Systems and software security
vulnerability analysis
0.912025
'We just did not have that on the embedded system': Insights and Challenges for Securing Microcontroller Systems from the Embedded CTF Competitions · CCS 2025
Quantum computing and quantum information › quantum machine learning
quantum federated learning
0.912025
Efficient and Secure Multi-Qubit Broadcast-Based Quantum Federated Learning · IEEE Trans. Inf. Forensics Secur. 2025
Machine learning › Efficient and distributed learning
federated learning
0.312025
Efficient and Secure Multi-Qubit Broadcast-Based Quantum Federated Learning · IEEE Trans. Inf. Forensics Secur. 2025
Machine learning › Efficient and distributed learning
model compression
0.312025
Defending Against Membership Inference Attacks on Iteratively Pruned Deep Neural Networks · NDSS 2025
Machine learning › Efficient and distributed learning › model compression
pruning
0.312025
Defending Against Membership Inference Attacks on Iteratively Pruned Deep Neural Networks · NDSS 2025
Machine learning › Efficient and distributed learning › federated learning
quantum federated learning
0.312025
Efficient and Secure Multi-Qubit Broadcast-Based Quantum Federated Learning · IEEE Trans. Inf. Forensics Secur. 2025
Program verification › model-based verification
state machine verification
0.312025
Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL · INFOCOM 2025

Methods — techniques the papers use, named apart from their topics

quantum averaging · 2.6probabilistic cloning · 2.6multi-qubit broadcast protocol · 2.6formal verification · 1.7qualitative study · 0.9competition data analysis · 0.9
YearPublicationVenuePosition
2025 'We just did not have that on the embedded system': Insights and Challenges for Securing Microcontroller Systems from the Embedded CTF Competitions
abstract
Microcontroller systems are integral to our daily lives, powering mission-critical applications such as vehicles, medical devices, and industrial control systems. Therefore, it is essential to investigate and outline the challenges encountered in developing secure microcontroller systems. While previous research has focused solely on microcontroller firmware analysis to identify and characterize vulnerabilities, our study uniquely leverages data from the 2023 and 2024 MITRE eCTF team submissions and post-competition interviews. This approach allows us to dissect the entire lifecycle of secure microcontroller system development from both technical and perceptual perspectives, providing deeper insights into how these vulnerabilities emerge in the first place.
Zheyuan Ma, Gaoxiang Liu, Alex Eastman, Kai Kaufman, Md. Armanuzzaman, Xi Tan 0002, Katherine Jesse, Robert J. Walls, Ziming Zhao 0001
CCS5
2025 Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL
Jingjing Guan, Hui Li 0070, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao 0001
INFOCOM9
2025 Defending Against Membership Inference Attacks on Iteratively Pruned Deep Neural Networks
Jian Wang 0015, Kailun Wang, Jiqiang Liu, Nan Jiang 0005, Md. Armanuzzaman, Ziming Zhao 0001
NDSS6
2025 Efficient and Secure Multi-Qubit Broadcast-Based Quantum Federated Learning
abstract
Quantum Federated Learning (QFL) has emerged as a promising research direction by combining the strengths of quantum computing and federated learning. However, existing QFL solutions have consistently failed to simultaneously improve client training efficiency and ensure communication security. In this paper, we present a novel Multi-qubit Broadcast-based QFL framework (MB-QFL) to address the efficiency and security challenges of existing approaches. The framework employs a novel multi-qubit broadcast protocol and a quantum average method to secure the information transmission process. The multi-qubit broadcast protocol overcomes the limitations of existing protocols by allowing the transmission of an arbitraryS-qubit state from one sender to multiple (Q) receivers, whereas earlier protocols were restricted to broadcast one or two qubit state to recipients. Additionally, we propose an averaging method for quantum states, which exploits the probabilistic cloning technique to achieve aggregation in MB-QFL. The security analysis demonstrates that MB-QFL can effectively protect against inference attacks from malicious clients, as well as eavesdropping and intercept-and-resend attacks during communication. The algorithm complexity of MB-QFL is significantly lower than existing QFLs. Besides, the experimental results indicate that MB-QFL achieves higher classification accuracy than other QFLs.
Jian Wang 0015, Nan Jiang 0005, Md. Armanuzzaman, Ziming Zhao 0001
IEEE Trans. Inf. Forensics Secur.4
2024 Building Your Own Trusted Execution Environments Using FPGA
abstract
Despite of their benefits, existing Trusted Execution Environments (TEE) or enclaves have been criticized for lack of transparency, vulnerabilities, and various restrictions. A significant limitation is that they only provide a static and fixed hardware Trusted Computing Base (TCB) that cannot be customized for different applications. The design violates the principle of least privilege by including unnecessary peripherals in the hardware TCB and buggy peripheral drivers in the software TCB. Additionally, Existing TEEs time-share a processor core with the Rich Execution Environment (REE), making execution less efficient and vulnerable to cache side-channel attacks. Although many previous projects have focused on addressing software issues in TEEs on SGX, TrustZone, or RISC-V, some TEE issues are inherent in the hardware system's design, making them impossible to resolve with software alone.
Md. Armanuzzaman, Ahmad-Reza Sadeghi, Ziming Zhao 0001
AsiaCCS1