1

Adversary Safety by Construction in a Language of Cryptographic Protocols

Adapting Security Warnings to Counter Online Disinformation

Identifying Disinformation Websites Using Infrastructure Features

An Empirical Study of Wireless Carrier Authentication for SIM Swaps

Blockchain Technology: What Is It Good For?

Environmental Authentication in Malware

A Formal Framework for Environmentally Sensitive Malware

Computing on Masked Data to improve the security of big data