Dr. Mehran Goli and Prof. Dr. Rolf Drechsler awarded with Best Paper Award of FDL 2021
At the “Forum on Specification & Design Languages (FDL)”, which took place from 8 to 10 September 2021 hybrid, the scientists Dr. Mehran Goli and Prof. Dr. Rolf Drechsler, both from the DFKI research department Cyber-Physical Systems, received the Best Paper Award for their publication entitled “VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes”.
The two scientists show how to optimise the design flow and shorten time-to-market. The advent of Virtual Prototypes (VPs) at the Electronic System Level (ESL) plays an important role in modernising the system-on-chips (SoCs) design flow. Leveraging VPs and extending their use-cases for early security validation are shown as a promising direction. As the cost of fixing any security flaws increases with the stage of development, VP-based security validation can significantly avoid costly iterations. In this paper, we propose VIP-VP, a novel VP-based dynamic information flow analysis approach at the ESL.VIP-VP enables designers to validate the information flow policies of a given VP-based SoC against security threat models, such as information leakage (confidentiality) and unauthorized access to data in a memory (integrity). Experimental results including a real-world VP-based SoC demonstrate the scalability and applicability of the proposed approach.
With this year’s award, scientists from the DFKI Cyber-Physical Systems research department receive the FDL’s Best Paper Award for their outstanding research work for the second year in a row.
Dr. Mehran Goli
German Research Center for Artificial Intelligence (DFKI)
Phone: +49 421 218 63959
Monday, 26 Nov 2018Neues Projekt SecProPort: Umfassende IT-Sicherheitsarchitektur schützt Häfen vor Cyberangriffen
Tuesday, 13 Nov 2018Multiplizieren – aber richtig! Bremer Forschungsarbeit mit Best Paper Award ausgezeichnet
Thursday, 1 Nov 2018DFKI-Wissenschaftler Dr. Daniel Große und Muhammad Hassan mit Best Paper Award für innovativen Ansatz in der Verifikationsmethodik ausgezeichnet
Thursday, 18 Oct 2018Zusammenarbeit intensivieren, KI-Forschung stärken – DFKI und oberösterreichische Forschungsleitgesellschaft unterzeichnen Memorandum of Understanding
Monday, 1 Oct 2018KI-Staging: DFKI und ePhilos führen erfolgreiche Entwicklung von intelligenten Suchmaschinen fort