Copertina

Network Simulator-centric Compositional Testing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rousseaux, Tom, Crochet, Christophe, Aoga, John, Legay, Axel
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Cryptography and Security Networking and Internet Architecture Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

PANTHER: Pluginizable Testing Environment for Network Protocols
di: Crochet, Christophe, et al.
Pubblicazione: (2025)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
di: Crochet, Christophe, et al.
Pubblicazione: (2025)

Verifying QUIC implementations using Ivy
di: Crochet, Christophe, et al.
Pubblicazione: (2025)

A Systematic Mapping Study on SDN Controllers for Enhancing Security in IoT Networks
di: Oredola, Charles, et al.
Pubblicazione: (2024)

A Novel Protocol Using Captive Portals for FIDO2 Network Authentication
di: Rivera-Dourado, Martiño, et al.
Pubblicazione: (2024)

Learning Failure-Inducing Models for Testing Software-Defined Networks
di: Ollando, Raphaël, et al.
Pubblicazione: (2022)

An Automated Blackbox Noncompliance Checker for QUIC Server Implementations
di: Ang, Kian Kai, et al.
Pubblicazione: (2025)

Hard-Earned Lessons in Access Control at Scale: Enforcing Identity and Policy Across Trust Boundaries with Reverse Proxies and mTLS
di: Singh, Sanjay, et al.
Pubblicazione: (2025)

OAuthHub: Mitigating OAuth Data Overaccess through a Local Data Hub
di: Li, Qiyu, et al.
Pubblicazione: (2026)

AndroScanner: Automated Backend Vulnerability Detection for Android Applications
di: Dandu, Harini
Pubblicazione: (2026)

WSEmail: A Retrospective on a System for Secure Internet Messaging Based on Web Services
di: May, Michael J., et al.
Pubblicazione: (2019)

Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
di: Duclos, Martin, et al.
Pubblicazione: (2024)

SoK: The Design Paradigm of Safe and Secure Defaults
di: Ruohonen, Jukka
Pubblicazione: (2024)

Is the OWASP Top 10 list comprehensive enough for writing secure code?
di: Sane, Parth
Pubblicazione: (2020)

Performance Analysis of Security Certificate Management System in Vehicle-to-Everything (V2X)
di: Chen, Abel C. H., et al.
Pubblicazione: (2023)

AFL-ICP: Enhancing Industrial Control Protocol Reliability via Specification-Guided Fuzzing
di: Meng, Jiaying, et al.
Pubblicazione: (2026)

A Survey on Mapping Digital Systems with Bill of Materials: Development, Practices, and Challenges
di: Zhang, Shuai, et al.
Pubblicazione: (2026)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2026)

Behavioral Consistency and Transparency Analysis on Large Language Model API Gateways
di: Lin, Guanjie, et al.
Pubblicazione: (2026)

Application Layer Cyber Deception without Developer Interaction
di: Kahlhofer, Mario, et al.
Pubblicazione: (2024)

aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
di: Amiot, Noé, et al.
Pubblicazione: (2025)

DAXiot: A Decentralized Authentication and Authorization Scheme for Dynamic IoT Networks
di: Philipp, Artur, et al.
Pubblicazione: (2023)

Towards Decentralized Identity Management in Multi-stakeholder 6G Networks
di: Garzon, Sandro Rodriguez, et al.
Pubblicazione: (2022)

Ruling the Unruly: Designing Effective, Low-Noise Network Intrusion Detection Rules for Security Operations Centers
di: Teuwen, Koen T. W., et al.
Pubblicazione: (2025)

Extremal Testing for Network Software using LLMs
di: Singha, Rathin, et al.
Pubblicazione: (2025)

Governance of Ledger-Anchored Decentralized Identifiers
di: Garzon, Sandro Rodriguez, et al.
Pubblicazione: (2025)

Towards Agentic Test-Driven Quality Assurance for 6G Networks
di: Tranoris, Christos, et al.
Pubblicazione: (2026)

Toward Digital Network Twins: Integrating Sionna RT in ns-3 for 6G Multi-RAT Networks Simulations
di: Pegurri, Roberto, et al.
Pubblicazione: (2024)

An Exposition of Pathfinding Strategies Within Lightning Network Clients
di: Saraswathi, Sindura, et al.
Pubblicazione: (2024)

Role Classification of Hosts within Enterprise Networks Based on Connection Patterns
di: Tan, Godfrey, et al.
Pubblicazione: (2026)

GenioSim: A Novel Simulation Platform for Edge Computing over Optical Networks
di: Cesarano, Carmine, et al.
Pubblicazione: (2026)

Poster: Developing an O-RAN Security Test Lab
di: Michaelides, Sotiris, et al.
Pubblicazione: (2024)

Testing Resource Isolation for System-on-Chip Architectures
di: Ledent, Philippe, et al.
Pubblicazione: (2024)

Shy Guys: A Light-Weight Approach to Detecting Robots on Websites
di: Van Boxem, Rémi, et al.
Pubblicazione: (2026)

DID Link: Authentication in TLS with Decentralized Identifiers and Verifiable Credentials
di: Garzon, Sandro Rodriguez, et al.
Pubblicazione: (2024)

Measurement Based Evaluation and Mitigation of Flood Attacks on a LAN Test-Bed
di: Nasereddin, Mohammed, et al.
Pubblicazione: (2023)

DIDChain: Advancing Supply Chain Data Management with Decentralized Identifiers and Blockchain
di: Herbke, Patrick, et al.
Pubblicazione: (2024)

CoFacS -- Simulating a Complete Factory to Study the Security of Interconnected Production
di: Lenz, Stefan, et al.
Pubblicazione: (2025)

Assessing the Latency of Network Layer Security in 5G Networks
di: Michaelides, Sotiris, et al.
Pubblicazione: (2025)

How Feasible are Passive Network Attacks on 5G Networks and Beyond? A Survey
di: Bahar, Atmane Ayoub Mansour, et al.
Pubblicazione: (2025)