2,527 followers UCL Discovery @ucl_discovery Open Access UCL Research: Formal reasoning about the security of amazon web services https://t.co/EcRL0Hg2FH 13 Jun 2019 Reply Repost Favourite