Imagen de Portada

Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cosler, Matthias, Cremers, Cas, Finkbeiner, Bernd, Ghanem, Mohamed, Medinger, Niklas
Formato:	Preprint
Publicado:	2026
Materias:	Cryptography and Security Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Learning Representations Through Contrastive Neural Model Checking
por: Krsmanovic, Vladimir, et al.
Publicado: (2025)

Advanced Persistent Threats (APT) Attribution Using Deep Reinforcement Learning
por: Basnet, Animesh Singh, et al.
Publicado: (2024)

Secure Transformer Inference Protocol
por: Yuan, Mu, et al.
Publicado: (2023)

Secure UAV-assisted Federated Learning: A Digital Twin-Driven Approach with Zero-Knowledge Proofs
por: Zami, Md Bokhtiar Al, et al.
Publicado: (2025)

A No-Defense Defense Against Gradient-Based Adversarial Attacks on ML-NIDS: Is Less More?
por: elShehaby, Mohamed, et al.
Publicado: (2026)

Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin
por: Li, Di Long, et al.
Publicado: (2024)

Secure and Privacy-Preserving Federated Learning for Next-Generation Underground Mine Safety
por: Elmahallawy, Mohamed, et al.
Publicado: (2025)

SecureLearn -- An Attack-agnostic Defense for Multiclass Machine Learning Against Data Poisoning Attacks
por: Paracha, Anum, et al.
Publicado: (2025)

AttackGNN: Red-Teaming GNNs in Hardware Security Using Reinforcement Learning
por: Gohil, Vasudev, et al.
Publicado: (2024)

Byzantine-Robust Federated Learning: An Overview With Focus on Developing Sybil-based Attacks to Backdoor Augmented Secure Aggregation Protocols
por: Deshmukh, Atharv
Publicado: (2024)

Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection
por: Risse, Niklas, et al.
Publicado: (2023)

GenDFIR: Advancing Cyber Incident Timeline Analysis Through Retrieval Augmented Generation and Large Language Models
por: Loumachi, Fatma Yasmine, et al.
Publicado: (2024)

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
por: Schmitt, Frederik, et al.
Publicado: (2026)

MalVol-25: A Diverse, Labelled and Detailed Volatile Memory Dataset for Malware Detection and Response Testing and Validation
por: Dunsin, Dipo, et al.
Publicado: (2025)

Towards Privacy-Preserving Medical Imaging: Federated Learning with Differential Privacy and Secure Aggregation Using a Modified ResNet Architecture
por: Fares, Mohamad Haj, et al.
Publicado: (2024)

No More, No Less: Least-Privilege Language Models
por: Rauba, Paulius, et al.
Publicado: (2026)

Applying Action Masking and Curriculum Learning Techniques to Improve Data Efficiency and Overall Performance in Operational Technology Cyber Security using Reinforcement Learning
por: Wilson, Alec, et al.
Publicado: (2024)

Learned-Database Systems Security
por: Schuster, Roei, et al.
Publicado: (2022)

ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation
por: Chen, Bing-Jyue, et al.
Publicado: (2025)

Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection
por: Risse, Niklas, et al.
Publicado: (2024)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
por: Tudorache, Leonard, et al.
Publicado: (2026)

EVA-S2PLoR: Decentralized Secure 2-party Logistic Regression with A Subtly Hadamard Product Protocol (Full Version)
por: Tao, Tianle, et al.
Publicado: (2025)

On the (In)Security of Loading Machine Learning Models
por: Digregorio, Gabriele, et al.
Publicado: (2025)

Preserving Privacy and Security in Federated Learning
por: Nguyen, Truc, et al.
Publicado: (2022)

A Study of Secure Algorithms for Vertical Federated Learning: Take Secure Logistic Regression as an Example
por: Wang, Huan-Chih, et al.
Publicado: (2024)

Transfer Learning for Security: Challenges and Future Directions
por: Li, Adrian Shuai, et al.
Publicado: (2024)

CECILIA: Comprehensive Secure Machine Learning Framework
por: Ünal, Ali Burak, et al.
Publicado: (2022)

PoLO: Proof-of-Learning and Proof-of-Ownership at Once with Chained Watermarking
por: Deng, Haiyu, et al.
Publicado: (2025)

Devil's Hand: Data Poisoning Attacks to Locally Private Graph Learning Protocols
por: He, Longzhu, et al.
Publicado: (2025)

Efficiently Achieving Secure Model Training and Secure Aggregation to Ensure Bidirectional Privacy-Preservation in Federated Learning
por: Yang, Xue, et al.
Publicado: (2024)

Zero-Knowledge Proof-based Verifiable Decentralized Machine Learning in Communication Network: A Comprehensive Survey
por: Xing, Zhibo, et al.
Publicado: (2023)

Multi-Agent Reinforcement Learning for Maritime Operational Technology Cyber Security
por: Wilson, Alec, et al.
Publicado: (2024)

Securing Transfer-Learned Networks with Reverse Homomorphic Encryption
por: Allison, Robert, et al.
Publicado: (2025)

Plinius: Secure and Persistent Machine Learning Model Training
por: Yuhala, Peterson, et al.
Publicado: (2021)

A System for Interactive Examination of Learned Security Policies
por: Hammar, Kim, et al.
Publicado: (2022)

Secure Vertical Federated Learning Under Unreliable Connectivity
por: Qiu, Xinchi, et al.
Publicado: (2023)

Less Random, More Private: What is the Optimal Subsampling Scheme for DP-SGD?
por: Dong, Andy, et al.
Publicado: (2026)

Machine Learning-Based Security Policy Analysis
por: Jain, Krish, et al.
Publicado: (2024)

Towards Trustworthy AI: Secure Deepfake Detection using CNNs and Zero-Knowledge Proofs
por: Islam, H M Mohaimanul, et al.
Publicado: (2025)

The Relationship Between Network Similarity and Transferability of Adversarial Attacks
por: Klause, Gerrit, et al.
Publicado: (2025)