Cryptography and Security

Papers filed under cs.CR on arXiv, each one already summarized by Paperlayer. Open any of them to read the summary beside the original PDF, with every point linked to the line, figure, or table it came from.

Search paper metadata (including unsummarized papers)

61 to 120 of 2,547

The MAL Simulator: Cyber Operations Simulation based on Attack & Defense Graphs
Jakob Nyberg, Sandor Berglund, Andrei Buhaiu +3
cs.CRcs.AIarXiv:2609.16563v12026
A Cyber Range Evaluation of Autonomous Network Incident Response Agents
Jakob Nyberg, Teodor Sommestad, Andrei Buhaiu +3
cs.CRcs.AIarXiv:2609.16541v12026
ACRFence: Preventing Semantic Rollback Attacks in Agent Checkpoint-Restore
Yusheng Zheng, Yiwei Yang, Wei Zhang +1
cs.CRarXiv:2603.20625v12026
RobResilience: Implementing and Evaluating a Resilience Framework for Cyber-Physical Embodied Systems
Gysella Imrell, Emanuele Miotto, Mahya Mohammadi Kashani +2
cs.CRcs.ROeess.SYarXiv:2609.17349v12026
Decoy Direction Optimization: A Post-Hoc Defense Against LLM Abliteration
Aashiq Muhamed, Mona T. Diab, Virginia Smith
cs.LGcs.CLcs.CRarXiv:2609.16204v12026
Pick Your Poison: Learning to Select Poison Sets for Stronger LLM Backdoor Attacks
Aashiq Muhamed, Mona T. Diab, Virginia Smith +2
cs.LGcs.AIcs.CLarXiv:2609.15029v12026
Labels Are Not Endpoints: Treatment Leakage and Construct Validity in MCP Agent Security Evaluation
Rana Muhammad Ahmed, Sabahat Abbas
cs.CRcs.AIarXiv:2608.12880v12026
Is Artificial Intelligence Generated Image Detection a Solved Problem?
Ziqiang Li, Jiazhen Yan, Ziwen He +4
cs.CVcs.CRarXiv:2505.12335v22025
Preprocessing Failure and Adversarial Detection in Depthwise-Separable Edge Vision Systems
Jannatul Masruk Mukta, Rifa Sanjida, Adrita Rahman Tory +2
cs.CVcs.CRarXiv:2609.03453v12026
ClaimReceipt: Verifying Evidence Sufficiency and Coverage in Agent Evaluations
Peiying Zhu, Sidi Chang
cs.AIcs.CRcs.MAarXiv:2609.01992v12026
Active Authentication on Mobile Devices via Stylometry, Application Usage, Web Browsing, and GPS Location
Lex Fridman, Steven Weber, Rachel Greenstadt +1
cs.CRstat.MLarXiv:1503.08479v12015
SoK: The Faults in our ASRs: An Overview of Attacks against Automatic Speech Recognition and Speaker Identification Systems
Hadi Abdullah, Kevin Warren, Vincent Bindschaedler +2
cs.CRcs.LGcs.SDarXiv:2007.06622v32020
Open Challenges in Multi-Agent Security: Towards Secure Systems of Interacting AI Agents
Christian Schroeder de Witt, Klaudia Krawiecka, Igor Krawczuk +21
cs.CRcs.AIcs.MAarXiv:2505.02077v22025
Digital Forensic Investigation of Cloud Storage Services
Hyunji Chung, Jungheum Park, Sangjin Lee +1
cs.CRarXiv:1709.10395v12017
Summaries:한국어
Chainspace: A Sharded Smart Contracts Platform
Mustafa Al-Bassam, Alberto Sonnino, Shehar Bano +2
cs.CRarXiv:1708.03778v12017
SoK: Certified Robustness for Deep Neural Networks
Linyi Li, Tao Xie, Bo Li
cs.LGcs.CRstat.MLarXiv:2009.04131v92020
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
Bin Hu, Zongyang Zhang, Jianwei Liu +4
cs.CRarXiv:2008.13413v22020
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi +8
cs.PLcs.CRarXiv:1703.00053v62017
Learn&Fuzz: Machine Learning for Input Fuzzing
Patrice Godefroid, Hila Peleg, Rishabh Singh
cs.AIcs.CRcs.LGarXiv:1701.07232v12017
Backdoor Attacks Against Deep Learning Systems in the Physical World
Emily Wenger, Josephine Passananti, Arjun Bhagoji +3
cs.CVcs.CRcs.LGarXiv:2006.14580v42020
Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing
Sangho Lee, Ming-Wei Shih, Prasun Gera +3
cs.CRarXiv:1611.06952v32016
Has MIMO decoding been proved hard from lattice problems?
Yang Li
cs.CRcs.ITarXiv:2609.05013v12026
SWIFT: Super-fast and Robust Privacy-Preserving Machine Learning
Nishat Koti, Mahak Pancholi, Arpita Patra +1
cs.CRcs.LGarXiv:2005.10296v32020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
Clara Schneidewind, Ilya Grishchenko, Markus Scherer +1
cs.PLcs.CRarXiv:2005.06227v12020
DeepDGA: Adversarially-Tuned Domain Generation and Detection
Hyrum S. Anderson, Jonathan Woodbridge, Bobby Filar
cs.CRcs.AIarXiv:1610.01969v12016
Adversarial Machine Learning in Network Intrusion Detection Systems
Elie Alhajjar, Paul Maxwell, Nathaniel D. Bastian
cs.CRcs.LGcs.NEarXiv:2004.11898v12020
LLM Agents can Autonomously Exploit One-day Vulnerabilities
Richard Fang, Rohan Bindu, Akul Gupta +1
cs.CRcs.AIarXiv:2404.08144v22024
Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
Wesley B. Nuzzo, Samuel Dodson, Benjamin Houle +2
cs.CRcs.PLarXiv:2609.02048v12026
Lacan: Making Accountability in Anonymous Networks Real
Naoya Takada, Yutaro Yoshinaka, Kentaro Kita +3
cs.NIcs.CRarXiv:2609.01075v12026
Machine learning-based network intrusion detection for big and imbalanced data using oversampling, stacking feature embedding and feature extraction
Md. Alamin Talukder, Md. Manowarul Islam, Md Ashraf Uddin +4
cs.CRcs.LGarXiv:2401.12262v12024
Baseline Defenses for Adversarial Attacks Against Aligned Language Models
Neel Jain, Avi Schwarzschild, Yuxin Wen +7
cs.LGcs.CLcs.CRarXiv:2309.00614v22023
Lie to Me: Finding Bugs in ZK DSL Toolchains with Adversarial Witness Injection
Sebastian Watzinger, Christoph Hochrainer, Valentin Wüstholz +1
cs.CRcs.SEarXiv:2608.30648v12026
A Comprehensive Formal Security Analysis of OAuth 2.0
Daniel Fett, Ralf Kuesters, Guido Schmitz
cs.CRarXiv:1601.01229v42016
High-Dimensional Deterministic Secure Quantum Communication with Reed-Solomon Erasure Coding
L. F. A. de Sousa Moura, G. L. Zanin, P. H. Souto Ribeiro +1
quant-phcs.CRarXiv:2608.27679v12026
Are We Shooting Flies with Cannons? Trade-off Analysis for AI-based 5G Intrusion Detection
Federica Uccello, Simin Nadjm-Tehrani
cs.CRarXiv:2608.26844v12026
UNICORN: Runtime Provenance-Based Detector for Advanced Persistent Threats
Xueyuan Han, Thomas Pasquier, Adam Bates +2
cs.CRarXiv:2001.01525v22020
EVOMAL: Self-Poisoning in Self-Evolving Coding Agents
Xiaodong Wu, Yu Shi, Qi Li +5
cs.CRcs.AIarXiv:2608.25776v12026
Bitcoin Meets Strong Consistency
Christian Decker, Jochen Seidel, Roger Wattenhofer
cs.DCcs.CRarXiv:1412.7935v12014
Celeb-DF: A Large-scale Challenging Dataset for DeepFake Forensics
Yuezun Li, Xin Yang, Pu Sun +2
cs.CRcs.CVeess.IVarXiv:1909.12962v42019
Synthetic Data for Deep Learning
Sergey I. Nikolenko
cs.LGcs.CRcs.CVarXiv:1909.11512v12019
DE-FAKE: Detection and Attribution of Fake Images Generated by Text-to-Image Generation Models
Zeyang Sha, Zheng Li, Ning Yu +1
cs.CRcs.CVcs.LGarXiv:2210.06998v22022
On Physical Adversarial Patches for Object Detection
Mark Lee, Zico Kolter
cs.CVcs.CRcs.LGarXiv:1906.11897v12019
SHE: A Fast and Accurate Deep Neural Network for Encrypted Data
Qian Lou, Lei Jiang
cs.CRcs.LGarXiv:1906.00148v22019
AI Grinding for Fun and Cryptanalysis
Lukasz Olejnik, Bartosz Naskrecki
cs.CRarXiv:2608.21986v12026
Breaking the Assumptions: Auditing Input-Side Jailbreak Defenses Against Semantic Attacks
Aaditya Pratap, Harsh Kasyap, Somanath Tripathy
cs.CRcs.AIarXiv:2608.21895v12026
ZombieLoad: Cross-Privilege-Boundary Data Sampling
Michael Schwarz, Moritz Lipp, Daniel Moghimi +4
cs.CRarXiv:1905.05726v12019
Redakto - The Incognito Tab for LLMs
Saurav Kumar Saha, Tom Röhr, Felix Bießmann
cs.AIcs.CLcs.CRarXiv:2608.18260v12026
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts
Christof Ferreira Torres, Mathis Steichen, Radu State
cs.CRarXiv:1902.06976v22019
Smart Greybox Fuzzing
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa +2
cs.CRarXiv:1811.09447v12018
Spectre Returns! Speculation Attacks using the Return Stack Buffer
Esmaeil Mohammadian Koruyeh, Khaled Khasawneh, Chengyu Song +1
cs.CRarXiv:1807.07940v12018
Securing Dynamic Distributed Storage Systems against Eavesdropping and Adversarial Attacks
Sameer Pawar, Salim El Rouayheb, Kannan Ramchandran
cs.ITcs.CRarXiv:1009.2556v22010
Privacy-Preserving Access of Outsourced Data via Oblivious RAM Simulation
Michael T. Goodrich, Michael Mitzenmacher
cs.DScs.CRcs.DCarXiv:1007.1259v22010
A Survey on Essential Components of a Self-Sovereign Identity
Alexander Mühle, Andreas Grüner, Tatiana Gayvoronskaya +1
cs.CRarXiv:1807.06346v12018
Scrambled Linear Pseudorandom Number Generators
David Blackman, Sebastiano Vigna
cs.DScs.CRcs.MSarXiv:1805.01407v32018
Code injection attacks on harvard-architecture devices
Aurélien Francillon, Claude Castelluccia
cs.CRarXiv:0901.3482v12009
Sleeper Agent: Scalable Hidden Trigger Backdoors for Neural Networks Trained from Scratch
Hossein Souri, Liam Fowl, Rama Chellappa +2
cs.LGcs.CRcs.CVarXiv:2106.08970v32021
Automatic Verification of Correspondences for Security Protocols
Bruno Blanchet
cs.CRcs.LOarXiv:0802.3444v12008
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds
Priyanka Bose, Dipanjan Das, Yanju Chen +3
cs.CRcs.PLarXiv:2104.08638v22021
Rent-a-RAG: Embedding-Space Watermarks for Auditing Third-Party RAG
Alexandr Goultiaev Tolstokorov, Kyriakos Mouratidis, Javad Dogani +1
cs.CRcs.CLarXiv:2609.03749v12026
Generating Sentiment-Preserving Fake Online Reviews Using Neural Language Models and Their Human- and Machine-based Detection
David Ifeoluwa Adelani, Haotian Mai, Fuming Fang +3
cs.CLcs.CRcs.IRarXiv:1907.09177v22019

