research
∙
09/16/2022
An Overview of Cyber Security and Privacy on the Electric Vehicle Charging Infrastructure
Electric vehicles (EVs) are key to alleviate our dependency on fossil fu...
share
research
∙
04/07/2022
cyberaCTIve: a STIX-based Tool for Cyber Threat Intelligence in Complex Models
Cyber threat intelligence (CTI) is practical real-world information that...
research
∙
05/19/2021
MetaCP: Cryptographic Protocol Design Tool for Formal Verification
We present MetaCP, a tool to aid the cryptographer throughout the proces...
research
∙
05/06/2021
Securing the Electric Vehicle Charging Infrastructure
Electric Vehicles (EVs) can help alleviate our reliance on fossil fuels ...
research
∙
11/28/2019
Modelling Load-Changing Attacks in Cyber-Physical Systems
Cyber-Physical Systems (CPS) are present in many settings addressing a m...
research
∙
10/07/2019
Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols
We propose MetaCP, a Meta Cryptography Protocol verification tool, as an...
research
∙
01/16/2019
TrABin: Trustworthy Analyses of Binaries
Verification of microkernels, device drivers, and crypto routines requir...
research
∙
07/27/2018
Sound Transpilation from Binary to Machine-Independent Code
In order to handle the complexity and heterogeneity of mod- ern instruct...
research
∙
02/14/2018