Type

Boolean

Default

true

Description

This setting determines whether PROLEAD accounts for transitions during its evaluation. Note that it has no effect when PROLEAD evaluates under the RR d-probing model, as transitions cannot be ignored in this context. However, if the evaluation is conducted under the robust d-probing model, this option specifies whether the evaluation follows the (1,1,0)-robust d-probing model (which includes glitches and transitions) or the (1,0,0)-robust d-probing model (which includes only glitches).

Impact

Although accounting for transitions increases PROLEAD's runtime and memory overhead, we generally recommend enabling this setting during evaluation. Only set this option to false if you can guarantee that transitions cannot result in leakage.

Examples

"side_channel_analysis": {
    "relaxed_model": false
    "transitional_leakage": true
}

In this example, PROLEAD includes transitions in the evaluation.