Harsh Vamja

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Branch And Bound

Top Venues

Publications

Harsh Vamja, Richa Agrawal, Ranga Vemuri
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability. MWSCAS (2019)
Harsh Vamja, Richa Agrawal, Ranga Vemuri
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability. CoRR (2019)