Rigorous dynamics of expectation-propagation-based signal recovery from unitarily invariant measurements | IEEE Conference Publication | IEEE Xplore