Paperlayer

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)

121 to 180 of 2,547

  1. Flip, Don't Shuffle: Watermarking LLMs at the Speed of Inference

    Simone Ceppi, Ignacio Sanchez

    cs.CRcs.CLcs.LGarXiv:2609.03844v12026

  2. EFI Pairs Without One-Way Puzzles: Oracle Separations from Communication Complexity

    Atul Mantri

    quant-phcs.CRarXiv:2609.11901v12026

  3. Certifying Adversarial Robustness of Quantum Classifiers under Known-Readout Query Access

    Ji Guan, Mingyu Huang

    quant-phcs.CRarXiv:2609.11637v12026

  4. CHERI-D Reincarnate: efficient multicore CHERI temporal memory safety through allocation reincarnation (draft version)

    Yuecheng Wang, Jonathan Woodruff, Simon W. Moore

    cs.ARcs.CRarXiv:2609.11590v12026

  5. Demystifying the Privacy-Utility Trade-off in LLM Interactions

    Zhenhua Liu, Zhanxu Xie, Junjie Yu +3

    cs.AIcs.CRarXiv:2609.10992v12026

  6. Beyond the Turing threshold: Productive grammars generate essentially undecidable languages

    Luis M. Augusto

    cs.FLcs.CRarXiv:2609.11385v12026

  7. Domain-Incremental Learning for Multi-Channel Replay Speech Detection

    Michael Neri

    eess.AScs.CRcs.SDarXiv:2609.11194v12026

  8. terms.txt: A Consent and Compensation Protocol for Agentic Web Access

    Rajarshi Chowdhury

    cs.NIcs.AIcs.CRarXiv:2609.11152v12026

  9. Lower Bounds for Private Graph Optimization Problems using Reconstruction Attacks

    Jacob Imola, Rasmus Pagh, Lukas Retschmeier

    cs.DScs.CRarXiv:2609.10877v12026

  10. Tight Time-Space Lower Bounds for Collision Finding and Element Distinctness under Label Symmetry

    Frédéric Magniez, Sebastian Zur

    quant-phcs.CCcs.CRarXiv:2609.10808v12026

  11. When Measurement Constraints Favor Quantum Computational Sensing for Stealthy Power-Grid Attack Detection

    Saisubramaniam Gopalakrishnan, Supreeth B S, Pranav Sarda +2

    quant-phcs.CRarXiv:2609.10606v12026

  12. The Privacy Subsidy in Market Microstructure

    Yuki Nakamura

    cs.GTcs.CRq-fin.TRarXiv:2609.10543v12026

  13. Quantum Inversion of Units in Group Rings: Block Dimension, Not Commutativity, Governs Hardness

    Bhanwar Gupta

    quant-phcs.CRarXiv:2609.10596v12026

  14. From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp

    Moustafa Said, Aurora Naska, Kevin Morio +1

    cs.CRarXiv:2609.11882v12026

  15. Atlas: Efficient Verifiable Semantic Search

    Nikolay Avramov, Hidde Lycklama, Alexander Viand +1

    cs.CRarXiv:2609.11841v12026

  16. BlueSTAR: Tiered Agentic Architecture for Autonomous Cyber Defense

    Simona Boboila, Xavier Cadet, Edward Koh +4

    cs.CRarXiv:2609.11852v12026

  17. Don't Trust the Super-App: A Case Study of Russia's Max

    Richa Priyanka, Aaron Ortwein, Joel Reardon +3

    cs.CRcs.CYarXiv:2609.11814v12026

  18. Signing the Transaction but Not the Decision: Whisper Attacks and a Binding Defense for AP2

    Yedidel Louck, Amit Dvir, Ariel Stulman

    cs.CRarXiv:2609.11757v12026

  19. Universally Composable Quantum Multi-Party Computation

    Dominique Unruh

    quant-phcs.CRarXiv:0910.2912v12009

  20. PHAT: PHotonic Accelerator for TFHE

    Guowei Yang, Farbin Fayza, Beren Aydoğan +3

    cs.CRcs.ARcs.ETarXiv:2609.11613v12026

  21. From Intent to Execution Grant: An Execution-Boundary Conformance Profile for High-Risk AI Actions

    Mengting Wu, Lin Wang, Yong Zhang +1

    cs.CRarXiv:2609.11596v12026

  22. Accountability in Certificate Transparency and Variants

    Timo Treitz, Robert Künnemann

    cs.CRarXiv:2609.11552v12026

  23. Chypothermia: Clock Freezing for Static Side-channel Attacks

    Fatemeh Khojasteh Dana, Mehmet Ali Cetin, Xinrui Wang +3

    cs.CRarXiv:2609.11442v12026

  24. On Identifying Sound Conditions for Frontrunning Resistance

    Sebastian Holler, Anna Piscitelli, Jannik Albrecht +3

    cs.CRarXiv:2609.11535v12026

  25. Heterogeneous Cross-Chain Transaction Tracing for Solana Bridges via Candidate-Set Selective Decision

    Wenjie Dou, Zheng Che, Meng Shen +3

    cs.CRarXiv:2609.11413v12026

  26. "They don't care about this": A Systematic Study of TEE Build Reproducibility in the Wild

    Annika Wilde, Marco Gutfleisch, Felix Reichmann +4

    cs.CRarXiv:2609.11411v12026

  27. Few-Shot Learning for Network Intrusion Detection: Methods, Datasets, and Performance

    Arne Roszeitis, Victor Jüttner, Erik Buchmann

    cs.CRarXiv:2609.11275v12026

  28. You Get What You Sample: Evaluating Sampling Strategies for Web Security Measurements

    Xuenan Zhang, Yuqing Yang, Giancarlo Pellegrino

    cs.CRarXiv:2609.11218v12026

  29. Deep-Fake CAPTCHA: Mitigating Next-Generation Social Engineering Attacks

    Guy Frankovits, Lior Yasur, Fred M. Grabovski +1

    cs.CRcs.AIarXiv:2609.11404v12026

  30. You've Got a BUD in Me: Authenticated Reads from Per-Block Write Logs

    Alejandro Ranchal-Pedrosa, Cody Littley, Ben Marsh

    cs.CRcs.DBcs.DCarXiv:2609.11251v12026

  31. ToxicRAG: Compromising Retrieval-Augmented Generation Systems via Single-Shot Knowledge Poisoning Attacks

    Haozhe Lu, Jiaqi Li, Xinyuan Zhu +1

    cs.CRarXiv:2609.11082v12026

  32. Big Enough to Break Out: Tracking the Rising Capability of LLM Penetration-Testing Agents

    Victoria Lovelace, Cameron Berryman, Yuhan You +3

    cs.CRarXiv:2609.10780v12026

  33. The Machines Are Calling: Measuring Automated and Synthetic Voices in Unwanted Inbound Calls

    Xingyu Shen, Tommy Duong, Muduo Xu +7

    cs.CRcs.CYcs.SDarXiv:2609.11137v12026

  34. The Missing Boundary: How Autonomous Agents Lose Control

    Zonghao Ying, Xiangfan Wu, Huiyu Wu +4

    cs.CRarXiv:2609.11024v12026

  35. SynthID-Image: Image watermarking at internet scale

    Sven Gowal, Rudy Bunel, Florian Stimberg +23

    cs.CRcs.AIarXiv:2510.09263v12025

  36. No-Box Vulnerability Analysis: Description-only Detection of Indirect Prompt Injection Vulnerabilities in MCP Servers

    Zehua Zhang, Jie Hu, Pratham Hegde +13

    cs.CRcs.AIarXiv:2609.10854v12026

  37. Architecting the Secure AI-SOC: A Neurosymbolic Framework for Pipeline Integrity and Threat Mitigation

    Anna Gazani, Spyridon Kounoupidis, Panagiotis Katsaros +3

    cs.CRcs.AIarXiv:2609.10707v12026

  38. Threshold Choice, Not Sample Size, Bounds Trustless Verification of Nondeterministic Compound AI Workflows

    Alper Alimoglu

    cs.CRarXiv:2609.10601v12026

  39. HermiCache: Enclave-Aware Cache Replacement for Trusted Execution Environments

    Oussama Elmnaouri, Pascal Cotret, Vianney Lapôtre +1

    cs.CRcs.ARarXiv:2609.10634v12026

  40. BenchShield: Formal Model-Backed Instrumentation for Reward Integrity in LLM-Agent Evaluation Infrastructure

    Shenghan Zheng, Zonglin Di, Yimin Liu +19

    cs.CRcs.AIcs.SEarXiv:2609.11028v12026
    Summaries:한국어

  41. Parsimonious Black-Box Adversarial Attacks via Efficient Combinatorial Optimization

    Seungyong Moon, Gaon An, Hyun Oh Song

    cs.LGcs.CRcs.CVarXiv:1905.06635v22019

  42. DeFiFusion: Combining Transaction Events with Smart Contracts to Detect Price Manipulation Attacks

    Rui Cao, Shaojing Fan, Liming Fang +3

    cs.CRcs.AIcs.SEarXiv:2609.11008v12026

  43. AspisAI: A Canonical, Machine-Interpretable Governance Framework for Automated Multi-Standard Compliance Monitoring

    Tsafac Nkombong Regine Cyrille, Hasan Dag, Reiner Creutzburg +1

    cs.CRcs.CYcs.SEarXiv:2609.10881v12026

  44. Beyond Static Guarantees: Measuring the Static-Pass Dynamic-Fail Gap in Security-Sensitive and LLM-Generated Python Code

    Jessica Pourleyli, Maitreyee Das Urmi, Glaucia Melo

    cs.CRcs.AIcs.SEarXiv:2609.10762v12026

  45. A2ABreak: Systematic Security Analysis of the A2A Protocol

    Alireza Lotfi, Mirza Masfiqur Rahman, Imtiaz Karim +1

    cs.CRcs.SEarXiv:2609.10871v12026

  46. Fingerprinting the Fingerprinters: Learning to Detect Browser Fingerprinting Behaviors

    Umar Iqbal, Steven Englehardt, Zubair Shafiq

    cs.CRarXiv:2008.04480v12020

  47. FST Pay: Deterministic Safety-Gated Architecture for Youth Digital Payments

    Shaikh Mohammed Burhan, Syed Farhaan Quadri, Tabassum Nahid Sultana

    cs.SEcs.CRarXiv:2609.11195v12026

  48. When Passing Tests Hides Vulnerabilities: An Empirical Study of Silent Failures in Agentic Systems

    Wenji Bai, Muhammad Waseem, Zeeshan Rasheed +2

    cs.SEcs.CRarXiv:2609.10548v12026

  49. Internet of Things: Survey on Security and Privacy

    Diego M. Mendez, Ioannis Papapanagiotou, Baijian Yang

    cs.CRarXiv:1707.01879v22017

  50. Beyond Google Play: A Large-Scale Comparative Study of Chinese Android App Markets

    Haoyu Wang, Zhe Liu, Jingyue Liang +6

    cs.NIcs.CRcs.CYarXiv:1810.07780v12018

  51. VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation

    Lesly Miculicich, Mihir Parmar, Hamid Palangi +4

    cs.SEcs.AIcs.CRarXiv:2510.05156v12025

  52. Why Do Developers Get Password Storage Wrong? A Qualitative Usability Study

    Alena Naiakshina, Anastasia Danilova, Christian Tiefenau +3

    cs.CRarXiv:1708.08759v22017

  53. Theory and Practice of Finding Eviction Sets

    Pepe Vila, Boris Köpf, José Francisco Morales

    cs.CRarXiv:1810.01497v22018

  54. Securing LLM-Agent Long-Term Memory Against Poisoning: Non-Malleable, Origin-Bound Authority with Machine-Checked Guarantees

    Yedidel Louck

    cs.CRarXiv:2606.24322v12026

  55. AIP: Agent Identity Protocol for Verifiable Delegation Across MCP and A2A

    Sunil Prakash

    cs.CRcs.AIarXiv:2603.24775v12026

  56. Apps Gone Rogue: Maintaining Personal Privacy in an Epidemic

    Ramesh Raskar, Isabel Schunemann, Rachel Barbar +29

    cs.CRcs.CYcs.DCarXiv:2003.08567v22020

  57. General Cutting Planes for Bound-Propagation-Based Neural Network Verification

    Huan Zhang, Shiqi Wang, Kaidi Xu +5

    cs.LGcs.CRcs.CVarXiv:2208.05740v22022

  58. Differentially Private EEG Feature Anonymization: A Privacy-Utility Case Study in Clinical Neurophysiology

    Noman Sadiq, Mohsen Toorani

    cs.CRcs.LGeess.SParXiv:2609.11777v12026

  59. HORNET: High-speed Onion Routing at the Network Layer

    Chen Chen, Daniele Enrico Asoni, David Barrera +2

    cs.CRarXiv:1507.05724v32015

  60. AdaCliP: Adaptive Clipping for Private SGD

    Venkatadheeraj Pichapati, Ananda Theertha Suresh, Felix X. Yu +2

    cs.LGcs.CRstat.MLarXiv:1908.07643v22019