BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Zhang F.Song C.W.0001
Talks about:
countermeasur (1) softwar (1) channel (1) against (1) attack (1) verif (1) refin (1) infer (1) side (1) base (1)

Person: Pengfei Gao

DBLP DBLP: Gao:Pengfei

Contributed to:

CAV (2) 20182018

Wrote 1 papers:

CAV-2018-ZhangGSW #named #verification
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks (JZ, PG, FS, CW0), pp. 157–177.

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.