Analysing PKCS#11 key management APIs with unbounded fresh data Fröschle, Sibylle B. Steel, Graham 2009 - TUHH Open Research