Cook, A. & Viganò, L., 21 Apr 2020, (Accepted/In press) Proceedings of the 6th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2020): Affiliated with Euro S&P 2020, 7 September 2020, Genova, Italy.IEEE Computer Science Press, 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review