PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
|
Defines the settings of the evaluation procedure. More...
#include <Definitions.hpp>
Public Attributes | |
int | Max_no_of_Threads |
The maximum number of threads PROLEAD can use for parallelism. | |
char * | ModuleName |
The name of the top module. | |
int | NumberOfGroups |
The number of user-defined groups. | |
int | NumberOfGroupValues |
The size of the group values, i.e. their bit length. | |
char | CompactDistributions |
Decision whether the evaluation should be performed in compact or normal mode. | |
char | MinimizeProbeSets |
Decision whether the number of probing sets should be minimized before the evaluation. | |
char | RemoveProbingSets |
Decision whether probing sets achieving a sufficient confidence level should be removed. | |
unsigned int | ProbeStepSize |
The number of probing sets to evaluate per execution step. | |
int ** | Group_Values = NULL |
The values assigned to the user-defined groups. | |
int * | MaxNumberOfSharesGroupValues |
The number of shares per input bit. | |
int | ClockSignal |
The index of the clock signal. | |
int | Max_No_ClockCycles = 0 |
The maximum number of clock cycles to simulate. | |
int | Max_No_ReportEntries |
The maximum number of entries in the report. | |
int | NumberOfAlwaysRandomInputs |
Number of fresh random inputs. | |
int * | AlwaysRandomInputs = NULL |
Indices of the fresh random input signals. | |
int | InitialSim_NumberOfInputs |
The number of inputs which are assigned to initialize the simulation. | |
int | InitialSim_NumberOfClockCycles |
The number of clock cycles to initialize the simulation. | |
int ** | InitialSim_Inputs = NULL |
The indices of the initialization signals. | |
uint64_t ** | InitialSim_Values = NULL |
The signal values during the initialization cycles. | |
int | EndSimCondition_ClockCycles |
The number of clock cycles after which the simulation terminates. | |
int | EndSimCondition_NumberOfSignals |
The bit width of the signal which terminates the simulation. | |
int * | EndSimCondition_Signals = NULL |
The indices of the single-bit signals terminating the simulation. | |
uint64_t * | EndSimCondition_Values = NULL |
The values the signals have to reach to terminate the simulation. | |
int | EndSim_NumberOfWaitCycles = 0 |
Number of cycles to wait after each simulation. | |
int | NumberOfOutputShares = 0 |
The number of output shares. | |
int | NumberOfOutputSignals = 0 |
The bit width of the shared output. | |
int ** | OutputSignals = NULL |
The simulated output signals (unshared). | |
int ** | ExpectedOutputValues = NULL |
The expected unshared output given by the user. | |
int | TestOrder = 0 |
The security order to test. | |
int | TestMultivariate = 0 |
Decision whether univariate or multivariate adversaries should be considered. | |
int | MaxDistanceMultivariet = 0 |
The maximum distance in time, i.e. clock cycles, for multivariate adversaries. | |
int | TestTransitional = 0 |
Decision whether transitional leakage is included. | |
int | NumberOfTestClockCycles = 0 |
The number of clock cycles in which the adversary can place probes. | |
int * | TestClockCycles = NULL |
The particular clock cycles the adversary can target. | |
uint64_t | NumberOfSimulations = 0 |
The total number of simulations. | |
uint64_t | NumberOfStepSimulations = 0 |
The number of simulations before the simulations are evaluated. | |
uint64_t | NumberOfStepSimulationsToWrite = 0 |
The number of simulations before a report is written. | |
double | AlphaThreshold = 5.0 |
double | BetaThreshold = 0.00001 |
double | EffectSize |
bool | WaveformSimulation = false |
Defines the settings of the evaluation procedure.
Definition at line 132 of file Definitions.hpp.
double Hardware::SettingsStruct::AlphaThreshold = 5.0 |
Definition at line 182 of file Definitions.hpp.
int* Hardware::SettingsStruct::AlwaysRandomInputs = NULL |
Indices of the fresh random input signals.
Definition at line 151 of file Definitions.hpp.
double Hardware::SettingsStruct::BetaThreshold = 0.00001 |
Definition at line 186 of file Definitions.hpp.
int Hardware::SettingsStruct::ClockSignal |
The index of the clock signal.
Definition at line 146 of file Definitions.hpp.
char Hardware::SettingsStruct::CompactDistributions |
Decision whether the evaluation should be performed in compact or normal mode.
Definition at line 139 of file Definitions.hpp.
double Hardware::SettingsStruct::EffectSize |
Definition at line 189 of file Definitions.hpp.
int Hardware::SettingsStruct::EndSim_NumberOfWaitCycles = 0 |
Number of cycles to wait after each simulation.
Definition at line 162 of file Definitions.hpp.
int Hardware::SettingsStruct::EndSimCondition_ClockCycles |
The number of clock cycles after which the simulation terminates.
Definition at line 158 of file Definitions.hpp.
int Hardware::SettingsStruct::EndSimCondition_NumberOfSignals |
The bit width of the signal which terminates the simulation.
Definition at line 159 of file Definitions.hpp.
int* Hardware::SettingsStruct::EndSimCondition_Signals = NULL |
The indices of the single-bit signals terminating the simulation.
Definition at line 160 of file Definitions.hpp.
uint64_t* Hardware::SettingsStruct::EndSimCondition_Values = NULL |
The values the signals have to reach to terminate the simulation.
Definition at line 161 of file Definitions.hpp.
int** Hardware::SettingsStruct::ExpectedOutputValues = NULL |
The expected unshared output given by the user.
Definition at line 167 of file Definitions.hpp.
int** Hardware::SettingsStruct::Group_Values = NULL |
The values assigned to the user-defined groups.
Definition at line 143 of file Definitions.hpp.
int** Hardware::SettingsStruct::InitialSim_Inputs = NULL |
The indices of the initialization signals.
Definition at line 155 of file Definitions.hpp.
int Hardware::SettingsStruct::InitialSim_NumberOfClockCycles |
The number of clock cycles to initialize the simulation.
Definition at line 154 of file Definitions.hpp.
int Hardware::SettingsStruct::InitialSim_NumberOfInputs |
The number of inputs which are assigned to initialize the simulation.
Definition at line 153 of file Definitions.hpp.
uint64_t** Hardware::SettingsStruct::InitialSim_Values = NULL |
The signal values during the initialization cycles.
Definition at line 156 of file Definitions.hpp.
int Hardware::SettingsStruct::Max_No_ClockCycles = 0 |
The maximum number of clock cycles to simulate.
Definition at line 147 of file Definitions.hpp.
int Hardware::SettingsStruct::Max_no_of_Threads |
The maximum number of threads PROLEAD can use for parallelism.
Definition at line 134 of file Definitions.hpp.
int Hardware::SettingsStruct::Max_No_ReportEntries |
The maximum number of entries in the report.
Definition at line 148 of file Definitions.hpp.
int Hardware::SettingsStruct::MaxDistanceMultivariet = 0 |
The maximum distance in time, i.e. clock cycles, for multivariate adversaries.
Definition at line 171 of file Definitions.hpp.
int* Hardware::SettingsStruct::MaxNumberOfSharesGroupValues |
The number of shares per input bit.
Definition at line 144 of file Definitions.hpp.
char Hardware::SettingsStruct::MinimizeProbeSets |
Decision whether the number of probing sets should be minimized before the evaluation.
Definition at line 140 of file Definitions.hpp.
char* Hardware::SettingsStruct::ModuleName |
The name of the top module.
Definition at line 135 of file Definitions.hpp.
int Hardware::SettingsStruct::NumberOfAlwaysRandomInputs |
Number of fresh random inputs.
Definition at line 150 of file Definitions.hpp.
int Hardware::SettingsStruct::NumberOfGroups |
The number of user-defined groups.
Definition at line 137 of file Definitions.hpp.
int Hardware::SettingsStruct::NumberOfGroupValues |
The size of the group values, i.e. their bit length.
Definition at line 138 of file Definitions.hpp.
int Hardware::SettingsStruct::NumberOfOutputShares = 0 |
The number of output shares.
Definition at line 164 of file Definitions.hpp.
int Hardware::SettingsStruct::NumberOfOutputSignals = 0 |
The bit width of the shared output.
Definition at line 165 of file Definitions.hpp.
uint64_t Hardware::SettingsStruct::NumberOfSimulations = 0 |
The total number of simulations.
Definition at line 175 of file Definitions.hpp.
uint64_t Hardware::SettingsStruct::NumberOfStepSimulations = 0 |
The number of simulations before the simulations are evaluated.
Definition at line 176 of file Definitions.hpp.
uint64_t Hardware::SettingsStruct::NumberOfStepSimulationsToWrite = 0 |
The number of simulations before a report is written.
Definition at line 177 of file Definitions.hpp.
int Hardware::SettingsStruct::NumberOfTestClockCycles = 0 |
The number of clock cycles in which the adversary can place probes.
Definition at line 173 of file Definitions.hpp.
int** Hardware::SettingsStruct::OutputSignals = NULL |
The simulated output signals (unshared).
Definition at line 166 of file Definitions.hpp.
unsigned int Hardware::SettingsStruct::ProbeStepSize |
The number of probing sets to evaluate per execution step.
Definition at line 142 of file Definitions.hpp.
char Hardware::SettingsStruct::RemoveProbingSets |
Decision whether probing sets achieving a sufficient confidence level should be removed.
Definition at line 141 of file Definitions.hpp.
int* Hardware::SettingsStruct::TestClockCycles = NULL |
The particular clock cycles the adversary can target.
Definition at line 174 of file Definitions.hpp.
int Hardware::SettingsStruct::TestMultivariate = 0 |
Decision whether univariate or multivariate adversaries should be considered.
Definition at line 170 of file Definitions.hpp.
int Hardware::SettingsStruct::TestOrder = 0 |
The security order to test.
Definition at line 169 of file Definitions.hpp.
int Hardware::SettingsStruct::TestTransitional = 0 |
Decision whether transitional leakage is included.
Definition at line 172 of file Definitions.hpp.
bool Hardware::SettingsStruct::WaveformSimulation = false |
Definition at line 191 of file Definitions.hpp.