Code

Feature/hawkeye#569

Code

Merged

SJulianS merged 87 commits intomasteremsec/hal:masterfrom feature/hawkeyeemsec/hal:feature/hawkeyeCopy head branch name to clipboardMay 30, 2024

+11,647-6,875

Commits

Commits on May 9, 2024

• made is_X_in_netlist accept const pointers

  SJulianS

  committed
  2018d81

• create netlist traversal decorator

  SJulianS

  committed
  8736b9f

• added RST file for pydoc

  SJulianS

  committed
  fae3754

• added new doxy group for decorators

  SJulianS

  committed
  ebdba47

• added get_next_sequential_gates (untested)

  SJulianS

  committed
  b826e4e

Commits on May 10, 2024

• fixed pybinds for get_next_sequential_gates

  SJulianS

  committed
  e0a5660

• made forbidden_pins mandatory

  SJulianS

  committed
  105143d

• fixed inf loop when using caching

  SJulianS

  committed
  856e42f

• added function to compute map from all sequential gates to their respective sequential successors

  SJulianS

  committed
  b0ed1cb

• get next gates up to max depth

  SJulianS

  committed
  dd6b14c

• deprecated some netlist utils functions

  SJulianS

  committed
  b3beac6

• function to get next combinational gates until other gates hit

  SJulianS

  committed
  f168f70

• API changes; let user specify whether to stop on a match/mismatch

  SJulianS

  committed
  81cd8f6

• fixed missing exit pin check

  SJulianS

  committed
  eddfdf8

• started writing some tests (yay)

  SJulianS

  committed
  f0c0970

Commits on May 13, 2024

• added forbidden pins for combinational logic and fixed caching bugs

  SJulianS

  committed
  233f007

• testing get_next_sequential_gates_map and get_next_combinational_gates

  SJulianS

  committed
  b47f6bf

• added get_next_matching_gates tests

  SJulianS

  committed
  4b73786

• added get_next_matching_gates_until_depth tests

  SJulianS

  committed
  51356ca

• get_next_matching_gates_until tests

  SJulianS

  committed
  753ebea

• Merge branch 'master' into feature/netlist_traversal_decorator

  SJulianS

  authored
  4aba3f3

• Merge branch 'feature/latest_igraph' into feature/hawkeye

  SJulianS

  committed
  7c5f200

• initial HAWKEYE commit

  SJulianS

  committed
  3439f4b

• added S-box database

  SJulianS

  committed
  3db3481

• started updating candidate search

  SJulianS

  committed
  535c20a

• removed cached versions

  SJulianS

  committed
  593ce5a

• added caching to get_next_matching_gates

  SJulianS

  committed
  32a395f

• Merge branch 'feature/netlist_traversal_decorator' into feature/hawkeye

  SJulianS

  committed
  9da53e7

Commits on May 14, 2024

• bindings for detection config

  SJulianS

  committed
  5aa4bc1

• bindings for candidate

  SJulianS

  committed
  63ff941

• changed getter API

  SJulianS

  committed
  dd1346e

• re-implemented candidate search

  SJulianS

  committed
  7e8e177

• updated gate lib

  SJulianS

  committed
  27d78db

Commits on May 15, 2024

• added new GateTypeProperties and PinTypes

  SJulianS

  committed
  8130228

• fixed igraph dependency

  SJulianS

  committed
  cd786ed

• some fixes in unisim library

  SJulianS

  committed
  31cdc91

• made GateType hashable in Python

  SJulianS

  committed
  561c31c

• removed cache due to the headache it caused (and surprisingly the slowdown)

  SJulianS

  committed
  3ba5d38

• more minor fixes

  SJulianS

  committed
  a0f5e2f

• removed cache from tests

  SJulianS

  committed
  2c75e8d

Commits on May 16, 2024

• added optional filter to Net::get_num_of_X

  SJulianS

  committed
  8f16b6d

