Isap V2.0

We specify IsAP v2.0, a lightweight permutation-based authenticated encryption algorithm that is designed to ease protection against side-channel and fault attacks. This design is an improved version of the previously published IsAP v1.0, and offers increased protection against implementation attacks as well as more efficient implementations. IsAP v2.0 is a candidate in NIST's LightWeight Cryptography (LWC) project, which aims to identify and standardize authenticated ciphers that are well-suited for applications in constrained environments. We provide a self-contained specification of the new IsAP v2.0 mode and discuss its design rationale. We formally prove the security of the IsAP v2.0 mode in the leakage-resilient setting. Finally, in an extensive implementation overview, we show that IsAP v2.0 can be implemented securely with very low area requirements.