The revised paper also thoroughly analyzes the security of the payment system and provides formal security proofs showing how the Lelantus protocol satisfies the properties of transaction non-malleability, ledger indistinguishability and balance properties.
https://zcoin.io/lelantus-academic-paper-updated/
Direct link to paper: https://zcoin.io/papers/lelantusv2.pdf