Ransomware and PoPL