|
|
|
The STRL organises a series of seminars which are held most weeks of
the University academic semesters. These are given by members of the
laboratory as well as some external speakers.
The list of the forthcoming seminars is given below.
Dr. Giampaolo Bella, STRL, DMU
From Classical Security Protocol Analysis Onward
Date: Thursday 25 February
Location: Bede Island 1.10
Time: 13:00--14:00
Abstract
The formal analysis of security
protocols is an established research area, but there continuously seems to be
room for additional investigation. For example, an important issue is an
offspring of the prudent principles introduced in the 1990s to guide the design
of protocols. At present, it seems that homologous principles are (more) needed
for protocol analysis. Without the guidance provided by such principles,
misinterpreting the outcomes of formal analysis is not
difficult.
Also, security protocols are
evolving to support more recent applications such as electronic auctions and
electronic voting, perhaps the most popular instances of secure multiparty
computation (MPC). On one hand, the assistance that mechanical tools offer to
the analysis of modern protocols demands development, for the embedding of an
adequate threat model especially. On the other hand, the specification and
verification of the goals of MPC protocols is a challenge exceeding by good
measure the soundness of the underlying cryptographic
primitives.
-
 Back
Dr. Waltenegus Dargie, Technical University of Dresden, Germany
Applying model-driven engineering to design adaptive and multi-modal interactive system
Date: Thursday 18 February
Location: Bede Island 1.11
Time: 13:00--14:00
Abstract
Context-aware
computing has attracted a large number of applications in the field of
human-computer interactions, pervasive and mobile computing and
distributed systems. This talk focuses on the development of adaptive
and multi-modal interactive systems. So far, the design and development
of multi-modal interactive systems involves complex and costly software
development process. In the EMODE project, a model driven engineering
approach is taken to independently develop and seamlessly integrate
application, interaction and context models and to support model to
model and model to code transformation. The talk highlights the
advantages as well as the challenges of applying the model-driven
engineering.
slides
- Back
Prof. Bernd Stahl, Centre for Computing and Social Responsibility, DMU
Critical Research in Technology and Information Systems: The
Example of Information Systems Security
Date: Thursday 28th January
Location: Gateway House GH3.51
Time: 13:00--14:00
Abstract
Critical theory is a term that covers a tradition that has been
strongly represented in the social sciences. This tradition is increasingly
applied to issues of science and technology and has strong implications for
fields such as science and technology studies or information systems. In this
talk I will introduce the critical definition and develop the argument that it
is defined in the first instance by the critical intention to improve reality.
I will discuss the main intentions, theories, and topics of critical research.
In the second half of the talk I will give an example of how
critical research can be undertaken with regards to technology. Using the
example of security, I will develop a methodology based on Habermas's
theory of communicative action that can be applied to uncovering hidden aspects
of information security policies. I will discuss preliminary findings of a
study using this methodology to support the argument that the critical approach
can add important insights into our the way we develop, use and
research technology.
- Back
Waheeda Almayyan, STRL/DMU
Multimodal Biometric Systems: Issues and Challenges
Date: Wednesday 13th January
Location: Gateway House GH3.79
Time: 13:00--14:00
Abstract
Most biometric systems that are currently in use typically employ a
single biometric trait. Such systems are called uni-biometric systems.
Despite considerable advances in recent years, there are still
challenges in authentication based on a single biometric trait, such as
noisy data, restricted degree of freedom, intra-class variability,
non-universality, spoof attack and unacceptable error rates. Some of the
restrictions can be lifted by designing a multimodal biometric system.
Multimodal biometric systems are those which utilize, or are capable of
utilizing, more than one physiological or behavioral characteristic for
enrollment, verification, or identification. A variety of multimodal
biometrics strategies have been proposed. In these works, the fusion of
the various biometric features is used to make a unique recognition
decision. For this purpose, there are various data combination levels
that can be considered. Mainly the feature-level, score-level and
decision level. Yet, it has been revealed that the score-level fusion is
the most effective approach to multimodal biometrics. Aiming at the same
issue, the research plans to integrate two biometric recognition
systems. The purpose is to improve the overall error rate by utilizing
as much information as possible from each biometric modality based on
two levels of fusion.
- Back
|
|
|
