3 papers
cs.CR2026
Di5Guise: 5G Privacy with vSIM
Shirin Ebadi, Zach Moolman, Eric Keller +1
SIM cards have been the key building block of user authenticationand security in cellular networks. While they are meant to serve as privacy protecting elements in cellular communi…
cs.ET2025
PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
Ange-Thierry Ishimwe, Raghuveer Shivakumar, Heewoo Kim +2
Souper is a powerful enumerative superoptimizer that enhances the runtime performance of programs by optimizing LLVM intermediate representation (IR) code. However, its verificatio…
cs.NI2025
Decoupling the Device and Identity in Cellular Networks with vSIM
Shirin Ebadi, Zach Moolman, Eric Keller +1
Cellular networks are now fundamental infrastructure, powering not just smartphones for daily communication and commerce, but also enabling the expansion of IoT and edge computing…