PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
Defines a probing set. More...
#include <Definitions.hpp>
Public Member Functions | |
ProbingSetStruct (unsigned int) | |
Initializes a probing set with a single standard probe. | |
ProbingSetStruct (std::vector< unsigned int > &) | |
Initializes a probing set with a list of standard probes. | |
bool | Covers (Hardware::ProbingSetStruct &) |
Checks if the probing set covers another probing set. | |
int | FindEntry (Util::TableEntryStruct &, unsigned int) |
Checks if the contingency table contains a particular entry. | |
Public Attributes | |
std::vector< unsigned int > | Standard |
The standard probes placed by an adversary. | |
std::vector< unsigned int > | Extension |
The extensions of the standard probes, i.e. glitch- and transition-extended probes. | |
Util::ContingencyTableStruct | ContingencyTable |
The contingency table storing the occurences of values probed by the extended probes. | |
Defines a probing set.
Stores all information belonging to a probing set, i.e. the indices of all involved probes and the contingency table.
Definition at line 298 of file Definitions.hpp.
Hardware::ProbingSetStruct::ProbingSetStruct | ( | unsigned int | ) |
Initializes a probing set with a single standard probe.
p | The standard probe index. |
Hardware::ProbingSetStruct::ProbingSetStruct | ( | std::vector< unsigned int > & | ) |
Initializes a probing set with a list of standard probes.
Probe | The list of standard probe indices. |
bool Hardware::ProbingSetStruct::Covers | ( | Hardware::ProbingSetStruct & | ) |
Checks if the probing set covers another probing set.
Checks if the probing set can theoretically contain all extended probes of a given probing set. This leads to a higher efficiency as we can reject probing sets before comparing all extended probes. This pre-checking step proves if all extended probes of the robing set to cover are in the range of the covering probing set.
ProbingSet | The probing set that should be covered. |
int Hardware::ProbingSetStruct::FindEntry | ( | Util::TableEntryStruct & | , |
unsigned int | |||
) |
Checks if the contingency table contains a particular entry.
Entry | The contingency table entry to search. |
IgnoredEntries | Number of entries at the end of the contingency table to ignore during search. |
Util::ContingencyTableStruct Hardware::ProbingSetStruct::ContingencyTable |
The contingency table storing the occurences of values probed by the extended probes.
Definition at line 302 of file Definitions.hpp.
std::vector<unsigned int> Hardware::ProbingSetStruct::Extension |
The extensions of the standard probes, i.e. glitch- and transition-extended probes.
Definition at line 301 of file Definitions.hpp.
std::vector<unsigned int> Hardware::ProbingSetStruct::Standard |
The standard probes placed by an adversary.
Definition at line 300 of file Definitions.hpp.