In the news | Quanta Magazine
Researchers have just released cryptographic code with the same level of invincibility as a mathematical proof.
In the news | Jonathan Protzenko Blog
Today, we’re announcing a preview release of EverCrypt, a verified cryptographic provider that offers a comprehensive collection of cryptographic algorithms. EverCrypt automatically selects the best available implementation for your platform (C or assembly); offers unified APIs for families of algorithms…
As described in our March 23, 2018 post, we unveiled a feature at the Microsoft Academic website that invites users to claim authorship of their publications. This feature is particularly crucial to authors with common names, as we have deliberately…
Awards | ACM
Victor Bahl received the ACM Distinguished Service Award for significant and lasting service to the broad community of mobile computing and wireless networking, and for building strong linkages between academia, industry, and government agencies. His efforts have led to the…
In the news | Microsoft Research Webinar Series
In this webinar led by Microsoft researchers Jenn Wortman Vaughan and Hanna Wallach, 15-year veterans of the machine learning field, you'll learn how to make detecting and mitigating biases a first-order priority in your development and deployment of ML systems.
Awards | USENIX
Yongguang Zhang received the USENIX Test of Time Award for his paper, ‘Sora: High Performance Software Radio Using General Purpose Multi-core Processors‘, published in the Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (April, 2009). He co-authored…
In the news | IEEE Infocom
The highest honor that can be bestowed on a researcher in the INFOCOM community: For work on indoor localization and on exploiting properties of radio frequency signals for goals beyond communications, which still serves as a model for much of…
In the news | ACM
For significant and lasting service to the broad community of mobile computing and wireless networking, and for building strong linkages between academia,industry, and government agencies.
Awards | SIGMOBILE
Prashanth Mohan, Venkat Padmanabhan, and Ramachandran Ramjee, received the ACM SIGMOBILE Test-of-Time Paper Award for their paper Nericell: Rich Monitoring of Road and Traffic Conditions using Mobile Smartphones, published in ACM Sensys 2008. Nericell pioneered the use of smartphones as a vehicular…