Not sure I understand precisely what you&#x27;re asking. &#x27;Generic composition&#x27; is a tricky term, because it tends to hide the assumptions underlying what we&#x27;re actually composing together. Bellare and Namprempre&#x27;s paper, which is the most usually cited in this sort of discussion, takes a probabilistic encryption scheme (read: something that takes a random IV) and a MAC, and results in a probabilistic AE scheme. This is obviously not the only way to model encryption and authentication schemes (SIV above transforms those same primitives into a nonce-based AE scheme instead, or DAE with a fixed nonce), but this tends to be overlooked from GC discussions. In some models, MtE and friends is OK. But the truth is that EtM is safe in the widest range of assumptions, while the other ones are more brittle.