MIT Technology Review: Cloud services use computer servers run by third-party companies to store computer files and perform various functions. However, because the servers are connected to the internet, they are constant targets for hacking and, therefore, a major security concern. To ensure that a cloud service does only what it was designed to do, Microsoft and IBM have developed a project called Pinocchio, which uses a verification system to guarantee only proper and unaltered access. It can also be used for systems that collect fine-grained personal data such as detailed water or electricity usage statistics. Pinocchio is a major improvement over earlier systems that often took longer to check a result than to simply repeat the action being checked. However, verifying a system’s security still takes too long to be useful in real-world situations.
The finding that the Saturnian moon may host layers of icy slush instead of a global ocean could change how planetary scientists think about other icy moons as well.
Modeling the shapes of tree branches, neurons, and blood vessels is a thorny problem, but researchers have just discovered that much of the math has already been done.
January 29, 2026 12:52 PM
Get PT in your inbox
PT The Week in Physics
A collection of PT's content from the previous week delivered every Monday.
One email per week
PT New Issue Alert
Be notified about the new issue with links to highlights and the full TOC.
One email per month
PT Webinars & White Papers
The latest webinars, white papers and other informational resources.