c2670-NS8270

Contributed by Sarah Amir; University of Florida

Details:

c2670-NS8270

_______________________________________

DESCRIPTION:

  • Original Circuit: ISCAS85 benchmark c2670 [1]
  • Number of Gates: 2011
  • Number of Input: 1060( 233 original inputs, 827 key ports)
  • Number of Output: 140
  • Key size = 827
  • (128 keys to obfuscate original circuit,
  • 466 key AntiSAT block,
  • 233 keys to obfuscate AntiSAT block)
  • Key input naming: 'Key_In_[module number]_[input number in module]' for unsynthesized file and 'keyinput[input number]' for synthesized file
  • Synthesis Library: SAED90nm_typ Library (version 2013)

    OBFUSCATION TECHNIQUE(S) IMPLEMENTED:

  • Obfuscation method: Secure logic locking [2]
  • SAT-Attack defense: AntiSAT [3]

    TAXONOMY:

  • Obfuscation Method: Combinational -> Combinational Hybrid -> SAT Defense -> AntiSAT -> SLL
  • Physical Characteristics -> Obfuscated Netlist Size -> 1000<#gates<5000
  • Key Size -> Other

    CONTACT:

  • Sarah Amir
  • Florida Institute of Cyber Security (FICS)
  • University of Florida
  • sarah.amir@ufl.edu, prema_buet@gmail.com

    REFERENCES:

  • [1] ISCAS85 benchmarks http://www.pld.ttu.ee/~maksim/benchmarks/iscas85/verilog/
  • [2] Yasin, Muhammad, et al. "On improving the security of logic locking." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 35.9 (2016): 1411-1424
  • [3] Xie, Yang, and Ankur Srivastava. "Mitigating sat attack on logic locking." International Conference on Cryptographic Hardware and Embedded Systems. Springer Berlin Heidelberg, 2016.
  • [none]