:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Crochet, Christophe, Aoga, John, Legay, Axel
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Cryptography and Security Networking and Internet Architecture Symbolic Computation
Online Access:	https://arxiv.org/abs/2503.02413
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Verifying QUIC implementations using Ivy
by: Crochet, Christophe, et al.
Published: (2025)

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

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

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

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

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

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

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

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

AndroScanner: Automated Backend Vulnerability Detection for Android Applications
by: Dandu, Harini
Published: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

BitSov: A Composable Bitcoin-Native Architecture for Sovereign Internet Infrastructure
by: Larsen, Oliver Aleksander, et al.
Published: (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
by: Ahmed, Akinsola, et al.
Published: (2024)

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

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

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

Universal Session Protocol: Mitigating Unauthenticated Remote Code Execution
by: Anderson, Jonathon
Published: (2023)

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

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

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

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

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

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

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

Bridging the Mobile Trust Gap: A Zero Trust Framework for Consumer-Facing Applications
by: Tabalipa, Alexander
Published: (2025)

A Communication Satellite Servises Based Decentralized Network Protocol
by: Yan, Xiao, et al.
Published: (2024)