Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Functional Analysis Attacks on Logic Locking., and . CoRR, (2018)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , and . CoRR, (2018)Functional Analysis Attacks on Logic Locking., and . DATE, page 936-939. IEEE, (2019)When Oblivious is Not: Attacks against OPAM., , , , and . WOOT @ USENIX Security Symposium, USENIX Association, (2020)Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (8): 1692-1705 (2018)Formal verification of taint-propagation security properties in a commercial SoC design., and . DATE, page 1-2. European Design and Automation Association, (2014)Template-based circuit understanding., , , , , and . FMCAD, page 83-90. IEEE, (2014)Template-based Synthesis of Instruction-Level Abstractions for SoC Verification., , , and . FMCAD, page 160-167. IEEE, (2015)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , and . ACM Trans. Design Autom. Electr. Syst., 24 (1): 10:1-10:24 (2019)Strong Logic Obfuscation with Low Overhead against IC Reverse Engineering Attacks., , and . ACM Trans. Design Autom. Electr. Syst., 25 (4): 34:1-34:31 (2020)