Jorge Cuellar

• Security and Trust Management
• Smart Grid Security
• Smart Grid Security First International Workshop
• FM 2008 : Formal Methods
• Location Privacy in Wireless Sensor Networks