Date: 2015-04-10 18:09:41

Systems engineering

Reliability engineering

Algorithm

Information flow

Side channel attack

Systems science

Applied mathematics

Abstract interpretation

Symbolic execution

Quicken Interchange Format

Quantifying Information Leaks using Reliability Analysis † ˘ areanu ˘ Quoc-Sang Phan∗ Pasquale Malacaria∗ Corina S. Pas Marcelo d’Amorim‡

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 239,94 KB