2 citations
- University of Chinese Academy of SciencesCN7 papers
- Chinese Academy of SciencesCN5 papers
- Peking UniversityCN2 papers
- University of Technology SydneyAU2 papers
- Beihang UniversityCN1 paper
- Beijing University of TechnologyCN1 paper
- Center for Discrete Mathematics and Theoretical Computer ScienceUS1 paper
- China University of Petroleum, East ChinaCN1 paper
- Cornell UniversityUS1 paper
- Data Assurance and Communication SecurityCN1 paper
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE1 paper
- DigitalSpace (United States)US1 paper
16 papers
Formal Verification of Quantum Ancilla Safety
Jiqi Li, Jingyi Mei, Wang Fang +1
Ensuring ancilla safety is a critical correctness requirement for quantum compilation, since ancilla qubits are routinely introduced to implement complex operations with fewer gate…
Quantum states supported by matroids
Xiaowei Huang, Fei Shi, Lijun Zhang +1
In this work, we establish a structural correspondence between quantum states and matroid theory. This connection demonstrates that key properties of quantum states, including enta…
Power from Potential: A Survey of Electrostatic Actuators for Haptics
Ahad M. Rauf, Ran Zhou, Eric Acome +5
As haptic interfaces integrate more seamlessly into wearables and everyday environments, they increasingly require actuators that are soft, thin, silent, and energy efficient. Howe…
Mandol: An Agglomerative Agent Memory System for Long-Term Conversations
Yuhan Zhang, Zhiyuan Guo, Ziheng Zeng +3
Long-term conversational agents need to remember and query cross-session, multi-typed information with complex correlations. Existing agent memory systems rely on heterogeneous vec…
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu +8
Manual formal analysis of cryptographic schemes is labor-intensive and requires substantial expertise. While model-checking tools (e.g., Scyther and Tamarin) and computational-secu…
Psyzkaller: Learning from Historical and On-the-Fly Execution Data for Smarter Seed Generation in OS kernel Fuzzing
Boyu Liu, Yang Zhang, Liang Cheng +6
OS Kernel fuzzers such as Syzkaller often struggle to generate syscall sequences that respect intrinsic Syscall Dependency Relations (SDRs), resulting in seeds that either violate…