Ivan De Oliveira Nunes

Identifiers

No identifiers captured yet.

Papers (2)

1. Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing cs.CR · 2026 · author #4
2. Formally Verified Hardware/Software Co-Design for Remote Attestation cs.CR · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Norrathep Rattanavipanon 2 shared papers
• Amarin Laohajirapan 1 shared papers
• Antonio Joia Neto 1 shared papers
• Gene Tsudik 1 shared papers
• Karim ElDefrawy 1 shared papers
• Michael Steiner 1 shared papers