Cover Image

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Amorim, Arthur, Taylor, Max, Kann, Trevor, Harrison, William L., Leavens, Gary T., Joneckis, Lance
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

UAV Resilience Against Stealthy Attacks
by: Amorim, Arthur, et al.
Published: (2025)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
by: Amorim, Arthur, et al.
Published: (2024)

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
by: Amorim, Arthur, et al.
Published: (2026)

Formalizing Stack Safety as a Security Property
by: Anderson, Sean Noble, et al.
Published: (2021)

A Novel Cipher for Enhancing MAVLink Security: Design, Security Analysis, and Performance Evaluation Using a Drone Testbed
by: Dixit, Bhavya, et al.
Published: (2025)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
by: Thibault, Jérémy, et al.
Published: (2024)

Secure Multiparty Generative AI
by: Shrestha, Manil, et al.
Published: (2024)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
by: Michael, Alexandra E., et al.
Published: (2022)

Secure Aggregation in Federated Learning using Multiparty Homomorphic Encryption
by: Hosseini, Erfan, et al.
Published: (2025)

Quantum Secure Protocols for Multiparty Computations
by: Mohanty, Tapaswini, et al.
Published: (2023)

SMT-Boosted Security Types for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2025)

Secure Inference for Vertically Partitioned Data Using Multiparty Homomorphic Encryption
by: Chen, Shuangyi, et al.
Published: (2024)

Efficient Simulation of Quantum Secure Multiparty Computation
by: Sutradhar, Kartick
Published: (2025)

High-Throughput Secure Multiparty Computation with an Honest Majority in Various Network Settings
by: Harth-Kitzerow, Christopher, et al.
Published: (2022)

Training Differentially Private Models with Secure Multiparty Computation
by: Pentyala, Sikha, et al.
Published: (2022)

Multiparty Authorization for Secure Data Storage in Cloud Environments using Improved Attribute-Based Encryption
by: Paul, Partha, et al.
Published: (2025)

Securing the Web with HSTS-Enforced
by: van Diepen, Aaron, et al.
Published: (2026)

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
by: Song, Shixin, et al.
Published: (2025)

Experimental Secure Multiparty Computation from Quantum Oblivious Transfer with Bit Commitment
by: Zhang, Kai-Yi, et al.
Published: (2024)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
by: Zhang, Keyang, et al.
Published: (2026)

Measuring Safety Alignment Effects in Autonomous Security Agents
by: David, Isaac, et al.
Published: (2026)

Multiparty Selective Disclosure using Attribute-Based Encryption
by: Ohashi, Shigenori
Published: (2025)

The Jasmin Compiler Preserves Cryptographic Security
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

Secure Composition of Robust and Optimising Compilers
by: Kruse, Matthis, et al.
Published: (2023)

Language-Based Security for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2024)

Graded Modal Types for Integrity and Confidentiality
by: Marshall, Danielle, et al.
Published: (2023)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
by: Cho, Hyunhum, et al.
Published: (2026)

Computationally Bounded Robust Compilation and Universally Composable Security
by: Künnemann, Robert, et al.
Published: (2024)

Misquoted No More: Securely Extracting F* Programs with IO
by: Andrici, Cezar-Constantin, et al.
Published: (2026)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
by: Acay, Coşku, et al.
Published: (2024)

Ablating Safety: Mechanisms for Removing Alignment in Language Models for Security Applications
by: David, Isaac, et al.
Published: (2026)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
by: Huyghebaert, Sander, et al.
Published: (2023)

Lightweight Session-Key Rekeying Framework for Secure IoT-Edge Communication
by: Rakshit, Haranath, et al.
Published: (2025)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
by: Chen, Hung-Mao, et al.
Published: (2025)

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
by: Ramananandro, Tahina, et al.
Published: (2025)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

Tyche: Collateral-Free Coalition-Resistant Multiparty Lotteries with Arbitrary Payouts
by: Kniep, Quentin, et al.
Published: (2024)

Fully Randomized Pointers
by: Phaye, Sai Dhawal, et al.
Published: (2024)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
by: Gollamudi, Tarakaram, et al.
Published: (2025)

A Type System to Ensure Non-Interference in ReScript
by: Bennetzen, Benjamin, et al.
Published: (2024)