Which of the following statements are correct
• Enclaves in both SGX (hardware implementation) and the Komodo system will introduce a monitor, which does not have to be trusted to provide security.
• Software bugs are irrelevant to formalization of computer systems security.
• Pseudorandomness is an important loophole in encryption and in computer systems security.
• The buffer overflow attack can be always mitigated with a stack canary.