E-LIB Suche - Ergebnisse für: Hadžic, Vedad

1

Quantile: Quantifying Information Leakage:

Hadžic, Vedad ; Cassiers, Gaëtan ; Primas, Robert..
IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024 (2023) 1 - p. 433-456 , 2023

Link: https://doi.org/10.46586..

2

Proving SIFA protection of masked redundant circuits:

Hadžić, Vedad ; Primas, Robert ; Bloem, Roderick
Innovations in Systems and Software Engineering. 18 (2022) 3 - p. 471-481 , 2022

Link: https://doi.org/10.1007/..

3

Power Contracts : Provably Complete Power Leakage Models..:

, In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security,

Bloem, Roderick ; Gigerl, Barbara ; Gourjon, Marc... - p. 381-395 , 2022

Link: https://dl.acm.org/doi/1..

4

FERPModels: A Certification Framework for Expansion-Based Q..:

, In: 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Hadzic, Vedad ; Bloem, Roderick ; Shukla, Ankit. - p. 80-83 , 2022

Link: https://doi.org/10.1109/..

5

Two SAT solvers for solving quantified Boolean formulas wit..:

Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad...
Formal Methods in System Design. 57 (2021) 2 - p. 157-177 , 2021

Link: https://doi.org/10.1007/..

6

Proving SIFA Protection of Masked Redundant Circuits:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Hadžić, Vedad ; Primas, Robert ; Bloem, Roderick - p. 249-265 , 2021

Link: https://doi.org/10.1007/..

7

Take A Way: Exploring the Security Implications of AMD's Ca..:

, In: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security,

Lipp, Moritz ; Hadžić, Vedad ; Schwarz, Michael... - p. 813-825 , 2020

Link: https://dl.acm.org/doi/1..

8

Quantile: Quantifying Information Leakage:

Hadžić, Vedad ; Cassiers, Gaëtan ; Primas, Robert..
https://tches.iacr.org/index.php/TCHES/article/view/11258/10800. , 2023

Link: https://tches.iacr.org/i..

9

CocoAlma: A Versatile Masking Verifier:

Hadžić, Vedad ; Bloem, Roderick
Conference Series: Formal Methods in Computer-Aided Design. , 2021

Link: https://hdl.handle.net/2..

10

Proving SIFA Protection of Masked Redundant Circuits:

Hadzic, Vedad ; Primas, Robert ; Bloem, Roderick
http://arxiv.org/abs/2107.01917. , 2021

Link: http://arxiv.org/abs/210..

11

Take A Way: Exploring the Security Implications of AMD's Ca..:

Lipp, Moritz ; Hadžić, Vedad ; Schwarz, Michael...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3320269.3384746. , 2020

Link: https://inria.hal.scienc..

12

Take A Way: Exploring the Security Implications of AMD's Ca..:

Lipp, Moritz ; Hadžić, Vedad ; Schwarz, Michael...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3320269.3384746. , 2020

Link: https://hal.inria.fr/hal..

13

Expansion-Based QBF Solving Without Recursion:

Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad...
http://arxiv.org/abs/1807.08964. , 2018

Link: http://arxiv.org/abs/180..

14

QBF Solving by Counterexample-guided Expansion:

Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad
http://arxiv.org/abs/1611.01553. , 2016

Link: http://arxiv.org/abs/161..

15

Quantile: Quantifying Information Leakage:

Vedad Hadžic ; Gaëtan Cassiers ; Robert Primas..
https://tches.iacr.org/index.php/TCHES/article/view/11258. , 2023

Link: https://doi.org/10.46586..