Bridging the gap between symbolic and efficient AES implementations.

Andrew Moss, Dan Page

Browse the full PEPM paper archive.