dblp.uni-trier.de www.uni-trier.de

21. CSF 2008: Pittsburgh, PA, USA

Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, 23-25 June 2008. IEEE Computer Society 2008, ISBN 978-0-7695-3182-3 BibTeX

Language-Based Security

Security Models in Theory and Practice

Declassification and Erasure

CSF/LICS Joint Invited Talk

Authorization Logic I

Authorization Logic II

Protocol Analysis I

Cryptographic Foundations

Information Flow and Concurrency

Protocol Analysis II

Copyright © Sat May 16 23:04:10 2009 by Michael Ley (ley@uni-trier.de)