• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 131 matches

• 2024
• 
  Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
  A Scalable Formal Verification Methodology for Data-Oblivious Hardware. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(9): 2551-2564 (2024)
• 
  Johannes Müller, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Cristiano Rodrigues, Daniel Oliveira, Mohammad Rahmani Fadiheh, Keerthikumara Devarajegowda, Sandro Pinto, Dominik Stoffel, Wolfgang Kunz:
  MCU-Wide Timing Side Channels and Their Detection. DAC 2024: 292:1-292:6
• 
  Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
  A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. DATE 2024: 1-6
• 
  Endri Kaja, Nicolas Gerlin, Bihan Zhao, Daniela Sanchez Lopera, Jad Al Halabi, Azam Sher Khan, Sebastian Prebeck, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker:
  An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods. ISQED 2024: 1-8
• 
  Lucas Deutschmann, Yazan Kazhalawi, Jonathan Seckinger, Anna Lena Duque Antón, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
  Data-Oblivious and Performant: On Designing Security-Conscious Hardware. LATS 2024: 1-6
• 
  Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
  VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL. CoRR abs/2407.18679 (2024)
• 2023
• 
  Anna Lena Duque Antón, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
  Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation. IEEE Access 11: 52695-52711 (2023)
• 
  Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz:
  An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors. IEEE Trans. Computers 72(1): 222-235 (2023)
• 
  Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Philipp Schmitz, Sayak Ray, Jason M. Fung, Christopher W. Fletcher, Dominik Stoffel, Wolfgang Kunz:
  Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL. ICCAD 2023: 1-9
• 
  Philipp Schmitz, Johannes Mueller, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz:
  UPEC-PN: Exhaustive constant time verification of low-level software using property checking. MBMV 2023: 1-8
• 
  Dino Mehmedagic, Mohammad Rahmani Fadiheh, Johannes Müller, Anna Lena Duque Antón, Dominik Stoffel, Wolfgang Kunz:
  Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees. USENIX Security Symposium 2023: 2779-2796
• 
  Dominik Stoffels, Susanne Grabl, Thomas Fischer, Marina Fiedler:
  How Explainable AI Methods Support Data-Driven Decision Making. Wirtschaftsinformatik 2023: 31
• 
  Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
  A Scalable Formal Verification Methodology for Data-Oblivious Hardware. CoRR abs/2308.07757 (2023)
• 
  Johannes Müller, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
  A New Security Threat in MCUs - SoC-wide timing side channels and how to find them. CoRR abs/2309.12925 (2023)
• 
  Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
  A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. CoRR abs/2312.06515 (2023)
• 
  Philipp Schmitz, Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Thore Tiemann, Jonah Heller, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz:
  Okapi: A Lightweight Architecture for Secure Speculation Exploiting Locality of Memory Accesses. CoRR abs/2312.08156 (2023)
• 2022
• 
  Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
  Towards a formally verified hardware root-of-trust for data-oblivious computing. DAC 2022: 727-732
• 
  Endri Kaja, Nicolas Gerlin, Monideep Bora, Keerthikumara Devarajegowda, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker:
  MetaFS: Model-driven Fault Simulation Framework. DFT 2022: 1-4
• 
  Dominik Stoffels, Stefan Faltermaier, Kim Simon Strunk, Marina Fiedler:
  Opening the Black-Box of AI: Challenging Pattern Robustness and Improving Theorizing through Explainable AI Methods. ICIS 2022
• 
  Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz:
  Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. MBMV 2022: 1-4
• 
  Lukas Steiner, Chirag Sudarshan, Matthias Jung, Dominik Stoffel, Norbert Wehn:
  A Framework for Formal Verification of DRAM Controllers. MEMSYS 2022: 6:1-6:7
• 
  Nicolas Gerlin, Endri Kaja, Monideep Bora, Keerthikumara Devarajegowda, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker:
  Design of a Tightly-Coupled RISC-V Physical Memory Protection Unit for Online Error Detection. VLSI-SoC 2022: 1-6
• 
  Endri Kaja, Nicolas Gerlin, Monideep Bora, Gabriel Rutsch, Keerthikumara Devarajegowda, Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker:
  Fast and Accurate Model-Driven FPGA-based System-Level Fault Emulation. VLSI-SoC 2022: 1-6
• 
  Stian Gerlach Sørensen, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz:
  Generation of Formal CPU Profiles for Embedded Systems. VLSI-SoC 2022: 1-6
• 
  Lukas Steiner, Chirag Sudarshan, Matthias Jung, Dominik Stoffel, Norbert Wehn:
  A Framework for Formal Verification of DRAM Controllers. CoRR abs/2209.14021 (2022)
• 2021
• 
  Bruno Schneider, Dominik Jäckle, Florian Stoffel, Alexandra Diehl, Johannes Fuchs, Daniel A. Keim:
  Integrating Data and Model Space in Ensemble Learning by Visual Analytics. IEEE Trans. Big Data 7(3): 483-496 (2021)
• 
  Johannes Müller, Mohammad Rahmani Fadiheh, Anna Lena Duque Antón, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz:
  A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level. DAC 2021: 991-996
• 
  Christian Bartsch, Stephan Wilhelm, Daniel Kästner, Dominik Stoffel, Wolfgang Kunz:
  Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation. ITC 2021: 409-418
• 
  Karthik Ganesan, Florian Lonsing, Srinivasa Shashank Nuthakki, Eshan Singh, Mohammad Rahmani Fadiheh, Wolfgang Kunz, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra:
  Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection. CoRR abs/2106.10392 (2021)
• 
  Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz:
  An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors. CoRR abs/2108.01979 (2021)

skipping 101 more matches