76 citations · 127 across the 9 of their papers we have counts for
11 papers
Think Locally Before Computing Jointly: Efficient Secure Multi-Party Computation via Maximizing Local Processing
Mingfei Yu, Chenglu Jin, Giovanni De Micheli
Secure multi-party computation (MPC) lets parties evaluate a function over private inputs without revealing them. In garbled-circuit (GC) protocols, prior optimization has largely…
CRSF: Collusion-Resilient Privacy-Preserving Sensor Fusion with Byzantine-Robust Participation
Chao Yin, Haihong Tian, Zheng Yang +3
Privacy-preserving sensor fusion enables an untrusted server to compute an aggregate result over distributed sensor measurements without learning either individual inputs or the fi…
Physical Time-Lock Puzzles
Niloufar Sayadi, Chenglu Jin, Phuong Ha Nguyen +2
Traditional time-lock puzzles enforce delayed access to encrypted secrets by relying on inherently sequential computational steps. However, since software-based constructions impos…
Breaking XOR Arbiter PUFs with Chosen Challenge Attack
Niloufar Sayadi, Phuong Ha Nguyen, Marten van Dijk +1
The XOR Arbiter PUF was introduced as a strong PUF in 2007 and was broken in 2015 by a Machine Learning (ML) attack, which allows the underlying Arbiter PUFs to be modeled individu…
Secure Remote Attestation with Strong Key Insulation Guarantees
Deniz Gurevin, Chenglu Jin, Phuong Ha Nguyen +2
Recent years have witnessed a trend of secure processor design in both academia and industry. Secure processors with hardware-enforced isolation can be a solid foundation of cloud…
A Survey of Cybersecurity of Digital Manufacturing
Priyanka Mahesh, Akash Tiwari, Chenglu Jin +5
The Industry 4.0 concept promotes a digital manufacturing (DM) paradigm that can enhance quality and productivity, that reduces inventory and the lead-time for delivering custom, b…
Security of Cloud FPGAs: A Survey
Chenglu Jin, Vasudev Gohil, Ramesh Karri +1
Integrating Field Programmable Gate Arrays (FPGAs) with cloud computing instances is a rapidly emerging trend on commercial cloud computing platforms such as Amazon Web Services (A…
HACK3D: Crowdsourcing the Assessment of Cybersecurity in Digital Manufacturing
Michael Linares, Nishant Aswani, Gary Mac +4
Digital manufacturing (DM) cyber-physical system is vulnerable to both cyber and physical attacks. HACK3D is a series of crowdsourcing red-team-blue-team events hosted by the NYU C…
Comments on "Defeating HaTCh: Building Malicious IP Cores"
Syed Kamran Haider, Chenglu Jin, Marten van Dijk
Recently, Haider et al. introduced the first rigorous hardware Trojan detection algorithm called HaTCh. The foundation of HaTCh is a formal framework of hardware Trojan design, whi…
Intrinsically Reliable and Lightweight Physical Obfuscated Keys
Raihan Sayeed Khan, Nadim Kanan, Chenglu Jin +8
Physical Obfuscated Keys (POKs) allow tamper-resistant storage of random keys based on physical disorder. The output bits of current POK designs need to be first corrected due to m…
Advancing the State-of-the-Art in Hardware Trojans Design
Syed Kamran Haider, Chenglu Jin, Marten van Dijk
Electronic Design Automation (EDA) industry heavily reuses third party IP cores. These IP cores are vulnerable to insertion of Hardware Trojans (HTs) at design time by third party…