3 papers
cs.CR2020
Modeling Techniques for Logic Locking
Joseph Sweeney, Marijn J. H. Heule, Lawrence Pileggi
Logic locking is a method to prevent intellectual property (IP) piracy. However, under a reasonable attack model, SAT-based methods have proven to be powerful in obtaining the secr…
cs.CR2020
Latch-Based Logic Locking
Joseph Sweeney, Mohammed Zackriya, Samuel Pagliarini +1
Globalization of IC manufacturing has led to increased security concerns, notably IP theft. Several logic locking techniques have been developed for protecting designs, but they ty…
cs.CR2020
Securing Digital Systems via Split-Chip Obfuscation
Joseph Sweeney, Samuel Pagliarini, Lawrence Pileggi
Security is an important facet of integrated circuit design for many applications. IP privacy and Trojan insertion are growing threats as circuit fabrication in advanced nodes almo…