Cover Image

Formal Power Series on Algebraic Cryptanalysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Nakamura, Shuhei
Format:	Preprint
Published:	2020
Subjects:	Symbolic Computation Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
by: Bizzarri, Alice, et al.
Published: (2024)

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

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

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

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

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

Access Hoare Logic
by: Beckmann, Arnold, et al.
Published: (2025)

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

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

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

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

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

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

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

Recycling Algebraic Proof Certificates
by: Kaufmann, Daniela, et al.
Published: (2025)

Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian, et al.
Published: (2024)

Bounds for D-Algebraic Closure Properties
by: Kauers, Manuel, et al.
Published: (2025)

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
by: Nalbach, Jasper, et al.
Published: (2024)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
by: Hofstadler, Clemens, et al.
Published: (2026)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
by: Nalbach, Jasper, et al.
Published: (2025)

Cryptanalysis of Cancelable Biometrics Vault
by: Lacharme, Patrick, et al.
Published: (2025)

Gröbner Basis Cryptanalysis of Ciminion and Hydra
by: Steiner, Matthias Johann
Published: (2024)

Cryptanalysis of Pseudorandom Error-Correcting Codes
by: Wang, Tianrui, et al.
Published: (2025)

Cryptanalysis on Lightweight Verifiable Homomorphic Encryption
by: Cheon, Jung Hee, et al.
Published: (2025)

An algebraic attack on stream ciphers with application to nonlinear filter generators and WG-PRNG
by: Mascia, Carla, et al.
Published: (2021)

Power Series Composition in Near-Linear Time
by: Kinoshita, Yasunori, et al.
Published: (2024)

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions
by: Caruso, Xavier, et al.
Published: (2026)

Algebraic structure behind Odrzywołek's EML operator
by: Stachowiak, Tomasz
Published: (2026)

Analyzing Linear Layers in Related-Differential Cryptanalysis
by: Kumar, Yogesh, et al.
Published: (2026)

Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
by: Caruso, Xavier, et al.
Published: (2026)

Neural Stringology Based Cryptanalysis of EChaCha20
by: Kebande, Victor
Published: (2026)