void MultivariateRobustProbingSecurity(Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, Hardware::TestStruct &, timespec &)
Analyzes the robust probing security of a circuit with multivariate adversaries.
void UnivariateRobustProbingSecurity(Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, Hardware::TestStruct &, timespec &)
Analyzes the robust probing security of a circuit with univariate adversaries.
void RobustProbingSecurity(Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, Hardware::TestStruct &)
Analyzes the robust probing security of a circuit.
void RobustProbingSecurityForSomeProbingSets(Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, Hardware::TestStruct &, timespec &, unsigned int &)
Analyzes the robust probing security of a circuit for a restricted set of adversaries.
void All(Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, Hardware::TestStruct &)
Analyzes the probing security of a circuit under a certain model.
Defines a hardware circuit.
Defines the settings of the evaluation procedure.
Defines the shared state of a simulation.
Defines all settings regarding simulations.
Defines all settings belonging to the test prodecure.