Workshop on Trust and Security in the Future Internet (FIST) 2011
Workshop on Rigorous Protocol Engineering (WRiPE) 2011