Formal security proofs with minimal fuss: Implicit computational complexity at work

Saved in:
Bibliographic Details
Published in:Information and Computation Vol. 241; pp. 96 - 113
Main Authors: Nowak, David, Zhang, Yu
Format: Journal Article
Language:Japanese
Published: Elsevier BV 01.04.2015
Subjects:
[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
cryptography
lambda-calculus
probabilistic computation
safe recursion
ISSN:0890-5401
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISSN:0890-5401
DOI:10.1016/j.ic.2014.10.008