Assertion: adversary | /r/HasProperty | given a ciphertext
Facets:
Source sentences:
text: The adversary is given a ciphertext and told that it’s either the encryption of