This repository hosts the source code for the tools presented in our paper, accepted at CRYPTO 2024, titled: Revisiting Differential-Linear Attacks via a Boomerang Perspective with Application to AES, ...
Abstract: Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the ...
Abstract: Electrical impedance tomography (EIT) is one of the typical ill-posed inverse problems, where serious ill-posedness and the linear approximation of the forward operator lead to obvious ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results