Cryptography and Security

The MAL Simulator: Cyber Operations Simulation based on Attack & Defense Graphs

A Cyber Range Evaluation of Autonomous Network Incident Response Agents

ACRFence: Preventing Semantic Rollback Attacks in Agent Checkpoint-Restore

RobResilience: Implementing and Evaluating a Resilience Framework for Cyber-Physical Embodied Systems

Decoy Direction Optimization: A Post-Hoc Defense Against LLM Abliteration

Pick Your Poison: Learning to Select Poison Sets for Stronger LLM Backdoor Attacks

Labels Are Not Endpoints: Treatment Leakage and Construct Validity in MCP Agent Security Evaluation

Is Artificial Intelligence Generated Image Detection a Solved Problem?

Preprocessing Failure and Adversarial Detection in Depthwise-Separable Edge Vision Systems

ClaimReceipt: Verifying Evidence Sufficiency and Coverage in Agent Evaluations

Active Authentication on Mobile Devices via Stylometry, Application Usage, Web Browsing, and GPS Location

SoK: The Faults in our ASRs: An Overview of Attacks against Automatic Speech Recognition and Speaker Identification Systems

Open Challenges in Multi-Agent Security: Towards Secure Systems of Interacting AI Agents

Digital Forensic Investigation of Cloud Storage Services

