vilvo

6 ms·

1. 1.▲
   by vilvo 2y ago

   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
2. 2.▲
   by vilvo 2y ago

   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.
3. 3.▲
   by vilvo 2y ago

   Correctness via formal verification - at least in the core of sel4.
4. 4.▲
   by vilvo 5y ago

   What is UnBangUI?
5. 5.▲
   by vilvo 5y ago

   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.