Ivan O. Nunes | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Gene Tsudik
23 publications
Norrathep Rattanavipanon
11 publications
Karim Eldefrawy
6 publications
Michael Steiner
4 publications

research

∙ 11/01/2018

Formally Verified Hardware/Software Co-Design for Remote Attestation

In this work, we take the first step towards formal verification of RA b...

0 Karim Eldefrawy, et al. ∙

research

∙ 04/11/2018

KRB-CCN: Lightweight Authentication & Access Control for Private Content-Centric Networks

Content-Centric Networking (CCN) is an internetworking paradigm that off...

0 Ivan O. Nunes, et al. ∙