BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × USA
Collaborated with:
C.Wang P.Schaumont M.Wu C.W.0001 M.M.I.Taha
Talks about:
countermeasur (3) channel (3) attack (3) side (3) synthesi (2) softwar (2) against (2) mask (2) cryptograph (1) circuit (1)

Person: Hassan Eldib

DBLP DBLP: Eldib:Hassan

Contributed to:

CAV 20142014
DAC 20142014
TACAS 20142014
CAV (2) 20162016

Wrote 4 papers:

CAV-2014-EldibW #synthesis
Synthesis of Masking Countermeasures against Side Channel Attacks (HE, CW), pp. 114–130.
DAC-2014-EldibWTS #named #source code
QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code (HE, CW, MMIT, PS), p. 6.
TACAS-2014-EldibWS #smt #verification
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks (HE, CW, PS), pp. 62–77.
CAV-2016-EldibWW #encryption #synthesis
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits (HE, MW, CW0), pp. 343–363.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.