Searching for authors named "Matthias Schunter" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
Pushing the Limits of Formal Verification
- … Michael Backes, Matthias Schunter IBM Zurich Research Laboratory, Switzerland {mbc…
- Add To MetaCart
-
Optimistic Protocols for Multi-Party Fair Exchange
- … email: aso@(email omitted); Matthias Schunter Univ. Hildesheim, Institut f��r Informatik, Marienburger…
- Cited by 28 (5 self) – Add To MetaCart
-
From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification
- … Verification Michael Backes, Matthias Schunter IBM Zurich Research Laboratory, Switzerland {mbc…
- Cited by 1 (0 self) – Add To MetaCart
-
Privacy Oriented Clearing for the German Health-Care System
- …Privacy Oriented Clearing for the German Health-Care System Gerrit Bleumer, Matthias Schunter…
- Cited by 6 (0 self) – Add To MetaCart
-
A Privacy Policy Model for Enterprises
- … usage) of A Privacy Policy Model for Enterprises Günter Karjoth and Matthias Schunter IBM Research…
- Cited by 38 (3 self) – Add To MetaCart
-
The Platform for Enterprise Privacy Practices
- …Abstract The Platform for Enterprise Privacy Practices Matthias Schunter Paul Ashley IBM Zurich…
- Cited by 67 (5 self) – Add To MetaCart
-
Optimistic Protocols for Fair Exchange
- … Rschlikon, Switzerland email: aso@(email omitted); Matthias Schunter Univ. Hildesheim, Institut fr Informatik…
- Cited by 138 (5 self) – Add To MetaCart
-
Architecture and Design of a Secure Electronic Marketplace
- …SEMPER -- Secure Electronic Marketplace Proceedings JENC8 M. Schunter 712-1 Architecture…
- Cited by 4 (0 self) – Add To MetaCart
-
Research Report
- …, Germany pfitzmann@(email omitted); Matthias Schunter Universitat Dortmund Informatik 6 D-44211 Dortmund…
- Add To MetaCart
-
Optimal Efficiency of Optimistic Contract Signing
- …Optimal Efficiency of Optimistic Contract Signing Birgit Pfitzmann Matthias Schunter Michael…
- Cited by 22 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
