Formalized Information-Theoretic Proofs of Privacy Using the HOL4 Theorem-Prover

Aaron R. Coble

doi:10.1007/978-3-540-70630-4_6

by Aaron R. Coble

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

p77-98

Archived Files and Locations

application/pdf 212.8 kB
file_wssq33su7newzdtt7qm5p6sebq www.aaronandalex.com (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.cl.cam.ac.uk:80 (web)

Read Archived PDF

Archived

Type chapter
Stage

published

DOI 10.1007/978-3-540-70630-4_6

Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L: 0302-9743

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar

Catalog Record
Revision: 31c2c59b-9c52-4d6e-843a-fcb93538dbf9
API URL: JSON

Edit Metadata View History

Formalized Information-Theoretic Proofs of Privacy Using the HOL4 Theorem-Prover release_tzfue7zpirduznax6u774wfwwu

Archived Files and Locations

Formalized Information-Theoretic Proofs of Privacy Using the HOL4 Theorem-Prover `release_tzfue7zpirduznax6u774wfwwu`