Highway to Hull: An Algorithm for Solving the General Matrix Code Equivalence Problem
Fuente:
arXiv
Guardado en:
| Autores principales: | Couvreur, Alain, Levrat, Christophe |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
por: Ginesin, Jacob, et al.
Publicado: (2024)
por: Ginesin, Jacob, et al.
Publicado: (2024)
TPU as Cryptographic Accelerator
por: Karanjai, Rabimba, et al.
Publicado: (2023)
por: Karanjai, Rabimba, et al.
Publicado: (2023)
Provisioning Time-Based Subscription in NDN: A Secure and Efficient Access Control Scheme
por: Sultan, Nazatul H., et al.
Publicado: (2025)
por: Sultan, Nazatul H., et al.
Publicado: (2025)
DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
por: Cheval, Vincent, et al.
Publicado: (2022)
por: Cheval, Vincent, et al.
Publicado: (2022)
The Beautiful Deception: How 256 Bits Pretend to be Infinity
por: Towell, Alexander
Publicado: (2025)
por: Towell, Alexander
Publicado: (2025)
Enabling Privacy-Preserving and Publicly Auditable Federated Learning
por: Zeng, Huang, et al.
Publicado: (2024)
por: Zeng, Huang, et al.
Publicado: (2024)
TurboTLS: TLS connection establishment with 1 less round trip
por: Aguilar-Melchor, Carlos, et al.
Publicado: (2023)
por: Aguilar-Melchor, Carlos, et al.
Publicado: (2023)
Automatic verification of Finite Variant Property beyond convergent equational theories
por: Cheval, Vincent, et al.
Publicado: (2024)
por: Cheval, Vincent, et al.
Publicado: (2024)
Blockchain As a Platform For Artificial Intelligence (AI) Transparency
por: Akther, Afroja, et al.
Publicado: (2025)
por: Akther, Afroja, et al.
Publicado: (2025)
The Quantum State Continuity Problem and Temporal Enforcement Against Fork Attacks
por: Ünsal, Samet
Publicado: (2025)
por: Ünsal, Samet
Publicado: (2025)
Mitigating the Impact of Malware Evolution on API Sequence-based Windows Malware Detector
por: Wei, Xingyuan, et al.
Publicado: (2024)
por: Wei, Xingyuan, et al.
Publicado: (2024)
Post-Quantum Cryptography in the 5G Core
por: Attema, Thomas, et al.
Publicado: (2025)
por: Attema, Thomas, et al.
Publicado: (2025)
PromptSAM+: Malware Detection based on Prompt Segment Anything Model
por: Wei, Xingyuan, et al.
Publicado: (2024)
por: Wei, Xingyuan, et al.
Publicado: (2024)
Efficacy of Full-Packet Encryption in Mitigating Protocol Detection for Evasive Virtual Private Networks
por: Parker, Amy Iris
Publicado: (2024)
por: Parker, Amy Iris
Publicado: (2024)
Analysis of Bitcoin Vulnerability to Bribery Attacks Launched Through Large Transactions
por: Ebrahimpour, Ghader, et al.
Publicado: (2021)
por: Ebrahimpour, Ghader, et al.
Publicado: (2021)
Literature Review of the Effect of Quantum Computing on Cryptocurrencies using Blockchain Technology
por: Mutha, Adi, et al.
Publicado: (2025)
por: Mutha, Adi, et al.
Publicado: (2025)
Observability for Post-Quantum TLS Readiness: A Multi-Surface Evidence Framework
por: Delgado, José Luis
Publicado: (2026)
por: Delgado, José Luis
Publicado: (2026)
Train to Defend: First Defense Against Cryptanalytic Neural Network Parameter Extraction Attacks
por: Kurian, Ashley, et al.
Publicado: (2025)
por: Kurian, Ashley, et al.
Publicado: (2025)
Federated Distributed Key Generation
por: Baranski, Stanislaw, et al.
Publicado: (2025)
por: Baranski, Stanislaw, et al.
Publicado: (2025)
Defense-as-a-Service: Black-box Shielding against Backdoored Graph Models
por: Yang, Xiao, et al.
Publicado: (2024)
por: Yang, Xiao, et al.
Publicado: (2024)
Guardians of the Web: The Evolution and Future of Website Information Security
por: Islam, Md Saiful, et al.
Publicado: (2025)
por: Islam, Md Saiful, et al.
Publicado: (2025)
Power-Softmax: Towards Secure LLM Inference over Encrypted Data
por: Zimerman, Itamar, et al.
Publicado: (2024)
por: Zimerman, Itamar, et al.
Publicado: (2024)
Anomaly Detection in IEC-61850 GOOSE Networks: Evaluating Unsupervised and Temporal Learning for Real-Time Intrusion Detection
por: Moore, Joseph
Publicado: (2026)
por: Moore, Joseph
Publicado: (2026)
Reflection of Federal Data Protection Standards on Cloud Governance
por: Dye, Olga, et al.
Publicado: (2024)
por: Dye, Olga, et al.
Publicado: (2024)
LIPPEN: A Lightweight In-Place Pointer Encryption Architecture for Pointer Integrity
por: Iravani, Erfan, et al.
Publicado: (2026)
por: Iravani, Erfan, et al.
Publicado: (2026)
Biometrics Employing Neural Network
por: Bhuiyan, Sajjad
Publicado: (2024)
por: Bhuiyan, Sajjad
Publicado: (2024)
Quantum-Resistant Quantum Teleportation
por: Jin, Xin, et al.
Publicado: (2026)
por: Jin, Xin, et al.
Publicado: (2026)
Unmasking Synthetic Realities in Generative AI: A Comprehensive Review of Adversarially Robust Deepfake Detection Systems
por: Khan, Naseem, et al.
Publicado: (2025)
por: Khan, Naseem, et al.
Publicado: (2025)
Evaluating the efficacy of LLM Safety Solutions : The Palit Benchmark Dataset
por: Palit, Sayon, et al.
Publicado: (2025)
por: Palit, Sayon, et al.
Publicado: (2025)
From Static to Adaptive Defense: Federated Multi-Agent Deep Reinforcement Learning-Driven Moving Target Defense Against DoS Attacks in UAV Swarm Networks
por: Zhou, Yuyang, et al.
Publicado: (2025)
por: Zhou, Yuyang, et al.
Publicado: (2025)
Understanding the Resource Cost of Fully Homomorphic Encryption in Quantum Federated Learning
por: Böhm, Lukas, et al.
Publicado: (2026)
por: Böhm, Lukas, et al.
Publicado: (2026)
Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
por: Dietrich, Jens, et al.
Publicado: (2024)
por: Dietrich, Jens, et al.
Publicado: (2024)
On the Hardness of the One-Sided Code Sparsifier Problem
por: Grigorescu, Elena, et al.
Publicado: (2025)
por: Grigorescu, Elena, et al.
Publicado: (2025)
Aegon: Auditable AI Content Access with Ledger-Bound Tokens and Hardware-Attested Mobile Receipts
por: Baskaran, Amrish, et al.
Publicado: (2026)
por: Baskaran, Amrish, et al.
Publicado: (2026)
A Privacy Protocol Using Ephemeral Intermediaries and a Rank-Deficient Matrix Power Function (RDMPF)
por: Salazar, Eduardo
Publicado: (2025)
por: Salazar, Eduardo
Publicado: (2025)
Detecting Vulnerabilities in Encrypted Software Code while Ensuring Code Privacy
por: Martins, Jorge, et al.
Publicado: (2025)
por: Martins, Jorge, et al.
Publicado: (2025)
Topology-Based Reconstruction Prevention for Decentralised Learning
por: Dekker, Florine W., et al.
Publicado: (2023)
por: Dekker, Florine W., et al.
Publicado: (2023)
An 8- and 12-bit block AES cipher
por: Breuer, Peter T.
Publicado: (2025)
por: Breuer, Peter T.
Publicado: (2025)
Can Zero-Shot Commercial APIs Deliver Regulatory-Grade Clinical Text DeIdentification?
por: Kocaman, Veysel, et al.
Publicado: (2025)
por: Kocaman, Veysel, et al.
Publicado: (2025)
Eliminating Backdoors in Neural Code Models for Secure Code Understanding
por: Sun, Weisong, et al.
Publicado: (2024)
por: Sun, Weisong, et al.
Publicado: (2024)
Ejemplares similares
-
The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
por: Ginesin, Jacob, et al.
Publicado: (2024) -
TPU as Cryptographic Accelerator
por: Karanjai, Rabimba, et al.
Publicado: (2023) -
Provisioning Time-Based Subscription in NDN: A Secure and Efficient Access Control Scheme
por: Sultan, Nazatul H., et al.
Publicado: (2025) -
DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
por: Cheval, Vincent, et al.
Publicado: (2022) -
The Beautiful Deception: How 256 Bits Pretend to be Infinity
por: Towell, Alexander
Publicado: (2025)