1: \begin{abstract}

2: In this paper we prove the finiteness of the set of $S$-integral points of a punctured rational elliptic curve without complex multiplication using the Chabauty-Kim method. This extends previous results of Kim \cite{kim10} in the complex multiplication case. The key input of our approach is the use of modularity techniques to prove the vanishing of certain Selmer groups involved in the Chabauty-Kim method.

3: \end{abstract}

4: