2 papers
cs.CR2026
Proving Circuit Functional Equivalence in Zero Knowledge
Sirui Shen, Zunchen Huang, Chenglu Jin
The modern integrated circuit ecosystem is increasingly reliant on third-party intellectual property integration, which introduces security risks, including hardware Trojans and se…
cs.GT2025
Ransomware Negotiation: Dynamics and Privacy-Preserving Mechanism Design
Haohui Zhang, Sirui Shen, Xinyu Hu +1
Ransomware attacks have become a pervasive and costly form of cybercrime, causing tens of millions of dollars in losses as organizations increasingly pay ransoms to mitigate operat…