Virendra Sule

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 18

Top Topics

Davis Putnam Logemann Loveland

Boolean Satisfiability

Satisfiability Problem

Nonlinear Dynamical Systems

Top Venues

IACR Cryptol. ePrint Arch.

Math. Control. Signals Syst.

Publications

Virendra Sule
Polynomial Complexity of Inversion of sequences and Local Inversion of Maps. CoRR (2024)
Virendra Sule
Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants. CoRR (2023)
Virendra Sule
Word Linear Complexity of sequences and Local Inversion of maps over finite fields. CoRR (2023)
Virendra Sule
Local Inversion of maps: Black box Cryptanalysis. CoRR (2022)
Virendra Sule
Local inversion of maps: A new attack on Symmetric encryption, RSA and ECDLP. CoRR (2022)
Ramachandran Anantharaman, Virendra Sule
Observability attack on stream generators. IACR Cryptol. ePrint Arch. 2021 (2021)
Ramachandran Anantharaman, Virendra Sule
Koopman operator approach for computing structure of solutions and observability of nonlinear dynamical systems over finite fields. Math. Control. Signals Syst. 33 (2) (2021)
Virendra Sule
A Complete algorithm for local inversion of maps: Application to Cryptanalysis. CoRR (2021)
Mayuresh Bakshi, Virendra Sule, Maryam Shojaei Baghini
Robust stabilization of multiport networks. CoRR (2020)
Ramachandran Anantharaman, Virendra Sule
Koopman operator approach for computing structure of solutions and Observability of non-linear finite state system. CoRR (2020)
Ramachandran Anantharaman, Virendra Sule
On computation of the inverse of a polynomial map over finite fields using the reduced Koopman dual linear map. CoRR (2020)
Shravani Shahapure, Virendra Sule, Rohin D. Daruwala
Internal State Recovery Attack on Stream Ciphers: Breaking BIVIUM. SPACE (2019)
Ramachandran Anantharaman, Virendra Sule
Analysis of Periodic Feedback Shift Registers. CoRR (2019)
Jayashree Katti, Virendra Sule, B. K. Lande
Implicant based solver for XOR Boolean linear systems. SpringSim (HPC) (2017)
Virendra Sule, Anmol Yadav
Cryptanalysis of Bivium using a Boolean all solution solver. IACR Cryptol. ePrint Arch. 2017 (2017)
Mayuresh Bakshi, Virendra Sule, Maryam Shoejai Baghini
Stabilization Theory for Active Multi Port Networks. CoRR (2016)
Virendra Sule
Implicant based parallel all solution solver for Boolean satisfiability. CoRR (2016)
Madhav Desai, Virendra Sule
Projective cofactor decompositions of Boolean functions and the satisfiability problem. CoRR (2016)
Madhav Desai, Virendra Sule
Generalized cofactors and decomposition of Boolean satisfiability problems. CoRR (2014)
Virendra Sule
An algorithm for Boolean satisfiability based on generalized orthonormal expansion. CoRR (2014)
Virendra Sule
Generalization of Boole-Shannon expansion, consistency of Boolean equations and elimination by orthonormal expansion. CoRR (2013)
Virendra Sule
Trapdoor oneway functions associated with exponentiation. IACR Cryptol. ePrint Arch. 2011 (2011)