Back to Results
First PageMeta Content
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‡
Add to Reading List

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

Open Document

File Size: 239,94 KB

Share Result on Facebook

City

C. Sat / San Jose / /

Company

Google / /

Country

United States / Brazil / /

Currency

USD / /

/

Facility

Queen Mary University of London / Federal University of Pernambuco / /

IndustryTerm

model counting tool / software confidentiality / prototype tool / symbolic execution tool / cyber-physical systems / software reliability analysis technique / communication protocols / type systems / reliability analysis tool / /

Organization

Federal University of Pernambuco / pp. / National Aeronautics and Space Administration / Carnegie Mellon / U.S. Securities and Exchange Commission / IEEE Computer Society / University of London / /

Person

Sang Phan∗ Pasquale Malacaria / J. C. Symbolic / Pasquale Malacaria∗ Corina / Antonio Filieri / Corina S. Pas Marcelo / /

Position

driver / King / P. Abstract model / General / public observer / /

ProgrammingLanguage

Java / Java bytecode / /

Technology

Java / communication protocols / /

URL

http /

SocialTag