by Kyriakos Kritikos and Dimitris Plexousakis (ICS-FORTH)

Many organisations are considering moving their business processes to the cloud to save money by also taking advantage of its infinite and affordable resources. However, this migration requires aligning the business and cloud levels as well as adaptively managing the business processes in the cloud. CloudSocket is a project dealing with these issues, which facilitates the transformation of business processes into business process as a service (BPaaS) products offered by organisations playing the role of a broker. A respective platform has been produced which enables the management of the whole lifecycle of a BPaaS.   

by Martina Schraudner and Marie Heidingsfelder (Fraunhofer IAO)

Our research project Shaping Future presents a methodology for setting need-oriented research agendas in the field of human-machine interaction.

by Darko Brodić, Sanja Petrovska, Radmila Janković (Univ. of Belgrade, Serbia), Alessia Amelio (Univ. of Calabria, Italy) and Ivo Draganov (Technical University of Sofia, Bulgaria)

The Completely Automated Public Turing Test to tell Computers and Humans Apart (CAPTCHA) test is designed to differentiate between human users and bots. The time spent to find a solution to the CAPTCHA test is correlated with particular demographic characteristics of Internet users. This knowledge can be used to predict which CAPTCHA tests are best suited to different users.

by Zeeshan Ali Khan and Peter Herrmann (NTNU)

In our daily lives, we are surrounded by a plethora of connected devices. But can we be sure that they are all secure and will not start malicious attacks against us? Many devices are small and have only limited processing and battery power such that traditional security mechanisms cannot be used. In this article, we propose a trust-based intrusion detection system that is resource-friendly and offers energy-efficient media access.

by Peter Kieseberg, Peter Frühwirt and Sebastian Schrittwieser (SBA Research)

In recent years, standard end-to-end encryption protocols have become increasingly popular for protecting the security of network communication of smartphone applications, as well as user privacy. On the whole, this has been a good thing, but this reliance has also resulted in several issues related to testing.

by Georg Merzdovnik, Damjan Buhov, Artemios G. Voyiatzis and Edgar Weippl (SBA Research)

Protecting user security and privacy on the internet takes more than transport layer security (TLS) and strong cryptographic algorithms: utilizing TLS notary services and certificate pinning for improved defences against prevalent third-party tracking.

by Nicolás Notario, Alberto Crespo (Atos), Antonio Skarmeta, Jorge Bernal and José Luis Cánovas (Universidad de Murcia)

ARIES (ReliAble euRopean Identity EcoSystem) will provide secure privacy-preserving identity management, effectively reducing the risk of identity fraud and crime.

by Franco Mazzanti, Alessio Ferrari and Giorgio O. Spagnolo (ISTI-CNR)

ISTI-CNR provides an online open-access environment for the experimentation of design, analysis and verification of UML-based system models. Great as a didactic environment, it can successfully compete in terms of friendliness and usability with the most mainstream verification frameworks.