TY  - RPRT
TI  - HOLL: Program Synthesis for Higher OrderLogic Locking
AU  - Gourav Takhar
AU  - Ramesh Karri
AU  - Christian Pilato
AU  - Subhajit Roy
PY  - 2022
UR  - https://arxiv.org/abs/2201.10531
ID  - 2201.10531
ER  -