Skip to main content

Cryptography and Security

Authors and titles for recent submissions

See today's new changes

Total of 209 entries : 1-50 51-100 101-150 151-200 ... 201-209
Showing up to 50 entries per page: fewer | more | all

Fri, 31 Jul 2026 (showing 33 of 33 entries )

[1] arXiv:2607.28551 [pdf, html, other]
Title: Formalization of security
Gilles Barthe
Comments: To appear as chapter19 of the book "Proof Assistants and Their Applications in Mathematics and Computer Science"
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[2] arXiv:2607.28542 [pdf, html, other]
Title: Implementing Homomorphic Encryption-Based Logic Locking in System-on-Chip Designs
Ye Ziyang, Makoto Ikeda
Journal-ref: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 33, no. 7, pp. 2049-2053, July 2025
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[3] arXiv:2607.28226 [pdf, html, other]
Title: Security of World-Model-Based Embodied AI: A Lifecycle of Threats, Defenses, and Evaluation
Fazhong Liu, Zhuoyan Chen, Haozhen Tan, Yan Meng, Guoxing Chen, Haojin Zhu
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[4] arXiv:2607.28191 [pdf, html, other]
Title: Secure Aggregation for Privacy-Preserving Federated Learning on Clinical EEG Data
Pouya Rajabi, Mohsen Toorani
Comments: 27 pages, 6 figures, 7 tables. A version of this manuscript has been accepted for presentation at the International Workshop on Hot Topics at the Intersection of Distributed Machine Learning and Security (HotDiSec 2026), co-located with ESORICS 2026
Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
[5] arXiv:2607.28165 [pdf, html, other]
Title: Piggybacking on Perception: Stealthy Concurrent Audio Prompt Injections against Multimodal LLM Agents
Mingxiao Liu (1), Yitong Li (1), Haoren Zhao (1), Yaoxiang Bian (1), Jianan Ma (1 and 2), Jian Zhang (1), Jialuo Chen (3 and 2), Xinhao Deng (4 and 2), Zhen Wang (1) ((1) Hangzhou Dianzi University, (2) Ant Group, (3) Zhejiang University, (4) Tsinghua University)
Comments: 17 pages, 8 figures, The code is publicly available at this https URL
Subjects: Cryptography and Security (cs.CR)
[6] arXiv:2607.28147 [pdf, html, other]
Title: Agent Harness Distillation: Inference-Time Harness Extraction and Exploitation in Autonomous Multi-Agent Systems
Yu Cui, Wuli Yang, Yirui Shi, Junhao Xia, Hui Jiang, Lei Gao, Chenfu Bao
Comments: This work is currently in progress
Subjects: Cryptography and Security (cs.CR)
[7] arXiv:2607.28088 [pdf, other]
Title: Checking Information Flow in Cloud-based IoT Access Control Policies (Extended Version)
Lorenzo Ceragioli, Letterio Galletta, Edoardo Lunati
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[8] arXiv:2607.28075 [pdf, html, other]
Title: Temporal Poisoning: Clean-Label Backdoors via Event Redistribution in SNNs
Roberto Riaño, Gorka Abad, Stjepan Picek, Aitor Urbieta
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[9] arXiv:2607.27990 [pdf, html, other]
Title: Driving up Inference Energy on SNNs: Per-Sample and Universal Sponge Attacks
Spyridon Raptis, Haralampos-G. Stratigopoulos
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[10] arXiv:2607.27951 [pdf, html, other]
Title: Safeguards Based on Copyable Context Cannot Provide Reliable Safety for LLMs
Pingyu Wu, Lingyao Zhu, Weiming Zhang, Nenghai Yu
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[11] arXiv:2607.27936 [pdf, html, other]
Title: Benign on Label, Malicious by Design: Clean-Label Dormant-to-Activated Backdoor via Machine Unlearning with Removable Camouflage
Dongdong Zhao, Can Li, Xiang Yao, Fan He, Qihang Ge, Baogang Song
Comments: 12 pages, 7 figures, 4 tables;
Subjects: Cryptography and Security (cs.CR)
[12] arXiv:2607.27886 [pdf, html, other]
Title: Don't Trust the AI Ecosystem: Analyzing Privacy Leakage in Compromised Open-Source Components
Jin-Seong Kim, Han-Ju Lee, Seok-Won Hong, Takeshi Takahashi, Chansu Han, Tomohiro Morikawa, Seok-Hwan Choi
Subjects: Cryptography and Security (cs.CR)
[13] arXiv:2607.27858 [pdf, html, other]
Title: Adaptive Security at the Edge for 6G-Enabled Healthcare IoT
Ijaz Ahmad, Ijaz Ahmad, Erkki Harjula
Comments: 2 pages, 2 figures, 2026 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit), extended abstract
Subjects: Cryptography and Security (cs.CR)
[14] arXiv:2607.27776 [pdf, html, other]
Title: CHARGE: Leveraging CWE Hierarchies for Hardware Security SystemVerilog Assertion Generation
Xiao Tan, Cynthia Sturton
Comments: This paper is an extended version of the paper accepted to the IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2026)
Subjects: Cryptography and Security (cs.CR)
[15] arXiv:2607.27696 [pdf, html, other]
Title: Distributed Point Functions and Function Secret Sharing
Elette Boyle, Niv Gilboa, Yuval Ishai, Peter Scholl
Subjects: Cryptography and Security (cs.CR)
[16] arXiv:2607.27661 [pdf, html, other]
Title: Strategy Phasing of Cyber Attacks on Digital Substations
Akila Herath, Chen-Ching Liu, Junho Hong, Kuchan Park
Comments: 2026 IEEE Power and Energy Society General Meeting (PESGM)
Subjects: Cryptography and Security (cs.CR); Systems and Control (eess.SY)
[17] arXiv:2607.27604 [pdf, html, other]
Title: Revisiting the Adversarial Robustness of Graph-Based Traffic Forecasting
Qingzhao Zhang
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[18] arXiv:2607.27551 [pdf, html, other]
Title: AnchorMark: Robust Diffusion Watermarking via Latent-Space Rotation Synchrony
Yuqi Qian, Yun Cao, Haocheng Fu, Haochen Zhao, Hong Zhang, Meineng Zhu
Subjects: Cryptography and Security (cs.CR)
[19] arXiv:2607.27528 [pdf, html, other]
Title: ThreatForest: Multi-Agent Attack Tree Generation with Pluggable TTP Framework Mapping
Cristian Leo, Anton Dykyi, Danny Cortegaca, Daniel Begimher, Prakash Jha
Comments: 20 pages, 12 tables, 1 figure
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Software Engineering (cs.SE)
[20] arXiv:2607.27510 [pdf, other]
Title: Send and Pretend: Exploiting Transcript Consistency Issues in End-to-End Encrypted Group Chats
Gabriel K. Gegenhuber, Moritz Grefner, Maximilian Günther, Matthäus Wininger, David Schmidt, Aljosha Judmayer
Comments: Accepted to USENIX Security 2026; Artifacts available at this https URL
Journal-ref: USENIX Security 2026
Subjects: Cryptography and Security (cs.CR)
[21] arXiv:2607.27491 [pdf, html, other]
Title: Flock: Fast Proving for Batch Boolean Computations
Benedikt Bünz, Ron D. Rothblum, William Wang
Comments: See eprint this https URL for up to date version
Subjects: Cryptography and Security (cs.CR)
[22] arXiv:2607.27480 [pdf, other]
Title: Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts
Stella Lau, Andres Erbsen, Adam Chlipala
Subjects: Cryptography and Security (cs.CR)
[23] arXiv:2607.27401 [pdf, html, other]
Title: Low-Latency Bootstrapping for CKKS using Roots of Unity
Jean-Sebastien Coron, Robin Koestler
Subjects: Cryptography and Security (cs.CR)
[24] arXiv:2607.27373 [pdf, html, other]
Title: RoguePrompt: Dual-Layer Encoding for Self-Reconstruction to Circumvent LLM Moderation
Benyamin Tafreshian, Prathamesh Dhake
Comments: This manuscript supersedes the preliminary version available as arXiv:2511.18790. The work has been substantially revised, expanded, and reorganized, with a refined threat model, revised methodology, clearer stage-level evaluation criteria, and expanded analysis of moderation bypass, instruction reconstruction, and execution
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[25] arXiv:2607.27288 [pdf, html, other]
Title: Open Security Benchmark: Towards Autonomous Enterprise Cyber Defense
Gal Engelberg, Michael Arenzon, Leon Goldberg
Comments: 14 pages, 3 tables. Code: this https URL ; datasets: this https URL
Subjects: Cryptography and Security (cs.CR)
[26] arXiv:2607.27267 [pdf, html, other]
Title: FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs
Yifan Zhang, Xinkui Zhao, Sai Liu, Hengxuan Lou, Guanjie Cheng, Chang Liu
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[27] arXiv:2607.28460 (cross-list from cs.LG) [pdf, html, other]
Title: Cybersecurity Detection Classification with Reasoning-enabled Language Models
Amol Khanna, Manu Nandan, Cristian Viorel Popa, Joan Pujol-Roig, Diana Bolocan, Laura Vasilie, Alexandru Apostu, Chase Helwig, Mihaela Gaman, Michael Brautbar, Edward Raff, Chase Midler, Sven Krasser
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR)
[28] arXiv:2607.28431 (cross-list from cs.SE) [pdf, html, other]
Title: Emerging Challenges in Threat Modeling for GenAI-Augmented Systems: A View from the Trenches
Nicolás E. Díaz Ferreyra, Manish Mahesh Kumar, Nohemí Villarreal, Pankaj Pantel, Immo Brueggemann, Riccardo Scandariato
Comments: Accepted at the 2026 International Symposium on Empirical Software Engineering and Measurement (ESEM)
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[29] arXiv:2607.28338 (cross-list from cs.LG) [pdf, html, other]
Title: Encryption-Compatible Clustered Federated Learning via Distributed Expectation-Maximization over Metadata
Michael Ben Ali, Imen Megdiche, André Péninou, Olivier Teste
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (stat.ML)
[30] arXiv:2607.28233 (cross-list from cs.AR) [pdf, html, other]
Title: Demystifying DRAM Read Disturbance: Bridging the Gap Between Experimental Characterization and Device-Level Modeling of RowHammer and RowPress Phenomena
Haocong Luo, Longda Zhou, Ataberk Olgun, İsmail Emir Yüksel, Nisa Bostanci, Zhigang Ji, Xing Wu, Onur Mutlu
Subjects: Hardware Architecture (cs.AR); Cryptography and Security (cs.CR)
[31] arXiv:2607.28187 (cross-list from cs.AI) [pdf, html, other]
Title: Old Tricks, New Models: How Simple Image Transformations Break Modern AI-based Content Moderation
Marco Alecci, Francesco Marchiori, Iyiola Emmanuel Olatunji, Tegawendé F. Bissyandé, Jacques Klein
Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[32] arXiv:2607.28179 (cross-list from cs.CY) [pdf, html, other]
Title: Technology-Enhanced Tabletop Exercises for Cybersecurity Education: Lessons Learned
Jan Vykopal, Pavel Čeleda, Martin Horák, Valdemar Švábenský
Comments: Full paper accepted for the main track of the IEEE FIE 2026 conference
Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR)
[33] arXiv:2607.27374 (cross-list from cs.SE) [pdf, html, other]
Title: From Backlog Items to Security Guidance: Towards Continuous Security Compliance
Ignacio García Núñez, Florian Angermeir, Fabiola Moyón Constante
Comments: 11 pages, 3 figures, 3 tables. Accepted at the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026), Industry Showcase track
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

