tacet 0.4.2

Detect timing side channels in cryptographic code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

//! Statistical calibration tests
//!
//! These tests validate the statistical properties of the timing oracle:
//! - FPR: False positive rate validation
//! - Power: Detection power across effect sizes
//! - Coverage: Credible interval coverage
//! - Bayesian: Posterior calibration

// Shared utilities - must be declared first and made public for other modules
#[path = "calibration/utils.rs"]
pub mod calibration_utils;

#[path = "calibration/autocorrelation.rs"]
mod autocorrelation;
#[path = "calibration/bayesian.rs"]
mod bayesian;
#[path = "calibration/coverage.rs"]
mod coverage;
#[path = "calibration/discrete_mode.rs"]
mod discrete_mode;
#[path = "calibration/estimation.rs"]
mod estimation;
#[path = "calibration/fpr.rs"]
mod fpr;
#[path = "calibration/power.rs"]
mod power;
#[path = "calibration/power_curve.rs"]
mod power_curve;
#[path = "calibration/stress.rs"]
mod stress;