{"publication_identifier":{"isbn":["978-3-8007-4945-4"]},"department":[{"_id":"58"}],"title":"Analyse sicherheitskritischer Software für RISC-V Prozessoren","_id":"24060","citation":{"chicago":"Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “Analyse Sicherheitskritischer Software Für RISC-V Prozessoren.” In <i>MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019)</i>. Kaiserslautern, DE, 2019.","short":"P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019), Kaiserslautern, DE, 2019.","bibtex":"@inproceedings{Adelt_Koppelmann_Müller_Scheytt_2019, place={Kaiserslautern, DE}, title={Analyse sicherheitskritischer Software für RISC-V Prozessoren}, booktitle={MBMV 2019-22.Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2019)}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt, Christoph}, year={2019} }","apa":"Adelt, P., Koppelmann, B., Müller, W., &#38; Scheytt, C. (2019). Analyse sicherheitskritischer Software für RISC-V Prozessoren. <i>MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019)</i>.","ama":"Adelt P, Koppelmann B, Müller W, Scheytt C. Analyse sicherheitskritischer Software für RISC-V Prozessoren. In: <i>MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019)</i>. ; 2019.","mla":"Adelt, Peer, et al. “Analyse Sicherheitskritischer Software Für RISC-V Prozessoren.” <i>MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019)</i>, 2019.","ieee":"P. Adelt, B. Koppelmann, W. Müller, and C. Scheytt, “Analyse sicherheitskritischer Software für RISC-V Prozessoren,” 2019."},"related_material":{"link":[{"relation":"confirmation","url":"https://www.vde-verlag.de/proceedings-de/454945007.html"}]},"user_id":"15931","date_created":"2021-09-09T12:26:16Z","status":"public","place":"Kaiserslautern, DE","year":"2019","abstract":[{"lang":"ger","text":"In diesem Artikel stellen wir eine Methode zur nicht-invasiven dynamischen Speicher- und IO-Analyse mit QEMU für sicherheitskritische eingebettete Software für die RISC-V Befehlssatzarchitektur vor. Die Implementierung basiert auf einer Erweiterung des Tiny Code Generator (TCG) des quelloffenen CPU-Emulators QEMU um die dynamische Identifikation von Zugriffen auf Datenspeicher sowie auf an die CPU angeschlossene IO-Geräte. Wir demonstrieren die Funktionalität der Methode anhand eines Versuchsaufbaus, bei dem eine Schließsystemkontrolle mittels serieller UART-Schnittstelle an einen RISC-V-Prozessor angebunden ist. Dieses Szenario zeigt, dass ein unberechtigter Zugriff auf die UART-Schnittstelle frühzeitig aufgedeckt und ein Angriff auf eine Zugangskontrolle somit endeckt werden kann. "}],"author":[{"full_name":"Adelt, Peer","last_name":"Adelt","id":"5603","first_name":"Peer"},{"first_name":"Bastian","full_name":"Koppelmann, Bastian","last_name":"Koppelmann","id":"25260"},{"first_name":"Wolfgang","id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang"},{"last_name":"Scheytt","id":"37144","full_name":"Scheytt, Christoph","first_name":"Christoph"}],"publication":"MBMV 2019-22.Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2019)","conference":{"start_date":"2019.04.08","end_date":"2019.04.08"},"type":"conference","date_updated":"2022-01-06T06:56:06Z","language":[{"iso":"eng"}]}