2 papers
cs.CR2025
Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security
Jiahui Shang, Luning Zhang, Zhongxiang Zheng
While traditional cryptographic research focuses on algorithm-level provable security, many real-world attacks exploit weaknesses in system implementations, such as memory mismanag…
cs.CR2025
From Cyber Threat to Data Shield: Constructing Provably Secure File Erasure with Repurposed Ransomware Cryptography
Jiahui Shang, Luning Zhang, Zhongxiang Zheng
Ransomware has emerged as a persistent cybersecurity threat,leveraging robust encryption schemes that often remain unbroken even after public disclosure of source code. Motivated b…