On the Numerical Solution of Differential Linear Matrix Inequalities
Sign Up to like & getrecommendations! Published in 2020 at "Journal of Optimization Theory and Applications"
DOI: 10.1007/s10957-020-01650-9
Abstract: This paper presents a novel approach for the numerical solution of differential linear matrix inequalities. The solutions are searched in the class of piecewise-quadratic functions with symmetric matrix coefficients to be determined. To limit the… read more here.
Keywords: numerical solution; matrix inequalities; matrix; linear matrix ... See more keywords
An introduction to differential linear logic: proof-nets, models and antiderivatives
Sign Up to like & getrecommendations! Published in 2017 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129516000372
Abstract: Differential linear logic enriches linear logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for differential linear logic and a… read more here.
Keywords: proof nets; nets models; differential linear; introduction differential ... See more keywords
A Further Understanding of Differential‐Linear Cryptanalysis
Sign Up to like & getrecommendations! Published in 2020 at "Chinese Journal of Electronics"
DOI: 10.1049/cje.2020.05.010
Abstract: Differential-linear cryptanalysis has attracted much attention since proposed to attack DES in 1994, and then some generalized theories are developed to complement and unify the method. However, the links between differential-linear cryptanalysis and other important… read more here.
Keywords: linear cryptanalysis; linear hull; understanding differential; cryptanalysis ... See more keywords
A Wideband Differential Linear Low-Noise Transconductance Amplifier With Active-Combiner Feedback in Complementary MGTR Configurations
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Circuits and Systems I: Regular Papers"
DOI: 10.1109/tcsi.2020.3029298
Abstract: A wideband differential linear low-noise transconductance amplifier (LNTA) is proposed for SAW-less applications. An active combiner provides a dual-loop feedback for wideband matching with power efficiency. Operating as an auxiliary common source (CS) stage, complementary… read more here.
Keywords: transconductance; noise transconductance; linear low; low noise ... See more keywords
A New Method for Searching Optimal Differential and Linear Trails in ARX Ciphers
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Information Theory"
DOI: 10.1109/tit.2020.3040543
Abstract: In this paper, we propose an automatic tool to search for optimal differential and linear trails in ARX ciphers. It’s shown that a modulo addition can be divided into sequential small modulo additions with carry… read more here.
Keywords: trails arx; arx ciphers; optimal differential; differential linear ... See more keywords