A Deductive System for Contract Satisfaction Proofs 来源 arxiv 下载 PDF 作者 Arthur Correnson,Haoyi Zeng,Jana Hofmann
A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification 来源 arxiv 下载 PDF 作者 David Condrey
PINSIGHT: A Comprehensive Threat Exploration of Domain-Adaptive Wi-Fi based PIN Code Inference 来源 arxiv 下载 PDF 作者 Johannes Kortz,Paul Staat,Christof Paar,Christian Zenger
New Post-Quantum IBE leveraging maturity, efficiency and security of standard schemes 来源 cryptology 下载 PDF 作者 Julien CAM
Emulation-based System-on-Chip Security Verification: Challenges and Opportunities 来源 arxiv 下载 PDF 作者 Tanvir Rahman,Shuvagata Saha,Ahmed Y Alhurubi,Sujan Kumar Saha,Farimah Farahmandi,Mark Tehranipoor
Rethinking Latency Denial-of-Service: Attacking the LLM Serving Framework, Not the Model 来源 arxiv 下载 PDF 作者 Tianyi Wang,Huawei Fan,Yuanchao Shu,Peng Cheng,Cong Wang
SCA-GPT: A Generation-Planning-Tool Assisted LLM Agent for Fully Automated Side-Channel Analysis on Cryptosystems 来源 cryptology 下载 PDF 作者 Wenquan Zhou,An Wang,Yaoling Ding,Annyu Liu,Jingqi Zhang,Jiakun Li,Liehuang Zhu
Preventing Distinguishability between Multiplication and Squaring Operations 来源 arxiv 下载 PDF 作者 Alkistis Aikaterini Sigourou,Zoya Dyka,Peter Langendoerfer,Ievgen Kabin
Watch Your Step: Information Injection in Diffusion Models via Shadow Timestep Embedding 来源 arxiv 下载 PDF 作者 An Huang,Junggab Son,Zuobin Xiong
Reference-Free Spectral Analysis of EM Side-Channels for Always-on Hardware Trojan Detection 来源 arxiv 下载 PDF 作者 Mahsa Tahghigh,Hassan Salmani
