Which of the following types of malware is specifically designed to encrypt a user's files and demand a payment for their release?