VP-based DIFT for Embedded Binaries: A RISC-V Case Study

@inproceedings{pub11509,
    author = {

Pieper, Pascal
 and 

Herdt, Vladimir
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {VP-based DIFT for Embedded Binaries: A RISC-V Case Study},
    booktitle = {24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2021), March 18-19, München/Virtual, Germany},
    year = {2021}
}