Guilherme Rito

Revisiting (R)CCA Security and Replay Protection

Ueli Maurer, Christian Badertscher, Christopher Portmann, 2020, IACR Cryptol. ePrint Arch..

Scheduling computations with provably low synchronization overheads pdf

Hervé Paulino, Guilherme Rito, Hervé Paulino, 2018, J. Sched..

On the analysis of scheduling algorithms for structured parallel computations pdf

Hervé Paulino, Guilherme Rito, Hervé Paulino, 2018, ArXiv.

Giving an Adversary Guarantees (Or: How to Model Designated Verifier Signatures in a Composable Framework)

Ueli Maurer, Christopher Portmann, Guilherme Rito, 2021, IACR Cryptol. ePrint Arch..