Cover Image

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Marksteiner, Stefan, Sjödin, Mikael, Sirjani, Marjan
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Formal Languages and Automata Theory D.2.4; F.3.1; K.6.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

CBCL: Safe Self-Extending Agent Communication
by: O'Connor, Hugo
Published: (2026)

Post-quantum Federated Learning: Secure And Scalable Threat Intelligence For Collaborative Cyber Defense
by: Nayak, Prabhudarshi, et al.
Published: (2026)

What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
by: Metere, Roberto, et al.
Published: (2026)

Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
by: Budde, Carlos E., et al.
Published: (2024)

Dynamic Vulnerability Patching for Heterogeneous Embedded Systems Using Stack Frame Reconstruction
by: Zhou, Ming, et al.
Published: (2025)

Formal Models and Convergence Analysis for Context-Aware Security Verification
by: Chaudhary, Ayush
Published: (2025)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
by: Marri, Srinivas Rao
Published: (2026)

LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
by: Tanksalkar, Sai Ritvik, et al.
Published: (2025)

ARMOUR US: Android Runtime Zero-permission Sensor Usage Monitoring from User Space
by: Long, Yan, et al.
Published: (2025)

Memory Forensics Techniques for Automated Detection and Analysis of Go Malware
by: Ali, Hala, et al.
Published: (2026)

The Discovery, Disclosure, and Investigation of CVE-2024-25825
by: Chasens, Hunter
Published: (2025)

Silent Consent, Persistent Risk: Android Permission Groups and Custom Permissions
by: Akanji, Olawale Amos, et al.
Published: (2026)

vCause: Efficient and Verifiable Causality Analysis for Cloud-based Endpoint Auditing
by: Song, Qiyang, et al.
Published: (2026)

From Consensus to Chaos: A Vulnerability Assessment of the RAFT Algorithm
by: Afifi, Tamer, et al.
Published: (2026)

SAFE-SiP: Secure Authentication Framework for System-in-Package Using Multi-party Computation
by: Tashdid, Ishraq, et al.
Published: (2025)

HashKitty: Distributed Password Analysis
by: Antunes, Pedro, et al.
Published: (2025)

A Survey of Unikernel Security: Insights and Trends from a Quantitative Analysis
by: Wollman, Alex, et al.
Published: (2024)

The Need for Standardized Evidence Sampling in CMMC Assessments: A Survey-Based Analysis of Assessor Practices
by: Therrien, Logan, et al.
Published: (2026)

Model-bounded monitoring of hybrid systems
by: Waga, Masaki, et al.
Published: (2021)

Privacy-preserving and reward-based mechanisms of proof of engagement
by: Montanari, Matteo Marco, et al.
Published: (2025)

Static Attribution of Android Residential Proxy Malware Using Graph Kernels
by: Clark, Peter, et al.
Published: (2026)

Parameterized Verification of Timed Networks with Clock Invariants
by: André, Étienne, et al.
Published: (2024)

Tool-Assisted Conformance Checking to Reference Process Models
by: Rumpe, Bernhard, et al.
Published: (2025)

Sensitivity Uncertainty Alignment in Large Language Models
by: Hiremath, Prakul Sunil, et al.
Published: (2026)

Device Context Protocol: A Compact, Safety-First Architecture for LLM-Driven Control of Constrained Devices
by: Yang, Dongxu
Published: (2026)

Learning Deterministic One-Counter Automata in Polynomial Time
by: Mathew, Prince, et al.
Published: (2025)

Privacy-Enhancing Encryption in Data Sharing: A Survey on Security, Performance and Functionality
by: Lv, Yongyang, et al.
Published: (2026)

SecureBank: A Financially-Aware Zero Trust Architecture for High-Assurance Banking Systems
by: Biao, Paulo Fernandes
Published: (2025)

Can AI Lower the Barrier to Cybersecurity? A Human-Centered Mixed-Methods Study of Novice CTF Learning
by: Schachner, Cathrin, et al.
Published: (2026)

Toward Cybersecurity Testing and Monitoring of IoT Ecosystems
by: Taylor, Steve, et al.
Published: (2025)

Security Considerations for Multi-agent Systems
by: Nguyen, Tam, et al.
Published: (2026)

AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
by: Nathanson, Samuel, et al.
Published: (2025)

Dr. Jekyll and Mr. Hyde: Two Faces of LLMs
by: Collu, Matteo Gioele, et al.
Published: (2023)

Unified Framework for Qualifying Security Boundary of PUFs Against Machine Learning Attacks
by: Fei, Hongming, et al.
Published: (2026)

False Security Confidence in Benign LLM Code Generation
by: Ren, Xiaolei
Published: (2026)

Systematic Evaluation of Black-Box Checking for Fast Bug Detection
by: Pellen, Bram, et al.
Published: (2025)

A Secure, Manifest-Based Framework for Delegated Privilege Promotion
by: Chowdhury, Rajarshi, et al.
Published: (2026)

ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
by: Amusuo, Paschal C., et al.
Published: (2023)

Fine-tuning RoBERTa for CVE-to-CWE Classification: A 125M Parameter Model Competitive with LLMs
by: Mosievskiy, Nikita
Published: (2026)