( en | de | ru )

 

Disambiguierung von "Vizel, Yakir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Information-Flow Verification Under Speculative Execution.

, , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 499-514. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Vizel, Yakir
Eine Person hinzufügen mit dem Namen Vizel, Yakir
 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic and Incremental Repair for Speculative Information Leaks., , und . CoRR, (2023)SAT-based model checking using interpolation and IC3.. Technion - Israel Institute of Technology, Israel, (2014)Solving Constraints over Bit-Vectors with SAT-based Model Checking., , und . SMT, Volume 1889 von CEUR Workshop Proceedings, Seite 101-107. CEUR-WS.org, (2017)Lazy abstraction and SAT-based reachability in hardware model checking., , und . FMCAD, Seite 173-181. IEEE, (2012)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , und . ACM Trans. Design Autom. Electr. Syst., 24 (1): 10:1-10:24 (2019)Fast Interpolating BMC., , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 641-657. Springer, (2015)IC3 with Internal Signals., , , und . FMCAD, Seite 63-71. IEEE, (2021)Template-based Synthesis of Instruction-Level Abstractions for SoC Verification., , , und . FMCAD, Seite 160-167. IEEE, (2015)Bounded Model Checking for LLVM., , , , , und . FMCAD, Seite 214-224. IEEE, (2022)Efficient Information-Flow Verification Under Speculative Execution., , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 499-514. Springer, (2019)