CMIMC 2017 Computer Science Problem 9

Alice thinks of an integer 1 \leq n \leq 2048. Bob asks k true or false questions about Alice’s integer; Alice then answers each of the questions, but she may lie on at most one question. What is the minimum value of k for which Bob can guarantee he knows Alice’s integer after she answers?