HOLL: program synthesis for higher order logic locking

DOI10.1007/978-3-030-99524-9_1zbMATH Open1547.68058MaRDI QIDQ6535557

Ramesh Karri, Subhajit Roy, Christian Pilato, Gourav Takhar

Publication date: 23 January 2024

zbMATH Keywords

program synthesishardware securitylogic locking

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Computer security (68M25)

Cites Work

• Synthesizing environment invariants for modular hardware verification
• The program dependence graph and its use in optimization
• Encodings of Turing machines in linear logic
• Parse Condition: Symbolic Encoding of LL(1) Parsing
• HOLL: program synthesis for higher order logic locking

Related Items (1)

HOLL: program synthesis for higher order logic locking

This page was built for publication: HOLL: program synthesis for higher order logic locking