Chainspace: A Sharded Smart Contracts Platform

SoK: Certified Robustness for Deep Neural Networks

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

Verified Low-Level Programming Embedded in F*

Learn&Fuzz: Machine Learning for Input Fuzzing

Backdoor Attacks Against Deep Learning Systems in the Physical World

Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing

Has MIMO decoding been proved hard from lattice problems?

SWIFT: Super-fast and Robust Privacy-Preserving Machine Learning

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

DeepDGA: Adversarially-Tuned Domain Generation and Detection

Adversarial Machine Learning in Network Intrusion Detection Systems

LLM Agents can Autonomously Exploit One-day Vulnerabilities

Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM

Lacan: Making Accountability in Anonymous Networks Real

Machine learning-based network intrusion detection for big and imbalanced data using oversampling, stacking feature embedding and feature extraction

Baseline Defenses for Adversarial Attacks Against Aligned Language Models

Lie to Me: Finding Bugs in ZK DSL Toolchains with Adversarial Witness Injection

A Comprehensive Formal Security Analysis of OAuth 2.0

High-Dimensional Deterministic Secure Quantum Communication with Reed-Solomon Erasure Coding

Are We Shooting Flies with Cannons? Trade-off Analysis for AI-based 5G Intrusion Detection

UNICORN: Runtime Provenance-Based Detector for Advanced Persistent Threats

