illustration of intersecting lines with various shapes at the connecting points signifying algorithms on a green gradient background

Algorithms

Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.

Current selections

Sort by: Most recent

Clear selections

Publication

Merlin: Specification Inference for Explicit Information Flow Problems

Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee

ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009

Publication

Privacy Integrated Queries

Frank McSherry

Proceedings of the 2009 ACM SIGMOD International Conference on Management of Data (SIGMOD) | June 2009

For more information, visit the project page: http://research.microsoft.com/PINQ.

Project Project

Publication

Symbolic Bounded Model Checking of Abstract State Machines

Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte

Int J Software Informatics | June 2009, pp. 149-170

Publication

Differentially Private Recommender Systems: Building Privacy into the Netflix Prize Contenders

Ilya Mironov, Frank McSherry

Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD) | June 2009

Publication

On Cryptography with Auxiliary Input

Yevgeniy Dodis, Yael Tauman Kalai, Shachar Lovett

STOC ’09: Proceedings of the 41st annual ACM symposium on Theory of computing | May 2009

Publication

Auctions with Online Supply

Moshe Babaioff, Liad Blumrosen, Aaron Roth

Fifth Workshop on Ad Auctions | May 2009

Publication

On Competitiveness in Uniform Utility Allocation Markets

Deeparnab Chakrabarty, Nikhil Devanur

Operations Research Letters | May 2009, Vol 37: pp. 155-158

Publication

Differential Privacy and Robust Statistics

Cynthia Dwork

Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC) | May 2009

Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC)

Project Project

Publication

A Public Key Encryption Scheme Secure against Key Dependent Chosen Plaintext and Adaptive Chosen Ciphertext Attacks

Jan Camenisch, Nishanth Chandran, Victor Shoup

Advances in Cryptology – EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings | May 2009

Advances in Cryptology – EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings

ISBN: 978-3-642-01000-2

Publication

Input-Output Model Programs

Margus Veanes, Nikolaj Bjørner

MSR-TR-2009-56 | May 2009

Preliminary version of paper to appear in ICTAC'09, LNCS.

Your Privacy Choices