The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for arithmetization with no syntactic query expansion in all metadata.

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