Title: Forward and Backward Privacy in Dynamic Searchable Encryption
Title: Development of a Hardware in the Loop based Testbed to generate fieldbus communication
Title: Semantics-Aware Neural Network-Based Malware Classification Model
Title: Enhancing Security of Modern Linux Containers
Title: Data Flow Analysis of EVM Smart Contracts
Title: CharWars: A New Heap
Title: Analysis of the Wireless Security of an Insulin Pump System
Title: Hypervisor Development Dedicated for Virtual Machine Introspection
Title: Analysing the Robustness of Memory Augmented Neural Networks
Title: A Metric to Assess the Trustworthiness of Certificate Authorities
Title: Beyond Heuristics: Learning to predict vulnerability, severity and exploits
Title: Continuous Test-based Certification of Cloud Services
Title: Avoiding smart contract vulnerabilities: An inter-contract concolic execution framework for Ethereum contracts
Title: Flexible Task Management for Self-Adaptation of Mixed-Criticality Systems with an Automotive Example
Title: Framework for Automated Construction of Object-Oriented Code Reuse Attacks
Title: Evaluation of Defense Strategies for Face Recognition Systems
Title: Time-based Evolution of Malware Behavior in Sandboxes
Title: Analysis and Mitigation of Security Issues on Android
