Cover Image

An Automated Blackbox Noncompliance Checker for QUIC Server Implementations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ang, Kian Kai, Farrelly, Guy, Pope, Cheryl, Ranasinghe, Damith C.
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Networking and Internet Architecture Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

QUIC-Fuzz: An Effective Greybox Fuzzer For The QUIC Protocol
by: Ang, Kian Kai, et al.
Published: (2025)

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

DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monolithic Firmware Fuzzing
by: Farrelly, Guy, et al.
Published: (2026)

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

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)

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

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

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)

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

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

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

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

FirmReBugger: A Benchmark Framework for Monolithic Firmware Fuzzers
by: Duong, Mathew, et al.
Published: (2026)

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

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

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

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

How Resilient is QUIC to Security and Privacy Attacks?
by: Sengupta, Jayasree, et al.
Published: (2024)

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

A Quantum of QUIC: Dissecting Cryptography with Post-Quantum Insights
by: Kempf, Marcel, et al.
Published: (2024)

QUICstep: Evaluating connection migration based QUIC censorship circumvention
by: Lee, Seungju, et al.
Published: (2023)

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

PM-Dedup: Secure Deduplication with Partial Migration from Cloud to Edge Servers
by: Ke, Zhaokang, et al.
Published: (2025)

On Cross-Layer Interactions of QUIC, Encrypted DNS and HTTP/3: Design, Evaluation and Dataset
by: Sengupta, Jayasree, et al.
Published: (2023)

NinjaDoH: A Censorship-Resistant Moving Target DoH Server Using Hyperscalers and IPNS
by: Seidenberger, Scott, et al.
Published: (2024)

Implementing and Evaluating Post-Quantum DNSSEC in CoreDNS
by: Suela, Julio Gento, et al.
Published: (2025)

ESASCF: Expertise Extraction, Generalization and Reply Framework for an Optimized Automation of Network Security Compliance
by: Ghanem, Mohamed C., et al.
Published: (2023)

The Evolution of Zero Trust Architecture (ZTA) from Concept to Implementation
by: Nasiruzzaman, Md, et al.
Published: (2025)

Implementation and transition to post-quantum cryptography of the Minimal IKE protocol
by: De Zuane, Davide, et al.
Published: (2026)

Securing High-Performance Data Transfers: Implementing AES Encryption in RDMA Systems
by: Bångsbo, Erik, et al.
Published: (2026)

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

TLoRa: Implementing TLS Over LoRa for Secure HTTP Communication in IoT
by: Ghosh, Atonu, et al.
Published: (2025)

Applying Transparent Shaping for Zero Trust Architecture Implementation in AWS: A Case Study
by: Wang, Wenjia, et al.
Published: (2024)

The HTTP Garden: Discovering Parsing Vulnerabilities in HTTP/1.1 Implementations by Differential Fuzzing of Request Streams
by: Kallus, Ben, et al.
Published: (2024)

Uncovering Gaps Between RFC Updates and TCP/IP Implementations: LLM-Facilitated Differential Checks on Intermediate Representations
by: Wu, Yifan, et al.
Published: (2025)

RANalyzer: Automated Continuous RAN Software Evaluation and Regression Analysis
by: Shirkhani, Ravis, et al.
Published: (2026)

Unlearning-Enhanced Website Fingerprinting Attack: Against Backdoor Poisoning in Anonymous Networks
by: Yuan, Yali, et al.
Published: (2025)

SDN-SYN PoW: Adaptive Ingress-Aware Defense with Non-Interactive PoW Against Volumetric SYN Floods
by: Jia, Wenyang, et al.
Published: (2026)