Rigorous steps towards holography in asymptotically flat spacetimes