Expand description
Statistical helpers for TVLA-style and timing-based leakage smoke tests.
Modules§
- dudect
- Wall-clock timing harness in the spirit of dudect (software timing leakage probes).
- evaluation
- Trace acquisition hooks for TVLA-style screening (first-order Welch t-test).
- privacy_
workloads - Deterministic workloads for TVLA/timing harnesses over privacy-protocol code paths.
- tvla_
synthetic - Synthetic “trace” vectors for TVLA harness smoke tests (no acquisition hardware).
Structs§
- Tvla
Config - Configuration for TVLA-style t-tests.
Functions§
- sample_
wall_ times - Collect
ntiming samples usingstd::time::Instant(wall clock). - tvla_
passes - Returns
trueif \(|t| < \)cfg.abs_t_threshold. - welch_
t_ statistic - Welch’s t-statistic for two samples (unequal variances).