In recent years, people are paying more attention to formalizing and analysing Denial of
Service attacks. But the analysis is almost exclusively focused on the computation cost. In …

In this study, malicious users who cause to resource exhausting are tried to detect in a
telecommunication company network. Non-Legitimate users could cause lack of information …

Recently, people are paying more attention to formalizing and analyzing Denial of Service
(DoS) attacks, but the known analysis models are either not precise enough or not readily …

Abstract Model checkers for security protocols often focus on basic properties, such as
confidentiality or authentication, using a standard model of the Dolev-Yao intruder. In this …

The accelerated expansion and commercialization of IoT devices have promoted the use of
a wide diversity of communication protocols. One of the most preeminent protocols adopted …

Software systems are the backbone of modern life as they drive all computerized
technologies. The ever-increasing size and complexity of today's systems makes them very …

This habilitation manuscript summarizes a selected list of research contributions in the area
of Wireless Security. The selected list of contributions is by no means exhaustive. It shall be …

We report on the assessment of the application of the AVANTSSAR Validation Platform to
the problem cases in terms of coverage and efficiency. The results of the assessment …