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

Collaborated with:
C.W.0001 S.Guo H.Eldib
Talks about:
execut (3) symbol (2) countermeasur (1) cryptograph (1) interpret (1) adversari (1) synthesi (1) programm (1) abstract (1) control (1)

Person: Meng Wu


Contributed to:

ESEC/FSE 20172017
ESEC/FSE 20182018
CAV (2) 20162016
PLDI 20192019

Wrote 4 papers:

ESEC-FSE-2017-GuoWW #execution #logic #programmable #symbolic computation
Symbolic execution of programmable logic controller code (SG, MW, CW0), pp. 326–336.
ESEC-FSE-2018-GuoWW #detection #execution #symbolic computation
Adversarial symbolic execution for detecting concurrency-related cache timing leaks (SG, MW, CW0), pp. 377–388.
CAV-2016-EldibWW #encryption #synthesis
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits (HE, MW, CW0), pp. 343–363.
PLDI-2019-Wu0 #abstract interpretation #execution
Abstract interpretation under speculative execution (MW, CW0), pp. 802–815.

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.