research
∙
09/21/2022
Android Private Compute Core Architecture
Android's Private Compute Core (PCC) is a secure, isolated environment w...
share
research
∙
04/17/2021
Cetacean Translation Initiative: a roadmap to deciphering the communication of sperm whales
The past decade has witnessed a groundbreaking rise of machine learning ...
research
∙
10/30/2020
Towards making formal methods normal: meeting developers where they are
Formal verification of software is a bit of a niche activity: it is only...
research
∙
04/15/2020