Manuel Barbosa | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Michael Backes
44 publications
Carmela Troncoso
39 publications
Gilles Barthe
30 publications
Reuben Binns
24 publications
Srdjan Capkun
21 publications
David Basin
18 publications
Apostolos Pyrgelis
16 publications
Jean-Pierre Hubaux
15 publications
Marcel Salathe
14 publications
Nils Ole Tippenhauer
13 publications
Ciro Cattuto
13 publications

research

∙ 10/20/2022

Execution Time Program Verification With Tight Bounds

This paper presents a proof system for reasoning about execution time bo...

0 Ana Carolina Silva, et al. ∙

research

∙ 04/12/2021

Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head

MPC-in-the-Head (MitH) is a general framework that allows constructing e...

0 José Carlos Bacelar Almeida, et al. ∙

research

∙ 05/25/2020

Decentralized Privacy-Preserving Proximity Tracing

This document describes and analyzes a system for secure and privacy-pre...

0 Carmela Troncoso, et al. ∙

research

∙ 04/09/2019

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

We develop a new approach for building cryptographic implementations. Ou...

0 José Bacelar Almeida, et al. ∙