- Subscribe to this page:
- RSS
- Email Alert
Microsoft Research
(52 results)-
White Papers
Evaluating the Viability of a Mobile Phone-Based, SMS/GPRS-Enabled, Client Data Collection Channel for Urban Microfinance
May 1, 2007, 12:00am PDT
This pilot investigation began with a simple view to implement a technology-based front-end data collection and management channel that would improve upon and streamline an urban MFI's existing...
Provided by Microsoft Research
-
White Papers
Combining Probability-Based Rankers for Action-Item Detection
March 6, 2007, 12:00am PST
This paper studies methods that automatically detect action-items in e-mail, an important category for assisting users in identifying new tasks, tracking ongoing ones, and searching for completed...
Provided by Microsoft Research
-
White Papers
Measure Transformer Semantics for Bayesian Machine Learning
January 3, 2011, 12:00am PST
The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (that is, a prior...
Provided by Microsoft Research
-
White Papers
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
February 18, 2011, 12:00am PST
The authors describe, for the first time, how to verify security properties of C code for cryptographic protocols by using a general-purpose verifier. The authors prove security theorems in the...
Provided by Microsoft Research
-
White Papers
Extracting and Verifying Cryptographic Models From C Protocol Code by Symbolic Execution
February 24, 2011, 12:00am PST
Consider the problem of verifying security properties of a cryptographic protocol coded in C. The authors propose an automatic solution that needs neither a pre-existing protocol description nor...
Provided by Microsoft Research
-
White Papers
Differentially Private Billing with Rebates
April 12, 2011, 12:00am PDT
A number of established and novel business models are based on fine grained billing, including pay-per-view, mobile messaging, voice calls, pay-as-you-drive insurance, smart metering for utility...
Provided by Microsoft Research
-
White Papers
Structured Encryption and Controlled Disclosure
January 2, 2011, 12:00am PST
The authors consider the problem of encrypting structured data (e.g., a web graph or a social network) in such a way that it can be efficiently and privately queried. For this purpose, they...
Provided by Microsoft Research
-
White Papers
Glasnost: Enabling End Users to Detect Traffic Differentiation
March 3, 2010, 12:00am PST
A confluence of technical, business, and political interests has made "Network neutrality" a hot button issue. The debate revolves around whether and to what extent Internet Service Providers...
Provided by Microsoft Research
-
White Papers
Database Access Control & Privacy: Is There A Common Ground?
January 12, 2011, 12:00am PST
Data privacy issues are increasingly becoming important for many applications. Traditionally, research in the database community in the area of data security can be broadly classified into access...
Provided by Microsoft Research
-
White Papers
Data Externality
January 12, 2011, 12:00am PST
In economics, an externality is an indirect effect of consumption or production activity on agents other than the originator of such activity. The authors observe that internet is enabling the...
Provided by Microsoft Research
-
White Papers
DBrev: Dreaming of a Database Revolution
January 12, 2011, 12:00am PST
The database community has provided excellent frameworks for efficient querying and online transaction or analytical processing. The main assumption underlying most of these frameworks is that...
Provided by Microsoft Research
-
White Papers
xJS: Practical XSS Prevention for Web Application Development
May 12, 2010, 12:00am PDT
The authors present xJS, a practical framework for preventing code-injections in the web environment and thus assisting for the development of XSS-free web applications. xJS aims on being fast,...
Provided by Microsoft Research
-
White Papers
A Domain Transformation for Structure-Preserving Signatures on Group Elements
June 23, 2011, 12:00am PDT
The authors present a generic transformation that allows one to use a large class of pairing-based signatures to construct schemes for signing group elements in a structure preserving way. As a...
Provided by Microsoft Research
-
White Papers
Collusion-Resistant Obfuscation and Functional Re-Encryption
June 21, 2011, 12:00am PDT
Program obfuscation is the problem of transforming a program into one which is functionally equivalent, yet whose inner workings are completely unintelligible to an adversary. Despite its immense...
Provided by Microsoft Research
-
White Papers
Boosted Multi-Task Learning for Face Verification With Applications to Web Image and Video Search
March 25, 2009, 12:00am PDT
Face verification has many potential applications including filtering and ranking image/video search results on celebrities. Since these images/videos are taken under uncontrolled environments,...
Provided by Microsoft Research
-
White Papers
Real-Time Human Pose Recognition in Parts From Single Depth Images
March 28, 2011, 12:00am PDT
The authors propose a new method to quickly and accurately predict 3D positions of body joints from a single depth image, using no temporal information. They take an object recognition approach,...
Provided by Microsoft Research
-
White Papers
Collaborative Personalization of Image Enhancement
March 29, 2011, 12:00am PDT
While most existing enhancement tools for photographs have universal auto-enhancement functionality, recent research shows that users can have personalized preferences. In this paper, the authors...
Provided by Microsoft Research
-
White Papers
Information Flow in Credential Systems
May 20, 2010, 12:00am PDT
This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is needed to adequately...
Provided by Microsoft Research
-
White Papers
Specification and Analysis of Dynamic Authorisation Policies
July 2, 2009, 12:00am PDT
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authorisation state. The...
Provided by Microsoft Research
-
White Papers
DKAL: Distributed-Knowledge Authorization Language
January 1, 2011, 12:00am PST
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authorization languages in...
Provided by Microsoft Research
-
White Papers
SecPAL: Design and Semantics of a Decentralized Authorization Language
January 16, 2009, 12:00am PST
The authors present a declarative authorization language. Policies and credentials are expressed using predicates defined by logical clauses, in the style of constraint logic programming. Access...
Provided by Microsoft Research
-
White Papers
A Logic for State-Modifying Authorization Policies
March 1, 2007, 12:00am PST
Administering and maintaining access control systems is a challenging task, especially in environments with complex and changing authorization requirements. A number of authorization logics have...
Provided by Microsoft Research
-
White Papers
Affine Pairings on ARM
May 16, 2011, 12:00am PDT
Pairings on elliptic curves are being used in an increasing number of cryptographic applications on many different devices and platforms, but few performance numbers for cryptographic pairings...
Provided by Microsoft Research
-
White Papers
Refactoring Human Roles Solves Systems Problems
May 27, 2009, 12:00am PDT
Several persistent problems in system administration, deployment, configuration, and usability stem from a common root: the conflation of roles between developers, users, hardware wranglers, and...
Provided by Microsoft Research
-
White Papers
Effective Data-Race Detection for the Kernel
September 23, 2010, 12:00am PDT
Data-races are an important class of concurrency errors where two threads erroneously access a shared memory location without appropriate synchronization. This paper presents DataCollider, a...
Provided by Microsoft Research
-
White Papers
The Data Furnace: Heating Up With Cloud Computing
May 17, 2011, 12:00am PDT
In this paper, the authors argue that servers can be sent to homes and office buildings and used as a primary heat source. They call this approach the Data Furnace or DF. Data Furances have three...
Provided by Microsoft Research
-
White Papers
Dyson: An Architecture for Extensible Wireless LANs
April 29, 2010, 12:00am PDT
Dyson is new software architecture for building customizable WLANs. While research in wireless networks has made great strides, these advancements have not seen the light of day in real WLAN...
Provided by Microsoft Research
-
White Papers
SenseLess: A Database-Driven White Spaces Network
March 11, 2011, 12:00am PST
The most recent FCC ruling proposes relying on a database of incumbents as the primary means of determining white space availability at any White Spaces Device (WSD). While the ruling provides...
Provided by Microsoft Research
-
White Papers
Latent Fault Detection in Cloud Services
July 13, 2011, 12:00am PDT
Large scale internet cloud services comprising of thou-sands of computers are ubiquitous. With so many machines, it is not reasonable to assume that all of them are working properly and are well...
Provided by Microsoft Research
-
White Papers
Secure-TWS: Authenticating Node to Multi-User Communication in Shared Sensor Networks
April 11, 2009, 12:00am PDT
Recent works have shown the usefulness of network and application layer protocols that connect low power sensor nodes directly to multiple applications and users on the Internet. The authors...
Provided by Microsoft Research
-
White Papers
A Hardware Platform for Utilizing TV Bands With a Wi-Fi Radio
May 19, 2007, 12:00am PDT
The Federal Communications Commission (FCC) is currently exploring the use of TV bands for unlicensed communication. This step has sparked significant interest in the research and corporate...
Provided by Microsoft Research
-
White Papers
Rethinking Indoor Wireless: Low Power, Low Frequency, Full-Duplex
October 22, 2009, 12:00am PDT
One of the largest market segments for wireless are indoor wireless networks (e.g. home networks and enterprise networks). In such networks connectivity is limited both by physical obstacles and...
Provided by Microsoft Research
-
White Papers
Efficiency and Fairness in Distributed Wireless Networks Through Self-Interference Cancellation and Scheduling
March 13, 2009, 12:00am PDT
Handling interference is one of the major challenges in the design of multi-user distributed wireless systems. In current systems, interference is managed through carrier sensing mechanisms such...
Provided by Microsoft Research
-
White Papers
Towards Unified Management of Networked Services in Wired and Wireless Enterprise Networks
December 17, 2008, 12:00am PST
Organizations world-wide are adopting wireless networks at an impressive rate, and a new industry has sprung up to provide tools to manage these networks. Unfortunately, these tools do not...
Provided by Microsoft Research
-
White Papers
DirCast: A Practical and Efficient Wi-Fi Multicast System
September 1, 2009, 12:00am PDT
IP multicast applications such as live lecture broadcasts are being increasingly used in enterprise and campus networks. In many cases, end hosts access these multicast streams using Wi-Fi...
Provided by Microsoft Research
-
White Papers
Everest: Scaling Down Peak Loads Through I/O Off-Loading
October 7, 2008, 12:00am PDT
Bursts in data center workloads are a real problem for storage subsystems. Data volumes can experience peak I/O request rates that are over an order of magnitude higher than average load. This...
Provided by Microsoft Research
-
White Papers
An Overview of Data Warehousing and OLAP Technology
January 1, 2012, 12:00am PST
Data warehousing and On-Line Analytical Processing (OLAP) are essential elements of decision support, which has increasingly become a focus of the database industry. Many commercial products and...
Provided by Microsoft Research
-
White Papers
CPR: Composable Performance Regression for Scalable Multiprocessor Models
September 2, 2008, 12:00am PDT
Uniprocessor simulators track resource utilization cycle by cycle to estimate performance. Multiprocessor simulators, however, must account for synchronization events that increase the cost of...
Provided by Microsoft Research
-
White Papers
Detection and Localization of Network Black Holes
March 31, 2007, 12:00am PDT
Internet backbone networks are under constant flux, struggling to keep up with increasing demand. The pace of technology change often outstrips the deployment of associated fault monitoring...
Provided by Microsoft Research
-
White Papers
Towards Enforceable Data-Driven Privacy Policies
May 11, 2011, 12:00am PDT
A defining characteristic of current web applications is that they are personalized according to the interests and preferences of individual users; popular examples are Google News and Amazon.com....
Provided by Microsoft Research
-
White Papers
A Parameterizable Processor Architecture for Large Characteristic Pairing-Based Cryptography
June 16, 2010, 12:00am PDT
Cryptographic pairing (bilinear mapping) is a core algorithm for various cryptography protocols. It is computationally expensive and inefficiently computed with general purpose processors....
Provided by Microsoft Research
-
White Papers
Optimizing Data Partitioning for Data-Parallel Computing
April 13, 2011, 12:00am PDT
Performance of data-parallel computing (e.g., MapReduce, DryadLINQ) heavily depends on its data partitions. Solutions implemented by the current state of the art systems are far from optimal....
Provided by Microsoft Research
-
White Papers
Context-Based Online Configuration-Error Detection
April 28, 2011, 12:00am PDT
Software failures due to configuration errors are commonplace as computer systems continue to grow larger and more complex. Troubleshooting these configuration errors is a major administration...
Provided by Microsoft Research
-
White Papers
Automatic Termination Proofs for Programs With Shape-Shifting Heaps
June 3, 2006, 12:00am PDT
The authors describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation of the program's heap. They first describe how an abstract...
Provided by Microsoft Research
-
White Papers
Strong Update, Disposal, and Encapsulation in Bunched Typing
June 3, 2006, 12:00am PDT
The authors present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other sub-structural type systems, the additive...
Provided by Microsoft Research
-
White Papers
Scalable Shape Analysis for Systems Code
April 21, 2008, 12:00am PDT
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of this type of...
Provided by Microsoft Research
-
White Papers
Bicliques for Permutations: Collision and Preimage Attacks in Stronger Settings
March 15, 2012, 12:00am PDT
The authors extend and improve biclique attacks, which were recently introduced for the cryptanalysis of block ciphers and hash functions. While previous attacks required a primitive to have a key...
Provided by Microsoft Research
-
White Papers
Near-Linear Unconditionally-Secure Multiparty Computation With a Dishonest Minority
November 21, 2011, 12:00am PST
Secure MultiParty Computation (MPC) allows a set of n players to compute any public function, given as an arithmetic circuit, on private inputs, so that privacy of the inputs as well as...
Provided by Microsoft Research
-
White Papers
What You See Is What They Get Protecting Users From Unwanted Use of Microphones, Cameras, and Other Sensors
May 3, 2010, 12:00am PDT
Sensors such as cameras and microphones collect privacy-sensitive data streams without the user's explicit action. Conventional sensor access policies either hassle users to grant applications...
Provided by Microsoft Research
-
White Papers
Towards Enforceable Data-Driven Privacy Policies
May 11, 2011, 12:00am PDT
A defining characteristic of current web applications is that they are personalized according to the interests and preferences of individual users; popular examples are Google News and Amazon.com....
Provided by Microsoft Research
-
White Papers
Detection and Localization of Network Black Holes
March 31, 2007, 12:00am PDT
Internet backbone networks are under constant flux, struggling to keep up with increasing demand. The pace of technology change often outstrips the deployment of associated fault monitoring...
Provided by Microsoft Research
-
White Papers
CPR: Composable Performance Regression for Scalable Multiprocessor Models
September 2, 2008, 12:00am PDT
Uniprocessor simulators track resource utilization cycle by cycle to estimate performance. Multiprocessor simulators, however, must account for synchronization events that increase the cost of...
Provided by Microsoft Research
-
White Papers
An Overview of Data Warehousing and OLAP Technology
January 1, 2012, 12:00am PST
Data warehousing and On-Line Analytical Processing (OLAP) are essential elements of decision support, which has increasingly become a focus of the database industry. Many commercial products and...
Provided by Microsoft Research
-
White Papers
Everest: Scaling Down Peak Loads Through I/O Off-Loading
October 7, 2008, 12:00am PDT
Bursts in data center workloads are a real problem for storage subsystems. Data volumes can experience peak I/O request rates that are over an order of magnitude higher than average load. This...
Provided by Microsoft Research
-
White Papers
DirCast: A Practical and Efficient Wi-Fi Multicast System
September 1, 2009, 12:00am PDT
IP multicast applications such as live lecture broadcasts are being increasingly used in enterprise and campus networks. In many cases, end hosts access these multicast streams using Wi-Fi...
Provided by Microsoft Research
-
White Papers
Towards Unified Management of Networked Services in Wired and Wireless Enterprise Networks
December 17, 2008, 12:00am PST
Organizations world-wide are adopting wireless networks at an impressive rate, and a new industry has sprung up to provide tools to manage these networks. Unfortunately, these tools do not...
Provided by Microsoft Research
-
White Papers
Efficiency and Fairness in Distributed Wireless Networks Through Self-Interference Cancellation and Scheduling
March 13, 2009, 12:00am PDT
Handling interference is one of the major challenges in the design of multi-user distributed wireless systems. In current systems, interference is managed through carrier sensing mechanisms such...
Provided by Microsoft Research
-
White Papers
Rethinking Indoor Wireless: Low Power, Low Frequency, Full-Duplex
October 22, 2009, 12:00am PDT
One of the largest market segments for wireless are indoor wireless networks (e.g. home networks and enterprise networks). In such networks connectivity is limited both by physical obstacles and...
Provided by Microsoft Research
-
White Papers
A Hardware Platform for Utilizing TV Bands With a Wi-Fi Radio
May 19, 2007, 12:00am PDT
The Federal Communications Commission (FCC) is currently exploring the use of TV bands for unlicensed communication. This step has sparked significant interest in the research and corporate...
Provided by Microsoft Research
-
White Papers
Secure-TWS: Authenticating Node to Multi-User Communication in Shared Sensor Networks
April 11, 2009, 12:00am PDT
Recent works have shown the usefulness of network and application layer protocols that connect low power sensor nodes directly to multiple applications and users on the Internet. The authors...
Provided by Microsoft Research
-
White Papers
Latent Fault Detection in Cloud Services
July 13, 2011, 12:00am PDT
Large scale internet cloud services comprising of thou-sands of computers are ubiquitous. With so many machines, it is not reasonable to assume that all of them are working properly and are well...
Provided by Microsoft Research
-
White Papers
SenseLess: A Database-Driven White Spaces Network
March 11, 2011, 12:00am PST
The most recent FCC ruling proposes relying on a database of incumbents as the primary means of determining white space availability at any White Spaces Device (WSD). While the ruling provides...
Provided by Microsoft Research
-
White Papers
Dyson: An Architecture for Extensible Wireless LANs
April 29, 2010, 12:00am PDT
Dyson is new software architecture for building customizable WLANs. While research in wireless networks has made great strides, these advancements have not seen the light of day in real WLAN...
Provided by Microsoft Research
-
White Papers
The Data Furnace: Heating Up With Cloud Computing
May 17, 2011, 12:00am PDT
In this paper, the authors argue that servers can be sent to homes and office buildings and used as a primary heat source. They call this approach the Data Furnace or DF. Data Furances have three...
Provided by Microsoft Research
-
White Papers
Effective Data-Race Detection for the Kernel
September 23, 2010, 12:00am PDT
Data-races are an important class of concurrency errors where two threads erroneously access a shared memory location without appropriate synchronization. This paper presents DataCollider, a...
Provided by Microsoft Research
-
White Papers
Refactoring Human Roles Solves Systems Problems
May 27, 2009, 12:00am PDT
Several persistent problems in system administration, deployment, configuration, and usability stem from a common root: the conflation of roles between developers, users, hardware wranglers, and...
Provided by Microsoft Research
-
White Papers
Affine Pairings on ARM
May 16, 2011, 12:00am PDT
Pairings on elliptic curves are being used in an increasing number of cryptographic applications on many different devices and platforms, but few performance numbers for cryptographic pairings...
Provided by Microsoft Research
-
White Papers
A Logic for State-Modifying Authorization Policies
March 1, 2007, 12:00am PST
Administering and maintaining access control systems is a challenging task, especially in environments with complex and changing authorization requirements. A number of authorization logics have...
Provided by Microsoft Research
-
White Papers
SecPAL: Design and Semantics of a Decentralized Authorization Language
January 16, 2009, 12:00am PST
The authors present a declarative authorization language. Policies and credentials are expressed using predicates defined by logical clauses, in the style of constraint logic programming. Access...
Provided by Microsoft Research
-
White Papers
DKAL: Distributed-Knowledge Authorization Language
January 1, 2011, 12:00am PST
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authorization languages in...
Provided by Microsoft Research
-
White Papers
Specification and Analysis of Dynamic Authorisation Policies
July 2, 2009, 12:00am PDT
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authorisation state. The...
Provided by Microsoft Research
-
White Papers
Information Flow in Credential Systems
May 20, 2010, 12:00am PDT
This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is needed to adequately...
Provided by Microsoft Research
-
White Papers
Collaborative Personalization of Image Enhancement
March 29, 2011, 12:00am PDT
While most existing enhancement tools for photographs have universal auto-enhancement functionality, recent research shows that users can have personalized preferences. In this paper, the authors...
Provided by Microsoft Research
-
White Papers
Real-Time Human Pose Recognition in Parts From Single Depth Images
March 28, 2011, 12:00am PDT
The authors propose a new method to quickly and accurately predict 3D positions of body joints from a single depth image, using no temporal information. They take an object recognition approach,...
Provided by Microsoft Research
-
White Papers
Boosted Multi-Task Learning for Face Verification With Applications to Web Image and Video Search
March 25, 2009, 12:00am PDT
Face verification has many potential applications including filtering and ranking image/video search results on celebrities. Since these images/videos are taken under uncontrolled environments,...
Provided by Microsoft Research
-
White Papers
Collusion-Resistant Obfuscation and Functional Re-Encryption
June 21, 2011, 12:00am PDT
Program obfuscation is the problem of transforming a program into one which is functionally equivalent, yet whose inner workings are completely unintelligible to an adversary. Despite its immense...
Provided by Microsoft Research
-
White Papers
A Domain Transformation for Structure-Preserving Signatures on Group Elements
June 23, 2011, 12:00am PDT
The authors present a generic transformation that allows one to use a large class of pairing-based signatures to construct schemes for signing group elements in a structure preserving way. As a...
Provided by Microsoft Research
-
Software
Microsoft Research AutoCollage 2008 1.1 (Windows)
September 30, 2009, 12:00am PDT
AutoCollage is an application for automatically creating collages from your images. Pick a folder, press a button, and in mere moments AutoCollage presents you with a unique memento to print or to...
Provided by Microsoft Research
-
Software
Songsmith 1.02 (Windows)
September 11, 2009, 12:00am PDT
Songsmith generates musical accompaniment to match a singer's voice. Just choose a musical style, sing into your PC's microphone, and Songsmith will create backing music for you. Then share your...
Provided by Microsoft Research
-
Software
SNARF from Microsoft Research 1.7.5 (Windows)
December 29, 2005, 12:00am PST
Microsoft Research's Community Technology presents SNARF, the Social Network and Relationship Finder. SNARF was built around the notion that social network information that is already available to...
Provided by Microsoft Research
Keep Up with TechRepublic
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
