activity
20192026
most citedBinsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

55 citations · 65 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.CR2024★ 6 cited

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)

Hans Winderix, Marton Bognar, Lesly-Ann Daniel +1

Control-flow leakage (CFL) attacks enable an attacker to expose control-flow decisions of a victim program via side-channel observations. Linearization (i.e., elimination) of secre…