Sven Tangermann

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Data Extraction

Clustering Algorithm

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes
How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#11. CSF (2019)
Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes
How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11. IACR Cryptol. ePrint Arch. 2019 (2019)