1. Mobile values, new names, and secure communication;Abadi,2001
2. Verification of networks of smart energy systems over the cloud;Abate,2017
3. Enterprise risk and resilience of electric-vehicle charging infrastructure and the future mobile power grid;Andrews;Curr. Sustain./Energy Reports,2020
4. A static analysis framework for security properties in mobile and cryptographic systems;Aziz,2003
5. A formal model and analysis of the mq telemetry transport protocol;Aziz,2014