|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 18 keywords
|
|
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 105 | Aurélie Richard, Guy Wallet, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin |
Arithmetization of a Circular Arc.  |
DGCI  |
2009 |
DBLP DOI BibTeX RDF |
Discrete circle, Discrete arc circle, Numerical scheme, Error order, Arithmetization, Connectedness |
| 82 | Andrzej Grzegorczyk |
Undecidability without Arithmetization. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
discernibility, Kurt Gödel, Alfred Tarski, representability, decidability, arithmetization, concatenation |
| 69 | Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova |
An axiomatic approach to algebrization. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
algebrization, independence, relativization |
| 54 | Scott Aaronson, Avi Wigderson |
Algebrization: a new barrier in complexity theory. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
communication complexity, oracles, arithmetization, interactive proofs, query complexity, low-degree polynomials |
| 51 | Agathe Chollet, Guy Wallet, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin |
Omega-Arithmetization: A Discrete Multi-resolution Representation of Real Functions. |
IWCIA |
2009 |
DBLP DOI BibTeX RDF |
nonstandard analysis, discrete geometry, multi-resolution analysis, constructive mathematics |
| 28 | Elena Andreeva 0001, Rishiraj Bhattacharyya, Arnab Roy 0005, Stefano Trevisani |
On Efficient and Secure Compression Modes for Arithmetization-Oriented Hashing. |
IACR Cryptol. ePrint Arch. |
2024 |
DBLP BibTeX RDF |
|
| 28 | Augustin Bariant, Aurélien Boeuf, Axel Lemoine, Irati Manterola Ayala, Morten Øygarden, Léo Perrin, Håvard Raddum |
The Algebraic Freelunch Efficient Gröbner Basis Attacks Against Arithmetization-Oriented Primitives. |
IACR Cryptol. ePrint Arch. |
2024 |
DBLP BibTeX RDF |
|
| 28 | Jianqiang Ni, Jianhui Zhang, Gaoli Wang, Rui Li, Yanzhao Shen |
Algebraic Attacks against Grendel: An Arithmetization-Oriented Primitive with the Legendre Symbol. |
Symmetry |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | Zhengnan Li, Baofeng Wu, Dongdai Lin |
Algebraic-Differential Attacks on a Family of Arithmetization-Oriented Symmetric Ciphers. |
J. Syst. Sci. Complex. |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | Arnab Roy 0005, Matthias Johann Steiner, Stefano Trevisani |
Arion: Arithmetization-Oriented Permutation and Hashing from Generalized Triangular Dynamical Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | Tomer Ashur, Al Kindi |
Arithmetization Oriented Encryption. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
| 28 | Lev Soukhanov |
Power circuits: a new arithmetization for GKR-styled sumcheck. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
| 28 | Tiago Martins, João Farinha |
Study of Arithmetization Methods for STARKs. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
| 28 | Morgan Thomas |
Arithmetization of predicates into Halo 2 using application specific trace types. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
| 28 | Lilya Budaghyan, Mohit Pal |
ARITHMETIZATION-ORIENTED APN FUNCTIONS. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
| 28 | Clémence Bouvier, Pierre Briaud, Pyrros Chaidos, Léo Perrin, Robin Salen, Vesselin Velichkov, Danny Willems |
New Design Techniques for Efficient Arithmetization-Oriented Hash Functions: ttAnemoi Permutations and ttJive Compression Mode. |
CRYPTO (3) |
2023 |
DBLP DOI BibTeX RDF |
|
| 28 | Anthony Hart |
Arithmetization of Functional Program Execution via Interaction Nets in Halo 2. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
| 28 | Anthony Hart, Morgan Thomas |
Arithmetization of Σ¹₁ relations with polynomial bounds in Halo 2. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
| 28 | Morgan Thomas |
Arithmetization of Σ¹₁ relations in Halo 2. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
| 28 | Miguel Ambrona, Anne-Laure Schmitt, Raphael R. Toledo, Danny Willems |
New optimization techniques for PlonKâs arithmetization. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
| 28 | Clémence Bouvier, Pierre Briaud, Pyrros Chaidos, Léo Perrin, Vesselin Velichkov |
Anemoi: Exploiting the Link between Arithmetization-Orientation and CCZ-Equivalence. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
| 28 | Augustin Bariant, Clémence Bouvier, Gaëtan Leurent, Léo Perrin |
Algebraic Attacks against Some Arithmetization-Oriented Primitives. |
IACR Trans. Symmetric Cryptol. |
2022 |
DBLP DOI BibTeX RDF |
|
| 28 | Jan Ferdinand Sauer, Alan Szepieniec |
SoK: Gröbner Basis Algorithms for Arithmetization Oriented Ciphers. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
| 28 | Pierre Boutry, Gabriel Braun, Julien Narboux |
Formalization of the arithmetization of Euclidean plane geometry and applications. |
J. Symb. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
| 28 | Loïc Mazo |
Multi-scale Arithmetization of Linear Transformations. |
J. Math. Imaging Vis. |
2019 |
DBLP DOI BibTeX RDF |
|
| 28 | Pierre Boutry, Gabriel Braun, Julien Narboux |
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 28 | Alessandro Chiesa, Zeyuan Allen Zhu |
Shorter arithmetization of nondeterministic computations. |
Theor. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
| 28 | Agathe Chollet, Guy Wallet, Eric Andres, Laurent Fuchs, Gaëlle Largeteau-Skapin, Aurélie Richard |
Omega-Arithmetization of Ellipses. |
CompIMAGE |
2010 |
DBLP DOI BibTeX RDF |
|
| 28 | Yuri V. Matiyasevich |
Existential arithmetization of Diophantine equations. |
Ann. Pure Appl. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 28 | Sedki Boughattas, Jean-Pierre Ressayre |
Arithmetization of the field of reals with exponentiation extended abstract. |
RAIRO Theor. Informatics Appl. |
2008 |
DBLP DOI BibTeX RDF |
|
| 28 | Judson C. Webb |
Hilbert's Formalism and arithmetization of Mathematics. |
Synth. |
1997 |
DBLP DOI BibTeX RDF |
|
| 28 | László Babai, Lance Fortnow |
Arithmetization: A New Method in Structural Complexity Theory. |
Comput. Complex. |
1991 |
DBLP DOI BibTeX RDF |
|
| 28 | David Marshall |
Łukasiewicz, Leibniz and the arithmetization of the syllogism. |
Notre Dame J. Formal Log. |
1977 |
DBLP DOI BibTeX RDF |
|
| 23 | Ali Juma, Valentine Kabanets, Charles Rackoff, Amir Shpilka |
The Black-Box Query Complexity of Polynomial Summation. |
Comput. Complex. |
2009 |
DBLP DOI BibTeX RDF |
Subject classification. 68Q05, 68Q17, 68Q25, 68Q15 |
| 23 | Nutan Limaye, Meena Mahajan, Antoine Meyer |
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
| 23 | Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao |
Arithmetizing Classes Around NC 1 and L. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
| 23 | Mati Tombak, Ain Isotamm, Tõnu Tamme |
On Logical Method for Counting Dedekind Numbers. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license