PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
Loading...
Searching...
No Matches
Analyze.hpp
Go to the documentation of this file.
1#pragma once
2
3#include <iostream>
4#include <cinttypes>
5#include <cmath>
6#include <omp.h>
7
9#include "Hardware/Print.hpp"
10#include "Hardware/Read.hpp"
11#include "Hardware/Prepare.hpp"
13#include "Hardware/Simulate.hpp"
14#include "Hardware/Test.hpp"
16#include "Util/Util.hpp"
17
18namespace Hardware
19{
20 namespace Analyze
21 {
33
45
58
71
85 }
86}
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 a cell library.
Definition: Definitions.hpp:69
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.