TAMED: Transitional Approaches for LFI Resilient State Machine Encoding.

Muhtadi Choudhury, Minyan Gao, Shahin Tajik, Domenic Forte

Browse the full ITC paper archive.