On Computational Indistinguishability and Logical Relations
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912082961629184 |
|---|---|
| author | Lago, Ugo Dal Galal, Zeinab Giusti, Giulia |
| author_facet | Lago, Ugo Dal Galal, Zeinab Giusti, Giulia |
| contents | A $λ$-calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographic constructions and adversaries for them, even when the latter are oracle-based. A notion of observational equivalence capturing computational indistinguishability and a class of approximate logical relations are then presented, showing that the latter represent a sound proof technique for the former. The work concludes with the presentation of an example of a security proof in which the encryption scheme induced by a pseudorandom function is proven secure against active adversaries in a purely equational style. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_17340 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On Computational Indistinguishability and Logical Relations Lago, Ugo Dal Galal, Zeinab Giusti, Giulia Programming Languages Cryptography and Security A $λ$-calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographic constructions and adversaries for them, even when the latter are oracle-based. A notion of observational equivalence capturing computational indistinguishability and a class of approximate logical relations are then presented, showing that the latter represent a sound proof technique for the former. The work concludes with the presentation of an example of a security proof in which the encryption scheme induced by a pseudorandom function is proven secure against active adversaries in a purely equational style. |
| title | On Computational Indistinguishability and Logical Relations |
| topic | Programming Languages Cryptography and Security |
| url | https://arxiv.org/abs/2408.17340 |