Compositional Synthesis of Leakage Resilient Programs (Q3304821)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compositional Synthesis of Leakage Resilient Programs |
scientific article |
Statements
Compositional Synthesis of Leakage Resilient Programs (English)
0 references
3 August 2020
0 references
compositionality property
0 references
prototype implementation
0 references
satisfying assignment
0 references
synthesis algorithm
0 references
public input
0 references
