VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL von Duque Antón, Anna Lena, Müller, Johannes, Schmitz, Philipp, Jauch, Tobias, Wezel, Alex, Deutschmann, Lucas, Mohammad Rahmani Fadiheh, Stoffel, Dominik, Kunz, Wolfgang

Volltext

MCU-Wide Timing Side Channels and Their Detection von Müller, Johannes, Duque Antón, Anna Lena, Deutschmann, Lucas, Mehmedagić, Dino, Rodrigues, Cristiano, Oliveira, Daniel, Devarajegowda, Keerthikumara, Mohammad Rahmani Fadiheh, Pinto, Sandro, Stoffel, Dominik, Kunz, Wolfgang

Volltext

A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators von Antón, Anna Lena Duque, Müller, Johannes, Deutschmann, Lucas, Fadiheh, Mohammad Rahmani, Stoffel, Dominik, Kunz, Wolfgang

Volltext bestellen

A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators von Duque Antón, Anna Lena, Müller, Johannes, Deutschmann, Lucas, Mohammad Rahmani Fadiheh, Stoffel, Dominik, Kunz, Wolfgang

Volltext