Self-composition by symbolic execution

DOI10.4230/OASICS.ICCSW.2013.95MaRDI QIDQ5398107zbMATH OpenOpenAlexFDO

Authors Quoc-Sang Phan

Publication date 26 February 2014

Full work available at URL https://dblp.uni-trier.de/db/conf/iccsw/iccsw2013.html#Phan13

zbMATH Keywords

information flowsatisfiability modulo theoriessymbolic execution

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Secure information flow by self-composition
• Lazy self-composition for security verification
• Proving concurrent noninterference
• Static Analysis
• Formal verification of language-based concurrent noninterference

Cited in

(3)

• Secure information flow by self-composition
• Lazy self-composition for security verification
• Property directed self composition

This page was built for publication: Self-composition by symbolic execution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398107)