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
Tuesday, 5 Apr 2011Third European title in robot soccer
Friday, 25 Jun 2010Germany is world champion! DFKI and University of Bremen defend title in robot soccer
Monday, 19 Apr 2010DFKI Bremen defends European title in robot soccer
Tuesday, 13 Oct 2009DFKI presented component of safety for autonomous mobile service robots (SAMS)
Monday, 6 Jul 2009Bremen is the world champion in robot soccer