Ramarathnam Venkatesan
Publications by Year
Research Areas
Cryptography and Data Security, Cryptographic Implementations and Security, Chaos-based Image/Signal Encryption, Complexity and Algorithms in Graphs, Formal Methods in Verification
Most-Cited Works
- → Hardness of Computing the Most Significant Bits of Secret Keys in Diffie-Hellman and Related Schemes(1996)263 cited
- → Synthesis of loop-free programs(2011)241 cited
- → Perfect Zero-Knowledge Arguments for NP Using Any One-Way Permutation(1998)161 cited
- → Speeding up discrete log and factoring based schemes via precomputations(1998)111 cited
- → Inversion Attacks on Secure Hash Functions Using sat Solvers(2007)66 cited
- Foiling birthday attacks in length-doubling transformations: benes: a non-reversible alternative to feistel(1996)
- → Perfect Zero-Knowledge Arguments for NP Can Be Based on General Complexity Assumptions(2007)61 cited
- → Constraint-Based Invariant Inference over Predicate Abstraction(2008)57 cited
- → Rounding in lattices and its cryptographic applications(1997)55 cited
- → The phase problem and its relation to the spin-glass problem(1991)39 cited