0F9C68D6-894C-4C85-B3E1-3ECB3AFDAE56CAP-TEE: Capability Architectures for Trusted ExecutionResearch GrantEP/V000454/1082B386F-6FF5-40C0-B99E-1B7F867318BEISCFINCOME_ACTUAL100020597C9A65D-AD31-4090-A1FB-329D568858C4Security and Trust Management - 16th International Workshop, STM 2020, Guildford, UK, September 17-18, 2020, Proceedingsddd38ca11db008642251078e0d028a02Singh R2020-01-01http://dx.doi.org/10.1007/978-3-030-59817-4_1http://dx.doi.org/10.1007/978-3-030-59817-4_1Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties3-21Book Chapter621f4b2698dd93.36292369