Assertion: adversary | /r/CapableOf | pick two messages
Facets:
Source sentences:
text: The adversary then picks two messages $m_0^*,m_1^*$ and is given the encryption of one of the two messages chosen uniformly at random $c_b$ where $b\in\{0,1\}$.