Pulse nav.journalClub Tendencias Explorar Preguntas Investigadores

Download the App

Join discussions, follow papers, and never miss your next session.

© Synapse Social LLC, 2026Política de privacidad

Inicio Explorar nav.journalClub Tendencias

⌘+K

January 8, 2014

Probabilistic relational verification for cryptographic implementations

Puntos clave

Los puntos clave no están disponibles para este artículo en este momento.

Resumen

International audience

Me gusta

Guardar

Compartir

Me gusta

Guardar

Compartir

Cite This Study

Barthe et al. (Wed,) studied this question.

synapsesocial.com/papers/6a154a4e79ff98d0de4e639b https://doi.org/https://doi.org/10.1145/2535838.2535847

Probabilistic relational verification for cryptographic implementations | Synapse