Proceedings of the 7th Symposium on Hot Topics in the Science of Security - Security, HotSoS '20: Hot Topics in the Science of. (Association for Computing Machinery,)