Convergence in natural parametrization of random walk frontier

In this paper, we show that the frontier of planar random walk converges weakly under natural parametrization to that of planar Brownian motion. As an intermediate result, we also show the convergence of the renormalized occupation measure.