BibSonomy :: author  ::

bookmarks

publications

(284)

• A class of probabilistic models for role engineering.
  Mario Frank and David A. Basin and Joachim M. Buhmann ACM Conference on Computer and Communications Security 299-310 (2008)
  to dblp by dblp on 2008-11-13 00:00:00
  | URL | BibTeX  
• Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008
  Peng Ning and Paul F. Syverson and Somesh Jha (eds.). ACM Conference on Computer and Communications Security (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Assessing query privileges via safe and efficient permission composition.
  Sabrina De Capitani di Vimercati and Sara Foresti and Sushil Jajodia and Stefano Paraboschi and Pierangela Samarati ACM Conference on Computer and Communications Security 311-322 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Dependent link padding algorithms for low latency anonymity systems.
  Wei Wang and Mehul Motani and Vikram Srinivasan ACM Conference on Computer and Communications Security 323-332 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Unbounded verification, falsification, and characterization of security protocols by pattern refinement.
  Cas J. F. Cremers ACM Conference on Computer and Communications Security 119-128 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Machine learning attacks against the Asirra CAPTCHA.
  Philippe Golle ACM Conference on Computer and Communications Security 535-542 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Tupni: automatic reverse engineering of input formats.
  Weidong Cui and Marcus Peinado and Karl Chen and Helen J. Wang and Luis Irun-Briz ACM Conference on Computer and Communications Security 391-402 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• FairplayMP: a system for secure multi-party computation.
  Assaf Ben-David and Noam Nisan and Benny Pinkas ACM Conference on Computer and Communications Security 257-266 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Cryptographically verified implementations for TLS.
  Karthikeyan Bhargavan and Cédric Fournet and Ricardo Corin and Eugen Zalinescu ACM Conference on Computer and Communications Security 459-468 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Privacy oracle: a system for finding application leaks with black box differential testing.
  Jaeyeon Jung and Anmol Sheth and Ben Greenstein and David Wetherall and Gabriel Maganis and Tadayoshi Kohno ACM Conference on Computer and Communications Security 279-288 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX