Hyperproperties for Safe and Secure RFID Systems.

Machine learning-based tools to model and to remove the off-target effect.