Tracks

The teams will compete to recover unlocking secrets from the locked gate-level netlists. The designs will be divided in four different tracks:

  • Sequential Obfuscation with Oracle
  • Combinational Logic Locking with Oracle
  • Oracle-less Sequential Obfuscation
  • Oracle-less Combinational Logic Locking
In each track, there will be designs of three different categories based on the complexity of the designs. The teams should expect multiple designs in each category:
  • Lowest Complexity
  • Medium Complexity
  • Highest Complexity

Checkpoints

For each design, there will be a set of checkpoints. To capture the finish flag, teams will need to go through each of these checkpoints sequentially. The set of checkpoints will differ based on the type of the track- combinational or sequential. The checkpoints are listed below:

  • Sequential Obfuscation Checkpoints
    1. Finding the added sequential elements.
    2. Binning the added sequential elements.
    3. Finding the initial state of unlocked design.
    4. Finding the sets of key inputs.
    5. Finding the unlocking key sequence.
  • Combinational Logic Locking Checkpoints
    1. Binning key-inputs as per the shared logic cone (including reg-reg timing groups).
    2. Recovering the unlocking key.

Evaluation/Scoring

Each design has a particular score being assigned to it for retrieving the unlocking secrets or breaking the locking scheme. Submission of each team will be evaluated based on a cumulative score which will be calculated by adding the scores of each design. By passing through the checkpoints, teams will be able to accumulate the score for each design.

  • Sequential Obfuscation Scoring
    • With Oracle track: 50 points for passing each checkpoint. This way, capturing the finish flag will result in 250 points per design.
    • Oracle-less track: 100 points for passing each checkpoint. This way, capturing the finish flag will result in 500 points per design.
  • Combinational Logic Locking  Scoring
    • With Oracle track: 20 points for passing each checkpoint. This way, capturing the finish flag will result in 40 points per design.
    • Oracle-less track: 40 points for passing each checkpoint. This way, capturing the finish flag will result in 80 points per design.

Design Resources (from organizers)

For each track the participating teams will have access to the following design resources (provided by the organizers):

  • Sequential Obfuscation with Oracle: Obfuscated gate-level netlists (check References for the obfuscation scheme details), an oracle (as an executable), required library files.
  • Combinational Logic Locking with Oracle: Logic locked gate-level netlists (check References for the locking scheme details), an oracle (as an executable), required library files.
  • Oracle-less Sequential Obfuscation: Obfuscated gate-level netlists (check References for the obfuscation scheme details), required library files.
  • Oracle-less Combinational Logic Locking: Logic locked gate-level netlists (check References for the locking scheme details), required library files.

Teams are allowed to use any available resource, algorithm, or approach while applying reverse engineering attacks. However, reverse engineering of oracle is NOT allowed and does NOT count towards evaluation.