Copertina

Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Duclos, Martin, Fernandez, Ivan A., Moore, Kaneesha, Mittal, Sudip, Zieglar, Edward
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Networking and Internet Architecture Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ModelForge: Using GenAI to Improve the Development of Security Protocols
di: Duclos, Martin, et al.
Pubblicazione: (2025)

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

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

PANTHER: Pluginizable Testing Environment for Network Protocols
di: Crochet, Christophe, 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)

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

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)

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)

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

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

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

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

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

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

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

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

CyberSentinel: Efficient Anomaly Detection in Programmable Switch using Knowledge Distillation
di: Mittal, Sankalp
Pubblicazione: (2024)

PoS-CoPOR: Proof-of-Stake Consensus Protocol with Native Onion Routing Providing Scalability and DoS-Resistance
di: Homoliak, Ivan, et al.
Pubblicazione: (2025)

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

An investigation of the Online Payment and Banking System Apps in Bangladesh
di: Mickey, Shahriar Hasan, et al.
Pubblicazione: (2024)

Uncovering EDK2 Firmware Flaws: Insights from Code Audit Tools
di: Farahani, Mahsa, et al.
Pubblicazione: (2024)

Idioms: Neural Decompilation With Joint Code and Type Definition Prediction
di: Dramko, Luke, et al.
Pubblicazione: (2025)

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

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

LM-Fix: Lightweight Bit-Flip Detection and Rapid Recovery Framework for Language Models
di: Tahmasivand, Ahmad, et al.
Pubblicazione: (2025)

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

Utilizing Transaction Prioritization to Enhance Confirmation Speed in the IOTA Network
di: Aghamiri, Seyyed Ali, et al.
Pubblicazione: (2025)

Universal Session Protocol: Mitigating Unauthenticated Remote Code Execution
di: Anderson, Jonathon
Pubblicazione: (2023)

IoT Device Labeling Using Large Language Models
di: Meyuhas, Bar, et al.
Pubblicazione: (2024)

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

Privacy-Preserving Gesture Tracking System Utilizing Frequency-Hopping RFID Signals
di: Zhang, Bojun
Pubblicazione: (2024)

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

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

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

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

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

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