US chooses encryption tools to protect us from quantum computers