Publications : Nominated for the Best Paper Award

ProChecker: An Automated Security and Privacy Analysis Framework for 4G LTE Protocol Implementations

The 41st IEEE International Conference on Distributed Computing Systems (ICDCS), 2021.
Imtiaz Karim, Syed Rafiul Hussain, Elisa Bertino

Conference Formal Verification Network Security Nominated for the Best Paper Award

SeamBlue: Seamless Bluetooth Low Energy Connection Migration for Unmodified IoT Devices

ACM SIGBED International Conference on Embedded Wireless Systems and Networks (EWSN), 2017
Best Paper Award Nomination
Syed Rafiul Hussain, Shagufta Mehnaz, Shahriar Nirjon, and Elisa Bertino,

Conference Nominated for the Best Paper Award