Strengthening Key Agreement Using Hard-Core Sets