Vedad Hadzic

Publikationen

Publikationen pro Jahr 2018 2018 2021 2022 2023

• 7 Beitrag in einem Konferenzband
• 2 Artikel
• 1 Paper
• 1 Preprint

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2023

  Quantile: Quantifying Information Leakage

  Hadzic, V., Cassiers, G., Primas, R., Mangard, S. & Bloem, R., 31 Dez. 2023.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

  • Countermeasures 100%
  • Mutual Information 100%
  • Computation 100%
  • side-channel 100%
  • Computational Complexity 100%
• 2022

  FERPModels: A Certification Framework for Expansion-Based QBF Solving

  Bloem, R., Hadzic, V., Shukla, A. & Seidl, M., 2022, Proceedings - 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022. S. 80-83 4 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Datei

  • Application 100%
  • Algorithm 49%
  • Supports 49%
  • Chain 49%
  • Application Problem 49%

• Power Contracts: Provably Complete Power Leakage Models for Processors

  Bloem, R., Gigerl, B., Gourjon, M., Hadzic, V., Mangard, S. & Primas, R., 7 Nov. 2022, CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association of Computing Machinery, S. 381-395 15 S. (Proceedings of the ACM Conference on Computer and Communications Security).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Software 100%
  • Attack 66%
  • Computation 66%
  • Software Implementation 66%
  • Workflow 33%

• Proving SIFA protection of masked redundant circuits

  Hadzic, V., Primas, R. & Bloem, R., Sept. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 471-481 11 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Protection 100%
  • Attack 100%
  • Countermeasures 40%
  • Computation 40%
  • Software 20%
• 2021

  Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs

  Gigerl, B., Hadzic, V., Primas, R., Mangard, S. & Bloem, R., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, S. 1469-1486 18 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Instruction Sequence 100%
  • Evaluation Board 50%

• CocoAlma: A Versatile Masking Verifier

  Hadzic, V. & Bloem, R., 9 Juli 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (Hrsg.). S. 14-23 10 S. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • Running Program 100%

• Proving SIFA Protection of Masked Redundant Circuits

  Hadžić, V., Primas, R. & Bloem, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021. Hou, Z. & Ganesh, V. (Hrsg.). Cham: Springer, S. 249-265 16 S. (Lecture Notes in Computer Science; Band 12971).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Datei

  • Attack Resistance 100%

• Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations

  Bloem, R., Braud-Santoni, N., Hadzic, V., Seidl, M., Lonsing, F. & Egly, U., 23 Aug. 2021, in: Formal Methods in System Design. 57, 2, S. 157-177 21 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Quantifier 100%
  • Calculus 20%
  • Truth Value 20%
  • Boolean Variable 20%
• 2020

  Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors

  Lipp, M., Hadzic, V., Schwarz, M., Perais, A., Maurice, C. L. N. & Gruß, D., 5 Okt. 2020, Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020. New York, NY: Association of Computing Machinery, S. 813–825 13 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Attack 100%
  • Security Implication 100%
  • Shared Memories 40%
  • Memory Access 40%
  • Software 20%
• 2018

  Expansion-Based QBF Solving Without Recursion

  Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F. & Seidl, M., 2018, fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). Bjørner, N. & Gurfinkel, A. (Hrsg.). S. 40-49

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Expansion-Based QBF Solving Without Recursion

  Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F. & Seidl, M., 2018, (arXiv.org e-Print archive).

  Publikation: Arbeitspapier › Preprint