Skip to content
T

tagada

TAGADA: a Tool for Automatic Generation of Abstraction-based Differential Attacks