Orange — Telecommunications
Securing Secure Element Provisioning at Carrier Scale
Subscriber credentials are the one asset we cannot afford to get wrong, across hundreds of device models we do not control. A certified base that every model inherits is the only version of that problem we can realistically staff.
Full nameJob title
Key outcome
Certified Isolation for Subscriber Credentials
Subscriber credentials are among the most attacked assets a carrier holds. Running the provisioning path inside a formally verified environment means the code handling those credentials is separated from the rest of the device software by a boundary that has been mathematically proven, not just tested.
