HackerTrans
TopNewTrendsCommentsPastAskShowJobs

vilvo

no profile record

comments

vilvo
·vor 2 Jahren·discuss
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.
vilvo
·vor 2 Jahren·discuss
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.
vilvo
·vor 2 Jahren·discuss
Correctness via formal verification - at least in the core of sel4.
vilvo
·vor 5 Jahren·discuss
What is UnBangUI?
vilvo
·vor 5 Jahren·discuss
O'er the land of the free and the home of the brave?
vilvo
·vor 5 Jahren·discuss
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.