12 ms·Automated Analysis and Synthesis of Authenticated Encryption Schemes [pdf]5 points by cpach 11y ago