Tick all that are TRUE about Authentication and Key Establishment $($AKE$)$ protocols.

Group of answer choices

The Dolev$-$Yao model assumes that the attacker can break certain cryptographic primitives, which we hence avoid in the design of our protocols

Diffie$-$Hellman key establishment should be preferred in an AKE protocol as it enables forward secrecy

MACs can replace signatures in any use case; we should also use them

A secure random number generator is fundamental for many AKE protocols