Motivation and Research Statement

Providing ICT solutions in context with low infrastructure requires using open, low-cost, and innovative solutions, often based on mobile and typically requiring the integration of manual and automated procedures.

Our research focuses on two thematic areas, namely emerging technologies to improve life, system and security engineering for ensuring better life through threat-safe services.

• Emerging Technologies
  We focus, in particular, on two key aspects:
  • Emerging Technologies for Better Life (ET4BL).
    Developing, deploying, and evaluating impact of ICT driven applications and services based on emerging technologies (e.g., mobile) with the primary goal of improving ICT penetration and quality of life. We target environments with significantly low ICT penetration.
  • Emerging Technologies for Better Government (ET4BG).
    Supporting e-Government and Public Administration initiatives through Business Process Modeling and/or Reengineering (BPR) while ensuring interoperability among services and participation of citizens.
• Security Engineering
  • Security Assessment.
    We capitalize on the usage of Formal Methods in modeling, specification, and analysis of procedural and system-level behaviors of complex systems so as to guarantee safe and secure system engineering.
  • Web Application Vulnerability Modeling and Detection.
    We concentrate on realizing a framework for detecting attacks on web applications by modeling and reasoning attacks using ontology. We also target the impact procedures have in ensuring more secure solutions.