Shrinidhi Venkatesh

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Propositional Logic

Decision Procedures

Top Venues

Publications

Juneet Kumar Meka, Shrinidhi Venkatesh, Ranga Vemuri
Analysis of the Satisfiability Attack Against Logic Encryption Using Synthetic Benchmarks. iSES (2022)