Karl Brincat Chris J. Mitchell Key Recovery Attacks on MACs Based on Properties of Cryptographic APIs. 63-72 2001 conf/ima/2001 IMA Int. Conf. http://link.springer.de/link/service/series/0558/bibs/2260/22600063.htm db/conf/ima/ima2001.html#BrincatM01