Viewing profile — 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…

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?

O'er the land of the free and the home of the brave?

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.