See <http://cap-lore.com/Hardware/Bugs.html> about possibly exploitable hardware bugs as reported by Intel. If these are as bad as they sound then secure systems may have to await simpler processors. Multi core processors may indeed be simpler.