End-user privacy in mobile telephony systems is nowadays of great interest because of the
envisaged hyper-connectivity and the potential of the unprecedented services (virtual reality …

Apple Wireless Direct Link (AWDL) is a key protocol in Apple's ecosystem used by over one
billion iOS and macOS devices for device-to-device communications. AWDL is a proprietary …

Abstract 5G technology is called to support the next generation of wireless communications
and realize the “Internet of Everything” through its mMTC (massive Machine-Type …

Purpose The purpose of this paper to investigate the current information systems security
(ISS) practices of the social software application (SSA) users via the internet …

Mobile communications are not trustful as many people think about it. The IMSI catcher
device is one of the most effective threats that can compromise the security of mobile …

The fifth-generation technology is called to support the next generation of wireless services
and realize the “Internet of Everything” through Machine-Type Communications and Cellular …

The Squirrel Prover is a proof assistant designed for the computational verification of
cryptographic protocols. It implements a probabilistic logic that captures cryptographic and …

We define an epistemic logic or logic of knowledge, PL, and a formalism to undertake
privacy-centric reasoning in security protocols, over a Dolev-Yao model. We are able to …

Speech technology for communication, accessing information and services has rapidly
improved in quality. It is convenient and appealing because speech is the primary mode of …

Service commissions, which are claimed by Ad-Networks and Publishers, are susceptible to
forgery as non-human operators are able to artificially create fictitious traffic on digital …