Skip to content

StatSAT: A Boolean Satisfiability based Attack on Logic-Locked Probabilistic Circuits.

Ankit Mondal, Michael Zuzak, Ankur Srivastava

VenueA*DAC
Year2020
ProceedingsDAC

Browse the full DAC paper archive.