Back to Results
First PageMeta Content
Formal methods / Electronic design automation / Logic in computer science / NP-complete problems / Constraint programming / Satisfiability Modulo Theories / Quicken Interchange Format / Java Pathfinder / Boolean satisfiability problem / Theoretical computer science / Mathematics / Applied mathematics


Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria
Add to Reading List

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

Open Document

File Size: 470,62 KB

Share Result on Facebook

City

C. Sat / New York / Washington / DC / Kyoto / Berlin / /

Company

EarlyPrunning / Murawski A. S. / Intel / /

Country

Germany / Japan / United States / United Kingdom / /

Currency

GBP / CVE / USD / /

/

Event

Product Issues / FDA Phase / /

Facility

Information Leaks Quoc-Sang Phan Pasquale Malacaria Queen Mary University of London Queen Mary University / /

IndustryTerm

anonymity protocols / search progresses / anonymity protocol / depth-first search procedure / fundamental verification algorithms / real-world applications / cryptographers protocol / polynomial time algorithm / cryptos protocol / cryptos protocols / communication protocols / model checking tool / grade protocol / realworld applications / prototype tools / search space / sqifc solutions / /

NaturalFeature

Measuring channel / /

OperatingSystem

Linux / /

Organization

National Security Agency / US government / pp. / U.S. Securities and Exchange Commission / USENIX Association / Computational Intelligence / Information Leaks Quoc-Sang Phan Pasquale Malacaria Queen Mary University / European Union / IEEE Computer Society / University of London / /

Person

Ernst / Nikos Tzevelekos / Si / J. C. Symbolic / Dino Distefano / Pasquale Malacaria / Vladimir Klebanov / /

/

Position

Prime Minister / King / /

Product

Pyle P32 Television / Chaum / bits / /

ProgrammingLanguage

Java / Java bytecode / C / ANSI C / DC / /

ProvinceOrState

Oregon / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

grade protocol / alpha / polynomial time algorithm / ANSI C / Linux / Grade protocol This protocol / P. Hybrid algorithms / anonymity protocols / analysing anonymity protocols / Java / anonymity protocol / fundamental verification algorithms / dining cryptographers protocol / SQIF algorithm / dining cryptos protocol / communication protocols / Dining cryptos protocols / /

URL

http /

SocialTag