Vassilis Prevelakis

Proceedings of the 18th International Conference on Security and Cryptography, 2021

SPPS: Secure Policy-based Publish/Subscribe System for V2C Communication.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Temporal-based intrusion detection for IoV.

[BibT_eX]

[DOI]

Zain Alabedin Haj Hammadeh

Selma Saidi

it Inf. Technol., 2020

SAVTA: A Hybrid Vehicular Threat Model: Overview and Case Study.

[BibT_eX]

[DOI]

Inf., 2020

Software System Exploration Using Library Call Analysis.

[BibT_eX]

[DOI]

Proceedings of the Model-driven Simulation and Training Environments for Cybersecurity, 2020

2019

Red-Zone: Towards an Intrusion Response Framework for Intra-vehicle System.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019

Intrusion Response System for Vehicles: Challenges and Vision.

[BibT_eX]

[DOI]

Proceedings of the Smart Cities, Green Technologies and Intelligent Transport Systems, 2019

Efficient Monitoring of Library Call Invocation.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Internet of Things: Systems, 2019

2018

ProSEV: Proxy-Based Secure and Efficient Vehicular Communication.

[BibT_eX]

[DOI]

Mustafa R. Agha

Proceedings of the 2018 IEEE Vehicular Networking Conference, 2018

Prediction of abnormal temporal behavior in real-time systems.

[BibT_eX]

[DOI]

Zain Alabedin Haj Hammadeh

Selma Saidi

Rolf Ernst

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

A Secure and Efficient File System Access Control Mechanism (FlexFS).

[BibT_eX]

[DOI]

Jihane Najar

Proceedings of the Information and Operational Technology Security Systems, 2018

Attack-tree-based Threat Modeling of Medical Implants.

[BibT_eX]

[DOI]

Proceedings of the PROOFS 2018, 2018

2017

Privacy Risks from Public Data Sources.

[BibT_eX]

[DOI]

Sotiris Ioannidis

Panagiotis Papadopoulos

Zacharias Tzermias

CoRR, 2017

A framework for policy based secure intra vehicle communication.

[BibT_eX]

[DOI]

Marcus Nolte

Proceedings of the 2017 IEEE Vehicular Networking Conference, 2017

Secure APIs for Applications in Microkernel-based Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Secure Hardware-Software Architectures for Robust Computing Systems - SHARCS.

[BibT_eX]

[DOI]

Proceedings of the European Project Space on Networks, 2017

LS-ARP: A lightweight and secure ARP.

[BibT_eX]

[DOI]

Wael Adi

Proceedings of the Seventh International Conference on Emerging Security Technologies, 2017

Chaining trusted links by deploying secured physical identities.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Emerging Security Technologies, 2017

Using Ciphers for Failure-Recovery in ITS Systems.

[BibT_eX]

[DOI]

Mustafa Ayoob

Wael Adi

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2015

A Policy-based Communications Architecture for Vehicles.

[BibT_eX]

[DOI]

Proceedings of the ICISSP 2015, 2015

Secure Hardware-Software Architectures for Robust Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the E-Democracy - Citizen Rights in the World of the New Computing Paradigms, 2015

2014

On the Development of Automated Forensic Analysis Methods for Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the Trust and Trustworthy Computing - 7th International Conference, 2014

Privacy Risks from Public Data Sources.

[BibT_eX]

[DOI]

Zacharias Tzermias

Sotiris Ioannidis

Proceedings of the ICT Systems Security and Privacy Protection, 2014

2010

A market-based bandwidth charging framework.

[BibT_eX]

[DOI]

David Michael Turner

ACM Trans. Internet Techn., 2010

On the General Applicability of Instruction-Set Randomization.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2010

2008

Decentralized access control in distributed file systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2008

2007

Supporting a Security Laboratory.

[BibT_eX]

[DOI]

Bridging the Network Reservation Gap Using Overlays.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

2006

Letter to the Editor.

[BibT_eX]

[DOI]

How to buy a network: trading of resources in the physical layer.

[BibT_eX]

[DOI]

Admela Jukan

IEEE Commun. Mag., 2006

Preserving TCP Connections Across Host Address Changes.

[BibT_eX]

[DOI]

Sotiris Ioannidis

Proceedings of the Information Security, 9th International Conference, 2006

Base line performance measurements of access controls for libraries and modules.

[BibT_eX]

[DOI]

Jason W. Kim

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

The Virtual Firewall.

[BibT_eX]

[DOI]

The Ethernet Speaker System.

[BibT_eX]

[DOI]

David Michael Turner

Proceedings of the FREENIX Track: 2005 USENIX Annual Technical Conference, 2005

The Bandwidth Exchange Architecture.

[BibT_eX]

[DOI]

David Michael Turner

Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005

2003

Drop-in security for distributed and portable computing elements.

[BibT_eX]

[DOI]

Internet Res., 2003

WebDAVA: An Administrator-Free Approach To Web File-Sharing.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

Secure and Flexible Global File Sharing.

[BibT_eX]

[DOI]

Proceedings of the FREENIX Track: 2003 USENIX Annual Technical Conference, 2003

TAPI: Transactions for Accessing Public Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the Personal Wireless Communications, IFIP-TC6 8th International Conference, 2003

Characterizing the 'Security Vulnerability Likelihood' of Software Functions.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

Demonstration of COSAK static analysis tools.

[BibT_eX]

[DOI]

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

Countering code-injection attacks with instruction-set randomization.

[BibT_eX]

[DOI]

Gaurav S. Kc

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2002

Fileteller: Paying and Getting Paid for File Storage.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography, 6th International Conference, 2002

2001

Sandboxing Applications.

[BibT_eX]

[DOI]

Diomidis Spinellis

Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, 2001

1999

Managing large WWW sites.

[BibT_eX]

[DOI]

Internet Res., 1999

A Secure Station for Network Monitoring and Control.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Security Symposium, Washington, DC, USA, August 23-26, 1999, 1999

Controlling the Dissemination of Electronic Documents.

[BibT_eX]

[DOI]

Jean-Henry Morin

Dimitri Konstantas

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998

The reconfigurable electronic textbook.

[BibT_eX]

Proceedings of the Sixth European Conference on Information Systems, 1998

1993

Perspectives on Software Development Environments

[BibT_eX]

[DOI]