Automated verification of virtualized infrastructures
- Sören Bleikertz
- Thomas GrosZ
- et al.
- 2011
- CCS 2011
Workshop paper
Publications
6 results at CCS 2011
A comprehensive framework enabling data-minimizing authentication
- Patrik Bichsel
- Jan Camenisch
- et al.
- 2011
- CCS 2011
Workshop paperProofs of ownership in remote storage systems
- Shai Halevi
- Danny Harnik
- et al.
- 2011
- CCS 2011
Conference paperSICE: A hardware-level strongly isolated computing environment for x86 multi-core platforms
- Ahmed M. Azab
- Peng Ning
- et al.
- 2011
- CCS 2011
Conference paperCiphers that securely encipher their own keys
- Mihir Bellare
- David Cash
- et al.
- 2011
- CCS 2011
Conference paperSedic: Privacy-aware data intensive computing on hybrid clouds
- Kehuan Zhang
- Xiaoyong Zhou
- et al.
- 2011
- CCS 2011
Conference paper