:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Bizzarri, Alice, Yu, Chung-En, Jalaian, Brian, Riguzzi, Fabrizio, Bastian, Nathaniel D.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Artificial Intelligence Symbolic Computation
Accesso online:	https://arxiv.org/abs/2406.00938
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
di: Curaba, Cristian, et al.
Pubblicazione: (2024)

Formal Power Series on Algebraic Cryptanalysis
di: Nakamura, Shuhei
Pubblicazione: (2020)

Cryptanalysis of a multivariate CCZ scheme
di: Caminata, Alessio, et al.
Pubblicazione: (2025)

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
di: Bardet, Magali, et al.
Pubblicazione: (2025)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
di: Dasu, Vishnu Asutosh, et al.
Pubblicazione: (2026)

Optimal Communication Unbalanced Private Set Union
di: Dumas, Jean-Guillaume, et al.
Pubblicazione: (2024)

aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
di: Amiot, Noé, et al.
Pubblicazione: (2025)

Computing a Group Action from the Class Field Theory of Imaginary Hyperelliptic Function Fields
di: Leudière, Antoine, et al.
Pubblicazione: (2022)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2026)

Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial Rings
di: Furue, Hiroki, et al.
Pubblicazione: (2021)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
di: Scherb, Christopher, et al.
Pubblicazione: (2023)

Computing Isomorphisms between Products of Supersingular Elliptic Curves
di: Gaudry, Pierrick, et al.
Pubblicazione: (2025)

Explicit cost analysis of Toom-4 multiplication for incomplete NTT in lattice-based cryptography
di: Oku, Sakura, et al.
Pubblicazione: (2026)

A multistep strategy for polynomial system solving over finite fields and a new algebraic attack on the stream cipher Trivium
di: La Scala, Roberto, et al.
Pubblicazione: (2023)

Oracle-Based Multistep Strategy for Solving Polynomial Systems Over Finite Fields and Algebraic Cryptanalysis of the Aradi Cipher
di: La Scala, Roberto, et al.
Pubblicazione: (2025)

Access Hoare Logic
di: Beckmann, Arnold, et al.
Pubblicazione: (2025)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
di: Chen, Michael K.
Pubblicazione: (2025)

XG-NID: Dual-Modality Network Intrusion Detection using a Heterogeneous Graph Neural Network and Large Language Model
di: Farrukh, Yasir Ali, et al.
Pubblicazione: (2024)

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

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
di: Bednarek, Jakub, et al.
Pubblicazione: (2024)

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

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
di: Mishra, Suyash
Pubblicazione: (2026)

The solving degrees for computing Gröbner bases of affine semi-regular polynomial sequences
di: Kudo, Momonari, et al.
Pubblicazione: (2024)

A Hypergraph-Based Machine Learning Ensemble Network Intrusion Detection System
di: Lin, Zong-Zhi, et al.
Pubblicazione: (2022)

SHA-256 Collision Attack with Programmatic SAT
di: Alamgir, Nahiyan, et al.
Pubblicazione: (2024)

SAT and Lattice Reduction for Integer Factorization
di: Ajani, Yameen, et al.
Pubblicazione: (2024)

Generalized Holographic Reduced Representations
di: Yeung, Calvin, et al.
Pubblicazione: (2024)

An Interpretable Generalization Mechanism for Accurately Detecting Anomaly and Identifying Networking Intrusion Techniques
di: Pai, Hao-Ting, et al.
Pubblicazione: (2024)

SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
di: Feeney, Sean, et al.
Pubblicazione: (2026)

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
di: Wang, Kevin, et al.
Pubblicazione: (2026)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
di: Ledaguenel, Arthur, et al.
Pubblicazione: (2024)

Symbolic Foundation Regressor on Complex Networks
di: Liu, Weiting, et al.
Pubblicazione: (2025)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
di: Moran, Murat
Pubblicazione: (2026)

Transforming In-Vehicle Network Intrusion Detection: VAE-based Knowledge Distillation Meets Explainable AI
di: Yagiz, Muhammet Anil, et al.
Pubblicazione: (2024)

ORCA: An Agentic Reasoning Framework for Hallucination and Adversarial Robustness in Vision-Language Models
di: Yu, Chung-En Johnny, et al.
Pubblicazione: (2025)

Visual Reasoning Agent: Robust Vision Systems in Remote Sensing via Inference-Time Scaling
di: Yu, Chung-En Johnny, et al.
Pubblicazione: (2025)

Randomized Distributed Function Computation (RDFC): Ultra-Efficient Semantic Communication Applications to Privacy
di: Günlü, Onur
Pubblicazione: (2026)

Eclectic Rule Extraction for Explainability of Deep Neural Network based Intrusion Detection Systems
di: Ables, Jesse, et al.
Pubblicazione: (2024)

AI-Driven Chatbot for Intrusion Detection in Edge Networks: Enhancing Cybersecurity with Ethical User Consent
di: Asif, Mugheez, et al.
Pubblicazione: (2024)

Enhancing Intrusion Detection in IoT Environments: An Advanced Ensemble Approach Using Kolmogorov-Arnold Networks
di: Amouri, Amar, et al.
Pubblicazione: (2024)