Yiorgos Makris

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Functional Obfuscation of Hardware Accelerators through Selective Partial Design Extraction onto an Embedded FPGA

Bo Hu and others (2019) · ACM Great Lakes Symposium on VLSI (GLSVLSI)

VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation

Mohammad-Mahdi Bidmeshki and others (2015) · 2015 IEEE International Symposium on Circuits and Systems (ISCAS) · IEEE

Proof-Carrying Hardware Intellectual Property: A Pathway to Trusted Module Acquisition

Eric Love and others (2011) · IEEE Transactions on Information Forensics and Security · Institute of Electrical and Electronics Engineers