Summary of Technical Barriers
•It is currently (practically) impossible to create trustworthy DREs because:
•We cannot eliminate program bugs.
•We cannot guarantee program security.
•We cannot verify that the desired software is running on the computer.