vilvo

Well, yes and no to the telco core networks. I’m sure you know but for the record - getting access to the SS7 outside telecom companies is easy and fairly affordable (15-20k€/month). That and voice/sms services (vs. e2e encrypted data over virtual networks) grants access to SS7 exploits one under the threat model discussed earlier would want to protect against.

This. And no 2G/3G to protect against SS7 threats. 4G/5G only can be quite limiting but in this threat model you want SS7 attacks out.

Correctness via formal verification - at least in the core of sel4.

What is UnBangUI?

Great progress. Still the lithium chemistry energy density is nowhere near what is needed for flight and heavy traffic. We are at 200-400Wh/kg and we need 2000Wh/kg.