(2004) Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.
In: Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW).
|
Text
c25-final.pdf - Published Version Download (475kB) | Preview |
Item Type: | Conference or Workshop Item (A Paper) (Paper) |
---|---|
Additional Information: | pub_id: 399 Bibtex: backes04symmetricb URL date: None |
Divisions: | Michael Backes (InfSec) |
Depositing User: | Sebastian Weisgerber |
Date Deposited: | 26 Jul 2017 10:32 |
Last Modified: | 28 Sep 2018 12:38 |
URI: | https://publications.cispa.saarland/id/eprint/946 |
Actions
Actions (login required)
View Item |