In the news | Nature Electronics
Working on the edge
Edge computing processes data on infrastructure that is located close to the point of data creation. Mahadev Satyanarayanan recounts how recognition of the potential limitations of centralized, cloud-based processing led to this new approach to computing.
In the news | Microsoft News Center
Walgreens Boots Alliance and Microsoft establish strategic partnership to transform health care delivery
DEERFIELD, Ill., and REDMOND, Wash. — Jan. 15, 2019 — Walgreens Boots Alliance Inc. (WBA) and Microsoft Corp. have joined forces to develop new health care delivery models, technology and retail innovations to advance and improve the future of health…
Influencing mainstream software—Applying programming language research ideas to transform spreadsheets
| Andy Gordon and Simon Peyton Jones
Spreadsheets are the world’s most widely used programming language, by several orders of magnitude. We asked ourselves whether it would be possible to apply programming language research ideas to make spreadsheets a better programming language? If we could, that would…
Project Everest: Reaching greater heights in internet communication security
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the verification tools and techniques the Everest team is using and…
In the news | IT Toolbox
Intel, Microsoft Push Homomorphic Encryption with Open-Source Moves
Microsoft's SEAL was unveiled in 2015 and was written in standard C++ programming language, working on Windows, Linux and OS X. It incorporates both the Brakerski/Fan-Vercauteren (BFV) and the Cheon-Kim-Kim-Song (CKKS) encryption schemes.
Scaling the Everest of software security with Dr. Jonathan Protzenko
Episode 58, January 9, 2019 - Dr. Protzenko talks about what’s wrong with software (and why it’s vitally important to get it right), explains why there are so many programming languages (and tells us about a few he’s been working…
In the news | Microsoft Industry Blog
Every immune system has a story to tell; the key is knowing how to listen
Decoding nature's antigen map requires immunological data of a scale never-before generated, coupled with new algorithmic approaches to modeling how T-cells bind to antigens.