THREAT-ARREST project aims to develop an advanced training platform
incorporating emulation, simulation, serious gaming and visualization
capabilities to adequately prepare stakeholders with different types
of responsibility and levels of expertise in defending high-risk
cyber systems and organizations to counter advanced, known and new
cyber-attacks.
THREAT-ARREST is funded by the European Commission Horizon 2020 project under Grant Agreement No. 786890.
Project duration: 36 months started September 01, 2018.
CONCORDIA (stands for Cyber security cOmpeteNCe fOr Research
anD InnovAtion) aims to build the European Secure, Resilient and
Trusted Ecosystem. The vision of CONCORDIA is to build a community
with a strong cooperation between all stakeholders, understanding
that all stakeholders have their KPIs, bridging among them and
fostering the development of IT products and solutions along the
whole supply chain. Technologically, it projects a broad and evolvable
data-driven and cognitive E2E Security approach for the ever-complex
ever-interconnected compositions of emergent data-driven cloud,
IoT and edge-assisted ICT ecosystems.
CONCORDIA is funded by the European Commission Horizon 2020 project under Grant Agreement No. 830927.
Project duration: 48 months started December 01, 2018.
Controlling Concurrent Change: Security and Integrity Project:
The Research Unit ``Controlling
Concurrent Change (CCC)''
examines the challenges the independent software updates will face due
to an increasingly openly interconnected future, and how these challenges
can be met. The Research Unit
will therefore look for ways of how to control the variety of updates
of different software applications without side effects, and how to make
computer platforms more robust to ensure proper functioning of different
software subsystems.
Within the overall framework of CCC, the Security and Integrity Project
looks at flexible security policy enforcement mechanisms that can ensure
that misbehaving components cannot interfere adversely with the overall
system of the execution of other components.
CCC is funded by the Deutsche Forschungsgemeinschaft
(German Research Foundation) for 6 years (after the initial 3 year period, the project
was awarded a second 3 year period).
(Duration April 2013 - March 2019).
SHARCS: Secure Hardware-Software Architectures for Robust Computing Systems:
This project is funded under the EU H2020-ICT-2014-1 call. SHARCS
is a framework for designing, building and demonstrating
secure-by-design applications and services, that achieve end-to-end
security for their users. SHARCS will achieve this by systematically
analyzing and extending, as necessary, the hardware and software layers
in a computing system.
(Duration April 2015 - March 2018, amount: € 3,105,763)
ForToo (Forensics Tools Against Illegal Use of the Internet):
The project, which is funded by the European Union DG for Home
Affairs, aims to develop digital forensics tools that will identify,
analyze and visualize illegal activities on the Internet. The
objectives of this project are: (a) to design and prototype a toolkit
that will detect illegal activities both proactively and after-the-fact,
(b) to identify the source and perpetrators of the illegal activities,
both in terms of virtual/network and, as much as possible, physical
location, (c) to profile the expertise and motive of the attackers,
(d) to present the relevant information in a way that will be usable
by investigating authorities, and (e) to maximize the impact of the
project through aggressive and effective dissemination of the
project's results.
(Duration June 2011 - May 2014, amount: € 750,000)
NSF/CAREER:
Home Area Network Gateway Architecture - I was PI for
this NSF project whose key objective was to investigate technologies and
methodologies with which the home network can be protected, and enrich the
computer science curriculum with security-focused experimental computer
science material.
(Duration July 2002 - June 2008, amount $ 367,393).
CHATS/CoSAK (DARPA) - I was CoPI in the
Code Security Analysis Kit
project whose objective was to provide the open source developers with tools
to allow them to produce code that is more robust and secure. This was achieved
via the CoSAK framework for code analysis and constraint enforcement. CoSAK
may be used to protect systems from code that strays outside its operational limits.
(Duration July 2001 - Oct. 2003, amount $ 622,873).
"SPPS: Secure Policy-based Publish/Subscribe System for V2C Communication".
Mohammad Hamad, Emanuel Regnath, Jan Lauinger, Vassilis Prevelakis, Sebastian Steinhorst.
In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2021). Grenoble, France.
"Intrusion Response System for Vehicles: Challenges and Vision".
Mohammad Hamad, Marinos Tsantekidis, Vassilis Prevelakis.
In: Smart Cities, Green Technologies and Intelligent Transport Systems. Springer International Publishing, pp. 321-341
DOI: https://doi.org/10.1007/978-3-030-68028-2_15
"SAVTA: A Hybrid Vehicular Threat Model: Overview and Case Study".
Mohammad Hamad, Vassilis Prevelakis.
In: Information, 11(5), pp. 273. DOI: 10.3390/info11050273
"Temporal-based intrusion detection for IoV".
Mohammad Hamad, Zain A.H. Hammadeh, Selma Saidi, Vassilis Prevelakis.
In: it - Information Technology, 62(5-6), pp. 227-239. DOI: 10.1515/itit-2020-0009
``Red-Zone: Towards an Intrusion Response Framework for Intra-Vehicle System,''
Mohammad Hamad, Marinos Tsantekidis, and Vassilis Prevelakis,
in the 5th International Conference on Vehicle Technology and Intelligent Transport
Systems (VEHITS), (Crete, Greece), May 2019.
"Security for Heterogeneous Systems".
Marinos Tsantekidis, Mohammad Hamad, Vassilis Prevelakis, Mustafa R. Agha.
In: Heterogeneous Computing Architectures: Challenges and Vision. Taylor & Francis Ltd, pp. 221-232
DOI: https://doi.org/10.1201/9780429399602
``ProSEV: Proxy-Based Secure and Efficient Vehicular Communication'',
Mohammad Hamad, Mustafa R. Agha , and Vassilis Prevelakis,
in 2018 IEEE Vehicular Networking Conference (VNC), (Taiwan), December 2018.
``Prediction of Abnormal Temporal Behavior in Real-Time Systems'',
Mohammad Hamad, Zain A. H. Hammadeh, Selma Saidi, Vassilis Prevelakis and Rolf Ernst,
in The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), 2018.
``Attack-tree-based Threat Modeling of Medical Implants'',
Muhammad Ali Siddiqi, Robert M. Seepers, Mohammad Hamad, Vassilis Prevelakis and
Christos Strydis,
in The 7th International Workshop on Security Proofs for Embedded Systems (PROOFS), 2018.
``A Secure and Efficient File System Access Control Mechanism (FlexFS),''
Jihane Najar and Vassilis Prevelakis ,
in the International workshop on Information & Operational Technology (IT & OT) security systems IOSec 2018
``A Framework for Policy Based Secure Intra Vehicle Communication,''
Mohammad Hamad, Marcus Nolte, Vassilis Prevelakis,
in the 2017 IEEE Vehicular Networking Conference (VNC)
November 27-29, 2017, Torino, Italy.
"Secure APIs for Applications in Microkernel-based Systems".
Mohammad Hamad, Vassilis Prevelakis.
In: Proceedings of the 3rd International Conference on Information Systems Security and Privacy, ICISSP.
Porto, Portugal, pp. 553-558.
DOI: 10.1109/VNC.2017.8275646
``LS-ARP: a lightweight and secure ARP,''
Vassilis Prevelakis, and Wael Adi,
Seventh IEEE International Conference on Emerging Security Technologies - EST 2017
Canterbury, Kent, UK, Sep. 2017.
Best Paper Award
``Chaining Trusted Links by Deploying Secured Physical Identities,''
Saleh Mulhem, Wael Adi, Ayoub Mars, and Vassilis Prevelakis,
Seventh IEEE International Conference on Emerging Security Technologies - EST 2017
Canterbury, Kent, UK, Sep. 2017
``Library-Level Policy Enforcement,''
Marinos Tsantekidis, Vassilis Prevelakis,
The Eleventh International Conference on Emerging Security Information, Systems and Technologies
(SECURWARE 2017), September 10-14, 2017 - Rome, Italy.
``Using Ciphers for Failure-Recovery in ITS Systems,''
Mustafa Ayoob, Wael Adi, and Vassilis Prevelakis,
Proceedings of the 12th International Conference on Availability, Reliability and Security,
Reggio Calabria, Italy, 2017,
ACM DOI:
10.1145/3098954.3103168
``
Towards Comprehensive Threat Modeling for Vehicles,''
Mohammad Hamad, Marcus Nolte, Vassilis Prevelakis,
1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2016),
Nov 2016.
``A communication framework for distributed access control in microkernel-based systems,''
Mohammad Hamad, Johannes Schlatow, Vassilis Prevelakis, Rolf Ernst.
Proceedings of the 12th annual workshop on
Operating Systems Platforms for Embedded Real-Time applications (OSPERT16)
July 5, 2016. Toulouse, France.
"A Policy-based Communications Architecture for Vehicles".
Vassilis Prevelakis, Mohammad Hamad.
In: ICISSP 2015 - Proceedings of the 1st International Conference on Information Systems Security and Privacy.
Angers, France, pp. 155-162.
DOI: 10.5220/0005325001550162
``Controlling Change via Policy Contracts,''
Vassilis Prevelakis and Mohammad Hamad.
In Proceedings of the Internet of Things Software Update Workshop (IoTSU 2016). Dublin, Ireland, June 2016.
``SHARCS - Secure Hardware-Software Architectures for Robust Computing Systems,''
Elias Athanasopoulos, Martin Boehner, Sotiris Ioannidis, Cristiano Giurida, Dmitry Pidan,
Vassilis Prevelakis, Ioannis Sourdis, Christos Strydis, John Thomson.
Proceedings of the 6th International Conference on e-Democracy, Athens, 10-11 December 2015.
``Implementation and Performance Evaluation of IPsec in Microkernel OS'',
Prevelakis, V., and Hammad, M.,
Proceedings of the Symposium On Computer Networks and Information Security (WSCNIS) 2015,
Hammamet, Tunisia, 19-21 September 2015.
IEEE DOI:
10.1109/WSCNIS.2015.7368294
``Extending the Operational Envelope of Applications,''
Prevelakis, V., and Hammad, M.,
Proceedings of the Conference on Trust and Trustworthy Computing (TRUST) 2015,
Heraklion, Crete, 24-26 Aug. 2015.
``A Policy-Based Communications Architecture for Vehicles,''
Prevelakis, V., and Hammad, M., proceedings of the
2015 International Conference on Information Systems Security and Privacy, Angers, France, 9-11 February 2015.
``Privacy Risks from Public Data Sources,''
Tzermias, Z., Prevelakis, V., and Ioannidis, S.
SEC 2014, IFIP AICT 428, pp. 156-168, IFIP International
Federation for Information Processing (2014).
``On the Development of Automated Forensic Analysis Methods for Mobile Devices,''
Panagiotis Andriotis, Theo Tryfonas, George Oikonomou, Shancang Li, Zacharias Tzermias,
Konstantinos Xynos, Huw Read, and Vassilis Prevelakis,
7th International Conference on Trust & Trustworthy Computing
June 30 - July 2, 2014 - Hersonissos, Crete, Greece.