Security, privacy, and cryptography

Ioannis G. Baltopoulos, Andy Gordon

TLDI ’09 Proceedings of the 4th international workshop on Types in language design and implementation | January 2009

ISBN: 978-1-60558-420-1

Bertrand Anckaert, Mariusz Jakubowski, Ramarathnam Venkatesan, Nick Saw

MSR-TR-2009-3 | January 2009

Yael Tauman Kalai, Ran Raz

Advances in Cryptology – CRYPTO 2009; Lecture Notes in Computer Science, 2009 | January 2009

Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague

Transactions on Information Forensics and Security | January 2009

Santiago Zanella-Béguelin, Benjamin Grégoire, Gilles Barthe, Federico Olmedo

30th IEEE Symposium on Security and Privacy, S&P 2009 | January 2009

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin

36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009 | January 2009

ISBN: 978-1-60558-379-2

Raghav Bhaskar, Kathekeyan Chandrasekaran, Satya Lokam, Peter Montgomery, Ramarathnam Venkatesan, Yacov Yacobi

Serdica Journal of Computing | January 2009

Salvatore Guarnieri, Ben Livshits

Proceedings of the Usenix Security Symposium | January 2009

Yael Tauman Kalai, Xin Li, Anup Rao

In Proc. 50th IEEE Symposium on Foundations of Computer Science (FOCS) | January 2009