( en | de | ru )

 

Disambiguierung von "Wang, Bow-Yaw"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.

, , , , , und . IACR Cryptol. ePrint Arch., (2023)

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.

Hansen Bow

Sadaat Ali Yawar

Shantaram Yawalkar

Sadaat Ali Yawar

Manssur Yawari-Baigwand

 

Weitere Publikationen von Autoren mit dem selben Namen

Complete SAT-Based Model Checking for Context-Free Processes., und . Int. J. Found. Comput. Sci., 21 (2): 115-134 (2010)"Next" Heuristic for On-the-Fly Model Checking., und . CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 98-113. Springer, (1999)Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference., , , und . TACAS, Volume 6605 von Lecture Notes in Computer Science, Seite 205-219. Springer, (2011)Verifying Network Protocol Implementations by Symbolic Refinement Checking., und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 169-181. Springer, (2001)Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates., , , , und . APLAS, Volume 6461 von Lecture Notes in Computer Science, Seite 328-343. Springer, (2010)Modular Formalization of Reactive Modules in COQ., und . ASIAN, Volume 4435 von Lecture Notes in Computer Science, Seite 105-119. Springer, (2006)A Finite Exact Representation of Register Automata Configurations., , und . INFINITY, Volume 140 von EPTCS, Seite 16-34. (2013)Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation., , , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 658-674. Springer, (2015)An Executable Sequential Specification for Spark Aggregation., , , , , und . NETYS, Volume 10299 von Lecture Notes in Computer Science, Seite 421-438. (2017)PSpec: a formal specification language for fine-grained control on distributed data analytics., , , , , und . ICSE (Companion Volume), Seite 300-302. IEEE Computer Society, (2017)