Algorithms - Microsoft Research

Publication

On the Decidability of Model-Checking Information Flow Properties

Deepak D'Souza, Raveendra Holla, Janardhan (Jana) Kulkarni, Barbara Sprick

December 2008

Publication

Data Collection with Self-Enforcing Privacy

Philippe Golle, Frank McSherry, Ilya Mironov

ACM Trans. Inf. Syst. Secur., Special Issue on Computer and Communications Security | December 2008, Vol 12

Project

Publication

Mapping XSD to OO Schemas

Suad Alagic, Phil Bernstein

MSR-TR-2008-183 | December 2008

Project

This is an umbrella project for several related efforts at Microsoft Research Silicon Valley that address various Multi-Armed Bandit (MAB) formulations motivated by web search and ad placement. The MAB problem is a classical paradigm…

Publication

Sharing and Exploring Sensor Streams over Geocentric Interfaces

Liqian Luo, Aman Kansal, Suman Nath, Feng Zhao

16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS) | November 2008

Project

Publication

Proof of the local REM conjecture for number partitioning I: Constant energy scales

Christian Borgs, Jennifer Chayes, Stephan Mertens, Chandra Nair

MSR-TR-2008-202 | November 2008

Publication

Characterizing Truthful Multi-armed Bandit Mechanisms

Moshe Babaioff, Yogeshwer Sharma, Aleksandrs Slivkins

SIAM Journal on Computing (SICOMP) | November 2008, Vol 43: pp. 194-230

Project

Publication

The Betweenness Centrality Game for Strategic Network Formations

Wei Chen, Shang-Hua Teng, Jiajie Zhu

MSR-TR-2008-167 | November 2008

Publication

Probabilistic Failure Detection for Efficient Distributed Storage Maintenance

Jing Tian, Zhi Yang, Wei Chen, Ben Y. Zhao, Yafei Dai

October 2008

Publication

Black-box accountable authority identity-based encryption

Vipul Goyal, Steve Lu, Amit Sahai, Brent Waters

CCS ’08 Proceedings of the 15th ACM conference on Computer and communications security | October 2008