Via substitution and some matrix algebra:
$$\begin{align}\operatorname{var}(\hat\beta)&=\mathbb E[\hat\beta\hat\beta^T]-\mathbb E[\hat\beta]\mathbb E[\hat \beta^T]\\&=\mathbb E[(X^TX)^{-1}X^Tyy^TX(X^TX)^{-1}]-\mathbb \beta\beta^T\\&=(X^TX)^{-1}X^T\mathbb E[yy^T]X(X^TX)^{-1}-\beta\beta^T\\&=(X^TX)^{-1}X^T(\sigma^2I+X\beta\beta^TX^T)X(X^TX)^{-1}-\beta\beta^T\\&=\sigma^2(X^TX)^{-1}\end{align}$$
Note that since $y=X\beta+\epsilon$, and $\mathbb E[\epsilon\epsilon^T]=\sigma^2I$ and $\mathbb E[\epsilon]=0$:
$$\mathbb E[yy^T]=X\beta \beta^TX+\mathbb E[\epsilon\epsilon^T]=X\beta \beta^TX+\sigma^2I$$