2 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.CR2021
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…