( en | de | ru )

 

Disambiguierung von "Hadzic, Vedad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations.

, , , , , und . Formal Methods Syst. Des., 57 (2): 157-177 (2021)

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.

Edin Hadzic

 

Weitere Publikationen von Autoren mit dem selben Namen

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations., , , , , und . Formal Methods Syst. Des., 57 (2): 157-177 (2021)Proving SIFA Protection of Masked Redundant Circuits., , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 249-265. Springer, (2021)COCOALMA: A Versatile Masking Verifier., und . FMCAD, Seite 1-10. IEEE, (2021)Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs., , , , und . USENIX Security Symposium, Seite 1469-1468. USENIX Association, (2021)Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults., , , , , , , , und . IACR Cryptol. ePrint Arch., (2024)Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs., , , , und . IACR Cryptol. ePrint Arch., (2020)Power Contracts: Provably Complete Power Leakage Models for Processors., , , , , und . CCS, Seite 381-395. ACM, (2022)FERPModels: A Certification Framework for Expansion-Based QBF Solving., , , und . SYNASC, Seite 80-83. IEEE, (2022)Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors., , , , , und . AsiaCCS, Seite 813-825. ACM, (2020)