(2015) Automated Backward Analysis of PKCS#11 v2.20.
In: Proc. 4th International Conference on Principles of Security and Trust (POST'15).
![[img]](https://publications.cispa.saarland/style/images/fileicons/text.png) |
Text
978-3-662-46666-7_12 - Published Version Download (79kB) |
| Item Type: | Conference or Workshop Item (A Paper) (Paper) |
|---|---|
| Additional Information: | pub_id: 1060 Bibtex: K-post15 URL date: None |
| Depositing User: | Sebastian Weisgerber |
| Date Deposited: | 26 Jul 2017 10:28 |
| Last Modified: | 27 Jul 2017 07:03 |
| URI: | https://publications.cispa.saarland/id/eprint/157 |
Actions
Actions (login required)
 |
View Item |