PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
Loading...
Searching...
No Matches
Namespaces | Functions
Analyze.hpp File Reference
#include <iostream>
#include <cinttypes>
#include <cmath>
#include <omp.h>
#include "Hardware/Definitions.hpp"
#include "Hardware/Print.hpp"
#include "Hardware/Read.hpp"
#include "Hardware/Prepare.hpp"
#include "Hardware/GenerateProbingSets.hpp"
#include "Hardware/Simulate.hpp"
#include "Hardware/Test.hpp"
#include "Util/CommandLineParameter.hpp"
#include "Util/Util.hpp"

Go to the source code of this file.

Namespaces

namespace  Hardware
 
namespace  Hardware::Analyze
 

Functions

void Hardware::Analyze::All (Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, Hardware::TestStruct &)
 Analyzes the probing security of a circuit under a certain model.
 
void Hardware::Analyze::RobustProbingSecurity (Hardware::LibraryStruct &, Hardware::CircuitStruct &, Hardware::SettingsStruct &, Hardware::SharedDataStruct *, Hardware::SimulationStruct &, Hardware::TestStruct &)
 Analyzes the robust probing security of a circuit.
 
void Hardware::Analyze::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 Hardware::Analyze::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 Hardware::Analyze::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.