(2012) Computational Soundness without Protocol Restrictions.
In: Proceedings of the 19th ACM Conference on Computer and Communication Security (CCS '12).
Conference:
CCS ACM Conference on Computer and Communications Security
| Item Type: | Conference or Workshop Item (A Paper) (Paper) |
|---|---|
| Additional Information: | pub_id: 42 Bibtex: unrestr-soundness URL date: None |
| Divisions: | Michael Backes (InfSec) |
| Conference: | CCS ACM Conference on Computer and Communications Security |
| Depositing User: | Sebastian Weisgerber |
| Date Deposited: | 26 Jul 2017 10:29 |
| Last Modified: | 18 Jul 2019 12:09 |
| Primary Research Area: | NRA2: Reliable Security Guarantees |
| URI: | https://publications.cispa.saarland/id/eprint/259 |
Actions
Actions (login required)
![]() |
View Item |
