13 citations · 19 across the 3 of their papers we have counts for
5 papers
cyberaCTIve: a STIX-based Tool for Cyber Threat Intelligence in Complex Models
Ricardo M. Czekster, Roberto Metere, Charles Morisset
Cyber threat intelligence (CTI) is practical real-world information that is collected with the purpose of assessing threats in cyber-physical systems (CPS). A practical notation fo…
Modelling Load-Changing Attacks in Cyber-Physical Systems
Luca Arnaboldi, Ricardo M. Czekster, Roberto Metere +1
Cyber-Physical Systems (CPS) are present in many settings addressing a myriad of purposes. Examples are Internet-of-Things (IoT) or sensing software embedded in appliances or even…
Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols
Luca Arnaboldi, Roberto Metere
We propose MetaCP, a Meta Cryptography Protocol verification tool, as an automated tool simplifying the design of security protocols through a graphical interface. The graphical in…
TrABin: Trustworthy Analyses of Binaries
Andreas Lindner, Roberto Guanciale, Roberto Metere
Verification of microkernels, device drivers, and crypto routines requires analyses at the binary level. In order to automate these analyses, in the last years several binary analy…
Sound Transpilation from Binary to Machine-Independent Code
Roberto Metere, Andreas Lindner, Roberto Guanciale
In order to handle the complexity and heterogeneity of mod- ern instruction set architectures, analysis platforms share a common design, the adoption of hardware-independent interm…