SoK: Parameterization of Fault Adversary Models - Connecting Theory and Practice | AIChainDay