• allow creation of a graph with no edges and only a subset of the gates in the netlist

  SJulianS

  committed
  e8a5fc1

• get gates from vertices as set

  SJulianS

  committed
  622013d

• added deep copy function

  SJulianS

  committed
  ea4d5c9

• fixed naming

  SJulianS

  committed
  8f1d845

• improved candidate search

  SJulianS

  committed
  a3c102e

Commits on May 18, 2024

• SCC-based candidate detection

  SJulianS

  committed
  f078234

Commits on May 20, 2024

• isolate state logic

  SJulianS

  committed
  0c357f1

Commits on May 21, 2024

• changed architecture

  SJulianS

  committed
  2312184

• Merge branch 'master' into feature/hawkeye

  SJulianS

  committed
  212aff6

• added function to unify FF outputs

  SJulianS

  committed
  006fe3c

• gather remaining inputs and create netlist graph

  SJulianS

  committed
  e9651e5

• added example script for testing

  SJulianS

  committed
  6503a39

• untested s-box identification

  SJulianS

  committed
  fd21616

• Update README.md

  SJulianS

  authored
  e3ab2db

Commits on May 22, 2024

• added Gauss elimination top remove linear dependent outputs

  SJulianS

  committed
  539aeaa

Commits on May 23, 2024

• made get_graph const

  SJulianS

  committed
  f85466c

• added versions accepting sets

  SJulianS

  committed
  7f603ec

• sbox detection (wip, not tested)

  SJulianS

  committed
  dd928f8

Commits on May 24, 2024

• almost completed sbox extraction

  SJulianS

  committed
  50d5d86

Commits on May 27, 2024

• some renaming, documentation and PyBinds

  SJulianS

  committed
  01223a3

Commits on May 28, 2024

• fixed segfault on copied graph

  SJulianS

  committed
  c198ffa

• fixed filling candidate inputs and outputs

  SJulianS

  committed
  14ffdee

• fixed missing pybind

  SJulianS

  committed
  93705c0

• fixed wrong nets in state inputs and outputs

  SJulianS

  committed
  2eb9b91

• fixed missing state logic gates

  SJulianS

  committed
  571b567

• smallset_t implementation based on regular not-hardware-specific code added

  joern274

  committed
  97e2868

• fixed set intersection not working with std::vector

  SJulianS

  committed
  d49eb55

• fixed missing one step during sbox search

  SJulianS

  committed
  b592e11

• fixed mapping gates through graph rather than subgraph

  SJulianS

  committed
  3634cee

• Merge branch 'feature/hawkeye' of github.com:emsec/hal into feature/hawkeye

  SJulianS

  committed
  a3db6b8

• fixed wrong check on number of control signals

  SJulianS

  committed
  8dd8cf5

• cleanup + some logging

  SJulianS

  committed
  0e23ffd

• fixed empty truth table

  SJulianS

  committed
  24035e4

• speedup (need to test on all circuits)

  SJulianS

  committed
  a3f322c

• cleaned up logs

  SJulianS

  committed
  c72abb4

Commits on May 29, 2024

• minor fixes

  SJulianS

  committed
  9941fce

Commits on May 30, 2024

• disregard output gates that only depend on other output gates

  SJulianS

  committed
  5d31000

• fix creating way too many sbox candidates

  SJulianS

  committed
  aab2e57

• fix functional sbox analysis

  SJulianS

  committed
  92f04fd

• added SBoxCandidate constructor

  SJulianS

  committed
  f743fd3

• fixed whitespaces

  SJulianS

  committed
  fcbae52

• fixing CI

  SJulianS

  committed
  5d777d0

• trying to make CI compile again

  SJulianS

  committed
  c1957fc

• disable hawkeye by default

  SJulianS

  committed
  49fa3ac

• Merge branch 'master' into feature/hawkeye

  SJulianS

  committed
  180e92a

• continue bruteforce on macos CI

  SJulianS

  committed
  2911f8f