Thu, 30 Jul 2026 (showing first 17 of 35 entries )

[34] arXiv:2607.27164 [pdf, html, other]
Title: Function Privatization in the Local Model
Yuting Liang, Tian Shu, Ke Yi
Subjects: Cryptography and Security (cs.CR)
[35] arXiv:2607.27080 [pdf, html, other]
Title: MemSecBench: Tracking Agent Memory Poisoning from Persistence to Consequence and Repair
Xuanze Chen, Xukang Xie, Wentao Fu, Jiajun Zhou, Shanqing Yu, Qi Xuan
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[36] arXiv:2607.27030 [pdf, html, other]
Title: HoF-Bench: Rediscovering Real AI-Discovered CVEs Without Frontier Models
Petr Simecek, Elnaz Babayeva, Jiri Balhar, Michal Bida, Michal Buran, Vaclav Cadek, Luigino Camastra, Tomas Dulka, Michal Janocko, Tomas Klohna, Pavel Kohout, Ondrej Kokes, Adam Krivka, Jakub Kubik, Patrik Mada, Igor Morgenstern, Marek Pavelka, Joshua Rogers, Petr Stastny, Jan Tattermusch, Dmitrijs Trizna, Martin Votruba, Guido Vranken, Jakub Zikl, Evelina Gabasova, Stanislav Fort
Comments: 15 pages, 6 figures. Benchmark repository: this https URL
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[37] arXiv:2607.26998 [pdf, html, other]
Title: AgentSnare: Learning to Delay, Divert, and Defuse Autonomous Penetration Agents
Ruoyu Wang, Heng Zhao, Renjie Wu, Mengnan Zhao, Zhixuan Chu, Wanyu Lin, Tianhang Zheng
Comments: 8 pages, 3 figures, 1 table
Subjects: Cryptography and Security (cs.CR); Computation and Language (cs.CL); Machine Learning (cs.LG)
[38] arXiv:2607.26976 [pdf, html, other]
Title: InkShield: Writing Style Protection Against Unauthorized Handwriting Mimicry
Jian Xiong, Wenbo Jiang, Zihan Wang, Rui Zhang, Wenshu Fan, Hongwei Li, Guowen Xu
Subjects: Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV)
[39] arXiv:2607.26933 [pdf, html, other]
Title: Defending Against Backdoor Attacks via Alignment Checking in Model-Contrastive Federated Learning
Hongliang Zhang, Zhongyuan Yu, Guijuan Wang, Tianqing He, Wenshuo Ma, Xiaosong Zhang, Jiguo Yu
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[40] arXiv:2607.26849 [pdf, html, other]
Title: ToxScreen: Detecting Whether an LLM Has Been Poisoned
Anthony Hughes, Nicole Xing, Collin Francel, Andy Kim, Andrew Draganov
Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[41] arXiv:2607.26836 [pdf, html, other]
Title: Before Agents Speak: Pre-hoc Failure Risk Inference in Multi-Agent Systems
Shi Lin, Chenpei Wang, Peng Qian, Dezhang Kong, Minghao Li, Yufeng Li, Xun Wang
Subjects: Cryptography and Security (cs.CR)
[42] arXiv:2607.26791 [pdf, other]
Title: SecRespond: Benchmarking AI Agents for Real-World Post-Compromise Incident Response
Lehan Wang, Boli Chen, Ruixue Ding, Pengjun Xie, Jinwei Huang, Zhendong Liu, Shuo Wang, Tao Lei, Xin Ouyang, Xiaomeng Li
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[43] arXiv:2607.26734 [pdf, other]
Title: Verifiable Random Sampling
Yeoh Wei Zhu, Soorya Rethinasamy, Anthony Alexiades Armenakas, Yash Satsangi, Shaltiel Eloul, Ruslan Shaydulin
Subjects: Cryptography and Security (cs.CR)
[44] arXiv:2607.26723 [pdf, html, other]
Title: FARI: Robust One-Step Inversion for Watermarking in Diffusion Models
Jindong Yang, Han Fang, Weiming Zhang, Nenghai Yu, Kejiang Chen
Comments: Accepted by ICLR 2026
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[45] arXiv:2607.26719 [pdf, other]
Title: Not In My Git Yard: Catching Backdoors at Commit and Release Time
Dimitri Kokkonis (LSL), Michaël Marcozzi (LSL), Stefano Zacchiroli (IP Paris, LTCI)
Journal-ref: 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026), Oct 2026, Munich (Allemagne), Germany
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
[46] arXiv:2607.26656 [pdf, html, other]
Title: Graph Is the Verifier: Agentic Reinforcement Learning for Interprocedural Vulnerability Detection
Yikun Li, Ting Zhang, Jiakun Liu, Jinfeng Jiang, Yuheng Yieh, Yixin Yang, Wen Bin Leow, Yide Yin, Yintong Huo, Eng Lieh Ouh, Lwin Khin Shar, David Lo
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[47] arXiv:2607.26655 [pdf, html, other]
Title: Fingerprint-Driven Automation: Coupling Reconnaissance with POC Verification
Hongping Wang, Xiaoqi Li
Subjects: Cryptography and Security (cs.CR)
[48] arXiv:2607.26639 [pdf, html, other]
Title: Borrowed Strength: Best-of-N Search over a Code EncodingBreaks Self-Check Jailbreak Defenses
Haoyu Zhang, Shibo Zheng, Xiangchen Guan, Zhuoxi Wang, Zijian Xiao, Mohammad Zandsalimy, Shanu Sushmita
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[49] arXiv:2607.26634 [pdf, html, other]
Title: Guarding Organizations Against Malware Risk: A Novel Graph-Based Malware Detection Method
Yinan Gao, Jiarong Xu, Xiaohang Zhao, Xiao Fang
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[50] arXiv:2607.26589 [pdf, html, other]
Title: CDN Tsunami: Exploiting HTTP/3-HTTP/1.1 Conversion for DoS Attacks
Ziyu Lin, Tianlong Su, Yingjie Lin, Prosanta Gope, Yinzhi Cao, Ximeng Liu, Biplab Sikdar
Comments: This paper has been accepted for publication at the IEEE International Symposium on Reliable Distributed Systems (SRDS) 2026
Subjects: Cryptography and Security (cs.CR)
Total of 209 entries : 1-50 51-100 101-150 151-200 ... 201-209
Showing up to 50 entries per page: fewer | more | all