Imagen de Portada

PANTHER: Pluginizable Testing Environment for Network Protocols

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Crochet, Christophe, Aoga, John, Legay, Axel
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering Cryptography and Security Networking and Internet Architecture Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Network Simulator-centric Compositional Testing
por: Rousseaux, Tom, et al.
Publicado: (2025)

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

Verifying QUIC implementations using Ivy
por: Crochet, Christophe, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

AndroScanner: Automated Backend Vulnerability Detection for Android Applications
por: Dandu, Harini
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

A Protocol-Agnostic Backscatter-Based Security Layer for Ultra-Low-Power SWIPT IoT Networks
por: Djidjekh, Taki Eddine, et al.
Publicado: (2026)

Enhancing Data Privacy In Wireless Sensor Networks: Investigating Techniques And Protocols To Protect Privacy Of Data Transmitted Over Wireless Sensor Networks In Critical Applications Of Healthcare And National Security
por: Ahmed, Akinsola, et al.
Publicado: (2024)

Zero Trust for Multi-RAT IoT: Trust Boundary Management in Heterogeneous Wireless Network Environments
por: Shelby, Jonathan
Publicado: (2026)

Advancement on Security Applications of Private Intersection Sum Protocol
por: Raghuvir, Yuvaraj Athur, et al.
Publicado: (2023)

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

Universal Session Protocol: Mitigating Unauthenticated Remote Code Execution
por: Anderson, Jonathon
Publicado: (2023)

Efficient and Quantum-safe Internet Key Exchange Protocols for Satellite Communications
por: De Zuane, Davide, et al.
Publicado: (2026)

Ambusher: Exploring the Security of Distributed SDN Controllers Through Protocol State Fuzzing
por: Kim, Jinwoo, et al.
Publicado: (2025)

Implementing an Optimized and Secured Multimedia Streaming Protocol in a Participatory Sensing Scenario
por: Vaiuso, Andrea
Publicado: (2024)

Key Establishment in the Space Environment
por: Dowling, Benjamin, et al.
Publicado: (2025)

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

ASOP: A Sovereign and Secure Device Onboarding Protocol for Cloud-based IoT Services
por: Reaz, Khan, et al.
Publicado: (2024)

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

Large-Scale Security Analysis of Real-World Backend Deployments Speaking IoT-Focused Protocols
por: Tagliaro, Carlotta, et al.
Publicado: (2024)

SoK: Evaluating 5G Protocols Against Legacy and Emerging Privacy and Security Attacks
por: Eleftherakis, Stavros, et al.
Publicado: (2024)

Streaming Technologies and Serialization Protocols: Empirical Performance Analysis
por: Jackson, Samuel, et al.
Publicado: (2024)

A Protocol-Aware P4 Pipeline for MQTT Security and Anomaly Mitigation in Edge IoT Systems
por: Binh, Bui Ngoc Thanh, et al.
Publicado: (2026)