paper on proof methods for side-channel countermeasures in the random probing model accepted in Asiacrypt 2026
