Microsoft Research India

Microsoft Research Lab – India

新闻与深度文章

EzPC provides secure AI model validation. In the diagram poses the following question: Is the accuracy of the AI model on the test dataset greater than 70%? First, an AI vendor provides model weights, and a modular compiler takes as input from the model weights the AI model structure written in ONNX code for ML inference. From this, it automatically generates MPC protocol code, which is then compiled into various MPC protocols. Additionally, a suite of highly performant cryptographic protocols securely compute complex ML functions on an organization’s test dataset. The MPC protocol outputs random bits, keeping the data from both parties secure.
微软研究院博客

| Nishanth Chandran, Divya Gupta, Aseem Rastogi, 和 Rahul Sharma

From manufacturing and logistics to agri…

Collage of four images. 1) a VR haptic pivot device 2) Ashley Lorens of Microsoft Research 3) an image of tractor on a farm 4) image of Race and Technology lecture series speakers.
微软研究院博客

Over the past 30 years, Microsoft Resear…

奖项 | InfoSys

Neeraj Kayal awarded Infosys 2021 Prize for Mathematical Sciences 

The Infosys Prize 2021 in Mathematical S…

Microsoft Research India Podcast

Episode 010 | September 28, 2021 Artific…

Photograph of two men: Akhay (LH) and Ajay (RH)
Microsoft Research India Podcast

 Episode 009 | June 15, 2021 The Intern…

Akshay_podcast

新闻报道 | Microsoft Research India Podcast

Podcast: Dependable IoT- Making data from IoT devices dependable and trustworthy for good decision making 

The Internet of Things has been around f…

IoTShow

新闻报道 | Internet of Things Show

Internet of Things Show – Improving IoT sensors data quality with Verified Telemetry 

Data is the new oil. Customers are incre…

An animation showing an example of a high-level language message format specified by EverParse. From the message, two arrows labeled “EverParse” point to a rectangle labeled “formal specification” and a rectangle labeled “low-level implementation,” respectively, inside a larger rectangle labeled “F* code.” The figure represents EverParse’s ability to automatically generate safe, correct, and fast F* parsing code. “Correctness” is defined as “Correctness: ​parse (serialize msg) = msg​” and “valid msg ==> serialize (parse msg) = msg​.” The F* logo appears with the description that F* is a type theory–based programming language and proof assistant that can prove theorems about programs​. From the “F* code” rectangle, arrows point from the “low-level implementation” rectangle and a rectangle labeled “verified libraries for combinators” to a rectangle labeled “Safe high-performance C code.”
微软研究院博客

| Tahina Ramananandro, Aseem Rastogi, 和 Nikhil Swamy

EverParse (opens in new tab) is a framew…

Sriram Rajamani - podcast photo
Microsoft Research India Podcast

   Episode 008 | April 20, 2021 Po…