89 citations · 105 across the 3 of their papers we have counts for
3 papers
cs.CL2022
An Executable Formal Model of the VHDL in Isabelle/HOL
Wilayat Khan, Zhe Hou, David Sanan +3
In the hardware design process, hardware components are usually described in a hardware description language. Most of the hardware description languages, such as Verilog and VHDL,…
cs.NI2021★ 16 cited
An Efficient Internet Traffic Classification System Using Deep Learning for IoT
Muhammad Basit Umair, Zeshan Iqbal, Muhammad Bilal +3
Internet of Things (IoT) defines a network of devices connected to the internet and sharing a massive amount of data between each other and a central location. These IoT devices ar…
cs.CR2021★ 89 cited
Security in Next Generation Mobile Payment Systems: A Comprehensive Survey
Waqas Ahmed, Amir Rasool, Neeraj Kumar +4
Cash payment is still king in several markets, accounting for more than 90\ of the payments in almost all the developing countries. The usage of mobile phones is pretty ordinary in…