Results 1 to 10 of about 1,565,809 (293)
Increasing Precision of Division Property
IACR Transactions on Symmetric Cryptology, 2020 In this paper we propose new techniques related to division property. We describe for the first time a practical algorithm for computing the propagation tables of 16-bit Super-Sboxes, increasing the precision of the division property by removing a lot of
Patrick Derbez, Pierre-Alain Fouque
doaj +5 more sources
Automatic Search of Cubes for Attacking Stream Ciphers
IACR Transactions on Symmetric Cryptology, 2021 Cube attack was proposed by Dinur and Shamir, and it has become an important tool for analyzing stream ciphers. As the problem that how to recover the superpolys accurately was resolved by Hao et al. in EUROCRYPT 2020, another important problem is how to
Yao Sun
doaj +1 more source
On the Relationships between Different Methods for Degree Evaluation
IACR Transactions on Symmetric Cryptology, 2021 In this paper, we compare several non-tight degree evaluation methods i.e., Boura and Canteaut’s formula, Carlet’s formula as well as Liu’s numeric mapping and division property proposed by Todo, and hope to find the best one from these methodsfor ...
Siwei Chen +3 more
doaj +1 more source
Mathematical aspects of division property
Cryptography and Communications, 2023 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hebborn, Phil +2 more
openaire +2 more sources
Fast MILP Models for Division Property
IACR Transactions on Symmetric Cryptology, 2022 Nowadays, MILP is a very popular tool to help cryptographers search for various distinguishers, in particular for integral distinguishers based on the division property.
Patrick Derbez, Baptiste Lambin
doaj +1 more source
A comparative study of the effects of contracts transmitter into contract property transmitter and the contract imposing obligations in islamic jurisprudence and Iranian and French law [PDF]
پژوهشنامه حقوق اسلامی, 2019 One of the subdivisions of the contracts among the works of the authors is the division of contracts into the contract property transmitter and the contract imposing obligations. This division is not in French civil law and in Iran and it has always been
Alireza Yazdanian
doaj +1 more source
Socio-legal problems of division of jointly acquired property of spouses [PDF]
SHS Web of Conferences, 2023 To identify gaps in legislation when regulating the relations of spouses on the division of common property in court, as well as to formulate proposals for the modernization of legislation in the field of property relations of spouses.
Grin Elena Anatolievna +2 more
doaj +1 more source
The Jurimetri Formulation of Court Decisions in the Division of Joint Property
Smart, 2023 This paper analyzes the results of court decisions on the application of jurimetric formulations in the division of joint property as an effort of justice.
Khoirunnisa Khoirunnisa, Rahmi Hidayati
doaj +1 more source
Logic for exact real arithmetic [PDF]
, 2021 Continuing earlier work of the first author with U. Berger, K. Miyamoto and H. Tsuiki, it is shown how a division algorithm for real numbers given as a stream of signed digits can be extracted from an appropriate formal proof.
Schwichtenberg, Helmut +1 more
core +3 more sources
Divisibility properties of Dedekind numbers [PDF]
Journal of Integer Sequences, 2023 We study some divisibility properties of Dedekind numbers. We show that the ninth Dedekind number is congruent to 6 modulo 210.
Pawelski, Bartłomiej +1 more
openaire +4 more sources