Trapdoor oneway functions associated with exponentiation. - Virendra Sule (IACR Cryptol. ePrint Arch., 2011)

Generalization of Boole-Shannon expansion, consistency of Boolean equations and elimination by orthonormal expansion. - Virendra Sule (CoRR, 2013)

Generalized cofactors and decomposition of Boolean satisfiability problems. - Madhav P. Desai; Virendra Sule (CoRR, 2014)

An algorithm for Boolean satisfiability based on generalized orthonormal expansion. - Virendra Sule (CoRR, 2014)

Stabilization Theory for Active Multi Port Networks. - Mayuresh Bakshi; Virendra Sule; Maryam Shoejai Baghini (CoRR, 2016)

Projective cofactor decompositions of Boolean functions and the satisfiability problem. - Madhav P. Desai; Virendra Sule (CoRR, 2016)

Implicant based parallel all solution solver for Boolean satisfiability. - Virendra Sule (CoRR, 2016)

Implicant based solver for XOR Boolean linear systems. - Jayashree Katti; Virendra Sule; B. K. Lande (SpringSim (HPC), 2017)

Cryptanalysis of Bivium using a Boolean all solution solver. - Virendra Sule; Anmol Yadav (IACR Cryptol. ePrint Arch., 2017)

Internal State Recovery Attack on Stream Ciphers: Breaking BIVIUM. - Shravani Shahapure; Virendra Sule; Rohin D. Daruwala (SPACE, 2019)

Robust stabilization of multiport networks. - Mayuresh Bakshi; Virendra Sule; Maryam Shojaei Baghini (CoRR, 2020)

A Complete algorithm for local inversion of maps: Application to Cryptanalysis. - Virendra Sule (CoRR, 2021)

Local inversion of maps: A new attack on Symmetric encryption, RSA and ECDLP. - Virendra Sule (CoRR, 2022)

Local Inversion of maps: Black box Cryptanalysis. - Virendra Sule (CoRR, 2022)

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants. - Virendra Sule (CoRR, 2023)

Word Linear Complexity of sequences and Local Inversion of maps over finite fields. - Virendra Sule (CoRR, 2023)

Polynomial Complexity of Inversion of sequences and Local Inversion of Maps. - Virendra Sule (CoRR, 2024)

Solving Modular Linear Systems with a Constraint by parallel decomposition of the Smith form and extended Euclidean division modulo powers of primes divisors. - Virendra Sule (CoRR, 2025)