EVOMAL: Self-Poisoning in Self-Evolving Coding Agents

Bitcoin Meets Strong Consistency

Celeb-DF: A Large-scale Challenging Dataset for DeepFake Forensics

Synthetic Data for Deep Learning

DE-FAKE: Detection and Attribution of Fake Images Generated by Text-to-Image Generation Models

On Physical Adversarial Patches for Object Detection

SHE: A Fast and Accurate Deep Neural Network for Encrypted Data

AI Grinding for Fun and Cryptanalysis

Breaking the Assumptions: Auditing Input-Side Jailbreak Defenses Against Semantic Attacks

ZombieLoad: Cross-Privilege-Boundary Data Sampling

Redakto - The Incognito Tab for LLMs

The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts

Smart Greybox Fuzzing

Spectre Returns! Speculation Attacks using the Return Stack Buffer

Securing Dynamic Distributed Storage Systems against Eavesdropping and Adversarial Attacks

Privacy-Preserving Access of Outsourced Data via Oblivious RAM Simulation

A Survey on Essential Components of a Self-Sovereign Identity

Scrambled Linear Pseudorandom Number Generators

Code injection attacks on harvard-architecture devices

Sleeper Agent: Scalable Hidden Trigger Backdoors for Neural Networks Trained from Scratch

Automatic Verification of Correspondences for Security Protocols

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

Rent-a-RAG: Embedding-Space Watermarks for Auditing Third-Party RAG

Generating Sentiment-Preserving Fake Online Reviews Using Neural Language Models and Their Human- and Machine-based Detection