Copertina

Computing a Group Action from the Class Field Theory of Imaginary Hyperelliptic Function Fields

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Leudière, Antoine, Spaenlehauer, Pierre-Jean
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Symbolic Computation Cryptography and Security Number Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules
di: Caruso, Xavier, et al.
Pubblicazione: (2023)

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

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

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

Computing change of level and isogenies between abelian varieties
di: Dequay, Antoine, et al.
Pubblicazione: (2025)

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)

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

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

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

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

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
di: Bender, Matías, et al.
Pubblicazione: (2023)

Computing basis of solutions of any Mahler equation
di: Faverjon, Colin, et al.
Pubblicazione: (2025)

Computation of classical and $v$-adic $L$-series of $t$-motives
di: Caruso, Xavier, et al.
Pubblicazione: (2024)

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

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

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

Computing Euler products and coefficients of classical modular forms for twisted L-functions
di: Molin, Pascal
Pubblicazione: (2025)

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)

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

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

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)

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

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

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

Cryptanalysis of the Legendre Pseudorandom Function over Extension Fields
di: Pandey, Daksh
Pubblicazione: (2026)

Diagonals and algebraicity modulo $p$: a sharper degree bound
di: Adamczewski, Boris, et al.
Pubblicazione: (2026)

On Differential and Boomerang Properties of a Class of Binomials over Finite Fields of Odd Characteristic
di: Koo, Namhun, et al.
Pubblicazione: (2025)

On the integrality of some P-recursive sequences
di: Matveeva, Anastasia
Pubblicazione: (2025)

Hahn series and Mahler equations: Algorithmic aspects
di: Faverjon, C., et al.
Pubblicazione: (2024)

An algorithm to recognize regular singular Mahler systems
di: Faverjon, Colin, et al.
Pubblicazione: (2021)

Regular singular Mahler equations and Newton polygons
di: Faverjon, Colin, et al.
Pubblicazione: (2025)

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

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)

A New Bound on Cofactors of Sparse Polynomials
di: Nahshon, Ido, et al.
Pubblicazione: (2023)

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

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

Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
di: Pagès, Raphaël
Pubblicazione: (2024)