Publications

15 results at Journal of Computer Security

Per-session security: Password-based cryptography revisited
- - Gregory Demay
  - Peter Gaži
  - et al.
- 2019
- Journal of Computer Security
Obstruction-free authorization enforcement: Aligning security and business objectives
- - David Basin
  - Samuel J. Burri
  - et al.
- 2014
- Journal of Computer Security
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation
- - Piotr Mardziel
  - Michael Hicks
  - et al.
- 2013
- Journal of Computer Security
Field switching in BGV-style homomorphic encryption
- - Craig Gentry
  - Shai Halevi
  - et al.
- 2013
- Journal of Computer Security
Tree-based HB protocols for privacy-preserving authentication of RFID tags
- - Tzipora Halevi
  - Nitesh Saxena
  - et al.
- 2011
- Journal of Computer Security
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
- - Sebastian Mödersheim
  - Luca Viganò
  - et al.
- 2010
- Journal of Computer Security
Exploiting cryptography for privacy-enhanced access control: A result of the PRIME Project
- - Claudio A. Ardagna
  - Jan Camenisch
  - et al.
- 2010
- Journal of Computer Security
Towards automated security policy enforcement in multi-tenant virtual data centers
- - Serdar Cabuk
  - Chris I. Dalton
  - et al.
- 2010
- Journal of Computer Security
Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles
- - Michael Backes
  - Birgit Pfitzmann
  - et al.
- 2008
- Journal of Computer Security
User centricity: A taxonomy and open issues
- - Abhilasha Bhargav-Spantzel
  - Jan Camenisch
  - et al.
- 2007
- Journal of Computer Security