Cover Image

The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ginesin, Jacob, Nita-Rotaru, Cristina
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security C.2.2; E.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Channel Fault Analysis with Tofu
by: Ginesin, Jacob, et al.
Published: (2026)

TPU as Cryptographic Accelerator
by: Karanjai, Rabimba, et al.
Published: (2023)

Highway to Hull: An Algorithm for Solving the General Matrix Code Equivalence Problem
by: Couvreur, Alain, et al.
Published: (2025)

Provisioning Time-Based Subscription in NDN: A Secure and Efficient Access Control Scheme
by: Sultan, Nazatul H., et al.
Published: (2025)

Enabling Privacy-Preserving and Publicly Auditable Federated Learning
by: Zeng, Huang, et al.
Published: (2024)

TurboTLS: TLS connection establishment with 1 less round trip
by: Aguilar-Melchor, Carlos, et al.
Published: (2023)

Post-Quantum Cryptography in the 5G Core
by: Attema, Thomas, et al.
Published: (2025)

Observability for Post-Quantum TLS Readiness: A Multi-Surface Evidence Framework
by: Delgado, José Luis
Published: (2026)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
by: Ginesin, Jacob, et al.
Published: (2024)

Efficacy of Full-Packet Encryption in Mitigating Protocol Detection for Evasive Virtual Private Networks
by: Parker, Amy Iris
Published: (2024)

Statistical Analysis and Optimization of the MFA Protecting Private Keys
by: Alam, Mahafujul, et al.
Published: (2026)

Federated Distributed Key Generation
by: Baranski, Stanislaw, et al.
Published: (2025)

Aegon: Auditable AI Content Access with Ledger-Bound Tokens and Hardware-Attested Mobile Receipts
by: Baskaran, Amrish, et al.
Published: (2026)

Quantum-Classical Hybrid Encryption Framework Based on Simulated BB84 and AES-256: Design and Experimental Evaluation
by: Mozo, Hector E
Published: (2025)

Federated Learning: An approach with Hybrid Homomorphic Encryption
by: Correia, Pedro, et al.
Published: (2025)

Measuring the Availability and Response Times of Public Encrypted DNS Resolvers
by: Sharma, Ranya, et al.
Published: (2022)

Automatic verification of Finite Variant Property beyond convergent equational theories
by: Cheval, Vincent, et al.
Published: (2024)

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
by: Cheval, Vincent, et al.
Published: (2022)

EncFormer: Secure and Efficient Transformer Inference over Encrypted Data
by: Zhu, Yufan, et al.
Published: (2026)

What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
by: Metere, Roberto, et al.
Published: (2026)

The Beautiful Deception: How 256 Bits Pretend to be Infinity
by: Towell, Alexander
Published: (2025)

A Privacy Protocol Using Ephemeral Intermediaries and a Rank-Deficient Matrix Power Function (RDMPF)
by: Salazar, Eduardo
Published: (2025)

SAGA: A Security Architecture for Governing AI Agentic Systems
by: Syros, Georgios, et al.
Published: (2025)

SOAP: A Social Authentication Protocol
by: Linker, Felix, et al.
Published: (2024)

Securing 5G Bootstrapping: A Two-Layer IBS Authentication Protocol
by: Dong, Yilu, et al.
Published: (2025)

Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
by: Mallick, Tushin, et al.
Published: (2025)

Measuring Ransomware Lateral Movement Susceptibility via Privilege-Weighted Adjacency Matrix Exponentiation
by: Tyagi, Satyam, et al.
Published: (2025)

BISON: Blind Identification with Stateless scOped pseudoNyms
by: Heher, Jakob, et al.
Published: (2024)

WebRTC Metadata and IP Leakage in Modern Browsers: A Cross-Platform Measurement Study
by: Koysha, Ahmed Fouad Kadhim, et al.
Published: (2025)

Signature Placement in Post-Quantum TLS Certificate Hierarchies: An Experimental Study of ML-DSA and SLH-DSA in TLS 1.3 Authentication
by: Jiménez, José Luis Delgado
Published: (2026)

Understanding the Resource Cost of Fully Homomorphic Encryption in Quantum Federated Learning
by: Böhm, Lukas, et al.
Published: (2026)

Quantum-Resistant Quantum Teleportation
by: Jin, Xin, et al.
Published: (2026)

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
by: Weintraub, Ben, et al.
Published: (2024)

Pioplat: A Scalable, Low-Cost Framework for Latency Reduction in Ethereum Blockchain
by: Wang, Ke, et al.
Published: (2024)

The Continuous Logarithm in the Complex Circle for Post-Quantum Cryptographic Algorithms
by: Gaber, Jaafar
Published: (2024)

Targeted Nakamoto: A Bitcoin Protocol to Balance Network Security and Carbon Emissions
by: Aronoff, Daniel
Published: (2024)

SecEmb: Sparsity-Aware Secure Federated Learning of On-Device Recommender System with Large Embedding
by: Mai, Peihua, et al.
Published: (2025)

Enabling Multi-Client Authorization in Dynamic SSE
by: Diallo, Seydina Ousmane, et al.
Published: (2026)

Hummingbird: Fast, Flexible, and Fair Inter-Domain Bandwidth Reservations
by: Wüst, Karl, et al.
Published: (2023)

A Formal Basis for Quantum Cryptographic Exposure Measurement under HNDL Threat
by: Rufino, Matheus, et al.
Published: (2026)