176 followers
Presenting our paper “Easy 4G/LTE IMSI Catchers for Non-Programmers” today. The challenge is to fix this for 5G. https://t.co/JQXcj7XMdm
Presenting our paper “Easy 4G/LTE IMSI Catchers for Non-Programmers” today. The challenge is to fix this for 5G. https://t.co/JQXcj7XMdm
Automated cryptographic analysis of the Pedersen commitment scheme. ~ R. Metere & C. Dong #ITP #Coq https://t.co/9HbqSJaIhz
Automated Cryptographic Analysis of the Pedersen Commitment Scheme. https://t.co/tff8Af0BFl