3 citations · 11 across the 15 of their papers we have counts for
15 papers
Observability of Nonlinear Dynamical Systems over Finite Fields
Ramachandran Anantharaman, Virendra Sule
This paper discusses the observability of nonlinear Dynamical Systems over Finite Fields (DSFF) through the Koopman operator framework. In this work, given a nonlinear DSFF, we con…
Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants
Virendra Sule
This paper addresses the computational problem of deciding invertibility (or one to one-ness) of a Boolean map in -Boolean variables. This problem is a special case of decid…
Local Inversion of maps: Black box Cryptanalysis
Virendra Sule
This paper is a short summery of results announced in a previous paper on a new universal method for Cryptanalysis which uses a Black Box linear algebra approach to computation of…
Local inversion of maps: A new attack on Symmetric encryption, RSA and ECDLP
Virendra Sule
This paper presents algorithms for local inversion of maps and shows how several important computational problems such as cryptanalysis of symmetric encryption algorithms, RSA algo…
A Complete algorithm for local inversion of maps: Application to Cryptanalysis
Virendra Sule
For a map (function) $F(x):\ftwo^n\rightarrow\ftwo^n$ and a given in the image of the problem of \emph{local inversion} of is to find all inverse images in $\ftwo^n…
Robust stabilization of multiport networks
Mayuresh Bakshi, Virendra Sule, Maryam Shojaei Baghini
This paper formulates and solves the problem of robust compensation of multiport active network. This is an important engineering problem as networks designed differ in parameter v…
Koopman operator approach for computing structure of solutions and Observability of non-linear finite state system
Ramachandran Anantharaman, Virendra Sule
Given a discrete dynamical system defined by a map in a vector space over a finite field called Finite State Systems (FSS), a dual linear system over the space of functions on the…
On Linear Representation, Complexity and Inversion of maps over finite fields
Ramachandran Anantharaman, Virendra Sule
This paper defines a linear representation for nonlinear maps where is a finite field, in terms of matrices over .…
Analysis of Periodic Feedback Shift Registers
Ramachandran Anantharaman, Virendra Sule
This paper develops methods for analyzing periodic orbits of states of linear feedback shift registers with periodic coefficients and estimating their lengths. These shift register…
Implicant based parallel all solution solver for Boolean satisfiability
Virendra Sule
This paper develops a parallel computational solver for computing all satifying assignments of a Boolean system of equations defined by Boolean functions of several variables. Whil…
Stabilization Theory for Active Multi Port Networks
Mayuresh Bakshi, Virendra Sule, Maryam Shoejai Baghini
This paper proposes a theory for designing stable interconnection of linear active multi-port networks at the ports. Such interconnections can lead to unstable networks even if the…
Projective cofactor decompositions of Boolean functions and the satisfiability problem
Madhav Desai, Virendra Sule
Given a CNF formula , we present a new algorithm for deciding the satisfiability (SAT) of and computing all solutions of assignments. The algorithm is based on the concept o…
Generalized cofactors and decomposition of Boolean satisfiability problems
Madhav Desai, Virendra Sule
We propose an approach for decomposing Boolean satisfiability problems while extending recent results of \cite{sul2} on solving Boolean systems of equations. Developments in \cite{…
An algorithm for Boolean satisfiability based on generalized orthonormal expansion
Virendra Sule
This paper proposes an algorithm for deciding consistency of systems of Boolean equations in several variables with co-efficients in the two element Boolean algebra …
Generalization of Boole-Shannon expansion, consistency of Boolean equations and elimination by orthonormal expansion
Virendra Sule
The well known Boole-Shannon expansion of Boolean functions in several variables (with co-efficients in a Boolean algebra ) is also known in more general form in terms of expans…