HOLL: Program Synthesis for Higher Order Logic Locking.

Gourav Takhar, Ramesh Karri, Christian Pilato, Subhajit Roy

Browse the full TACAS paper archive.