Security, privacy, and cryptography

Shuo Chen, Jun Xu, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer

Proceedings of IEEE International Conference on Dependable Systems and Networks | June 2005

Bruno Blanchet, Martin Abadi, Cédric Fournet

20th IEEE Symposium on Logic in Computer Science (LICS 2005) | June 2005

Melissa Chase, Alexander Healy, Anna Lysyanskaya, Tal Malkin, Leonid Reyzin

Eurocrypt 2005 | May 2005

Andy Gordon, Riccardo Pucella

Formal Aspects of Computing | May 2005, Vol 17(3): pp. 277-318

Johannes Helander, Yong Xiong

8th IEEE International Symposium on Object-oriented Real-time distributed Computing | May 2005

Martin Abadi, Mike Burrows, Mark Manasse, Ted Wobber

ACM Transactions on Internet Technology | May 2005, Vol 5: pp. 299-327

Joshua Goodman, David Heckerman, Robert Rounthwaite

Scientific American | April 2005, Vol 292: pp. 42-49

Cédric Fournet, Andy Gordon, Sergio Maffeis

MSR-TR-2005-01 | April 2005

ISBN: 978-3-540-25435-5 (Print) 978-3-540-31987-0 (Online)

14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005.

Dean Rosenzweig, Davor Runje

MSR-TR-2005-52 | April 2005