Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tarik Graba

Sophisticated Security Verification on Routing Repaired Balanced Cell-Based Dual-Rail Logic Against Side Channel Analysis

IET Information Security
Computer NetworksSoftwareInformation SystemsCommunications
2015English

Related publications

Analysis and Improvement of Dual Rail Logic as a Countermeasure Against DPA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Masking Against Side-Channel Attacks: A Formal Security Proof

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Logic-Based Technique for Formal Verification of Security Protocols

Journal of Advances in Computer Networks
2018English

Improving Side-Channel Attacks Against Pairing-Based Cryptography

Journal of Cryptographic Engineering
Computer NetworksSoftwareCommunications
2019English

Cloud Security Risk Analysis Method Based on Fuzzy Logic

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Security Policy Development: Towards a Life-Cycle and Logic-Based Verification Model

American Journal of Applied Sciences
Multidisciplinary
2008English

Side-Channel Power Analysis of Different Protection Schemes Against Fault Attacks on AES

2014English

Towards Security Limits in Side-Channel Attacks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy