互動實驗

DFA、SIFA 與觀測通道

選擇合成樣本集與觀測通道。第一部分比較常數:每一類重複同一個值,再比較兩類。阻擋錯誤控制流與資訊洩漏要分開判讀。

「結果通過」代碼表示故障未改變計算、通過偵測器;「結果遭拒」表示計算受影響、遭偵測器拒絕。這些是教學結果標籤,並非 DUT 的 output-valid 腳位。

這個 A/B 比較是通用類別教具,未實作 SIFA 或金鑰復原。SIFA 在已施加故障、輸出仍正確的 ineffective 計算中,分析中間值的條件分布偏差;不能用此頁兩類比較冒充該攻擊。Effective/ineffective 描述 oracle 下計算或輸出是否改變,與 DUT out_valid 不同。

第二部分以固定 seed 13 產生含雜訊樣本,使用前段訓練與留出測試。抑制選項只遮蔽密文通道;切到延遲通道後,請另外記錄延遲比較。

控制項

小型合成樣本只供推理;不是攻擊結果、實測洩漏或安全機率。樣本練習是確定性的教學模型(固定 seed 13),不是實測洩漏或攻擊結果。