Nektarios Georgios Tsoutsos

Nikhil Gupta

Ramesh Karri

Computer, 2020

Peak Your Frequency: Advanced Search of 3D CAD Files in the Fourier Domain.

[BibT_eX]

[DOI]

Charles Gouert

Nikhil Gupta

IEEE Access, 2020

Practical Data-in-Use Protection Using Binary Decision Diagrams.

[BibT_eX]

[DOI]

Esha Sarkar

Eduardo Chielle

IEEE Access, 2020

Pythia: Intellectual Property Verification in Zero-Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Covert Data Exfiltration Using Light and Power Channels.

[BibT_eX]

[DOI]

Patrick Cronin

Charles Gouert

Chengmo Yang

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

CoPHEE: Co-processor for Partially Homomorphic Encrypted Execution.

[BibT_eX]

[DOI]

Mohammed Nabeel

Mohammed Ashraf

Eduardo Chielle

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2019

Lightweight Fault Tolerance for Secure Aggregation of Homomorphic Data.

[BibT_eX]

[DOI]

Proceedings of the Security and Fault Tolerance in Internet of Things, 2019

2018

Efficient Detection for Malicious and Random Errors in Additive Encrypted Computation.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2018

E<sup>3</sup>: A Framework for Compiling C++ Programs with Encrypted Operands.

[BibT_eX]

[DOI]

Eduardo Chielle

IACR Cryptol. ePrint Arch., 2018

Anatomy of Memory Corruption Attacks and Mitigations in Embedded Systems.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2018

TERMinator Suite: Benchmarking Privacy-Preserving Architectures.

[BibT_eX]

[DOI]

IEEE Comput. Archit. Lett., 2018

2017

Memory-Bounded Randomness for Hardware-Constrained Encrypted Computation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

ObfusCADe: Obfuscating Additive Manufacturing CAD Models Against Counterfeiting: Invited.

[BibT_eX]

[DOI]

Nikhil Gupta

Fei Chen

Proceedings of the 54th Annual Design Automation Conference, 2017

Secure 3D Printing: Reconstructing and Validating Solid Geometries using Toolpath Reverse Engineering.

[BibT_eX]

[DOI]

Homer Gamil

Proceedings of the 3rd ACM Workshop on Cyber-Physical System Security, 2017

SGXCrypter: IP protection for portable executables using Intel's SGX technology.

[BibT_eX]

[DOI]

Dimitrios Tychalas

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

Obfuscating branch decisions based on encrypted data using MISR and hash digests.

[BibT_eX]

[DOI]

Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, 2017

2016

Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2016

Cryptographic vote-stealing attacks against a partially homomorphic e-voting architecture.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Enabling multi-layer cyber-security assessment of Industrial Control Systems through Hardware-In-The-Loop testbeds.

[BibT_eX]

[DOI]

Anastasis Keliris

Charalambos Konstantinou

Raghad Baiad

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015

The HEROIC Framework: Encrypted Computation Without Shared Keys.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Extending residue-based fault tolerance to encrypted computation.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Test Conference, 2015

Obfuscated arbitrary computation using cryptographic primitives.

[BibT_eX]

[DOI]

Proceedings of the 10th International Design & Test Symposium, 2015

2014

Fabrication Attacks: Zero-Overhead Malicious Modifications Enabling Modern Microprocessor Privilege Escalation.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2014

Trust No One: Thwarting "heartbleed" Attacks Using Privacy-Preserving Computation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

HEROIC: Homomorphically EncRypted One Instruction Computer.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Advanced Techniques for Designing Stealthy Hardware Trojans.

[BibT_eX]

[DOI]

Charalambos Konstantinou

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Investigating the Application of One Instruction Set Computing for Encrypted Data Computation.

[BibT_eX]

[DOI]