The advent of Blockchain and smart contracts is empowering many technologies and
systems to automate commerce and facilitate the exchange, tracking and the provision of …

Attacks against computer systems can cause considerable economic or physical damage.
High-quality development of security-critical systems is difficult, mainly because of the …

Mobile crowdsensing (MCS) is an emerging data-driven paradigm that leverages the
collective intelligence of the crowd, their mobility, and the crowd-companioned smart mobile …

Rapid technological advances in recent years have precipitated a general shift towards
software distribution as a central computing paradigm. This has been accompanied by a …

In specification-based testing, test sequences are generated from an abstract system
specification to provide confidence in the correctness of an implementation. For security …

The proliferation of Internet and network-based services has experienced significant growth,
leading to the creation of novel security protocols across many different systems. This …

The availability of powerful and sensor-enabled mobile and Internet-connected devices
have enabled the advent of the ubiquitous sensor network (USN) paradigm. USN provides …

Finding flaws in security protocol implementations is hard. Finding flaws in the
implementations of sensor network security protocols is even harder because they are …

The availability of powerful and sensor-enabled mobile and Internet-connected devices
have enabled the advent of the ubiquitous sensor network paradigm which is providing …

Cryptographic protocols form the backbone of our digital society. Unfortunately, the security
of numerous critical components has been neglected. As a consequence, attacks have …