Ivan Oliveira Nunes

◀ ▶ joint publications with Sashidhar Jakkamsetti

> Home > Persons > Ivan Oliveira Nunes

Publications

2024
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-04308
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-04308
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. CoRR abs/2401.04308 (2024)
2023
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/NunesHJRT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/NunesHJRT23
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. ICCAD 2023: 1-9
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-11921
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-11921
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
PARseL: Towards a Verified Root-of-Trust over seL4. CoRR abs/2308.11921 (2023)
2022
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/NunesJKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/NunesJKT22
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim, Gene Tsudik:
CASU: Compromise Avoidance via Secure Update for Low-End Embedded Systems. ICCAD 2022: 146:1-146:9
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/NunesHJT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/NunesHJT22
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Gene Tsudik:
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA. SP 2022: 2413-2429
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-02963
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-02963
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Gene Tsudik:
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA. CoRR abs/2205.02963 (2022)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-00813
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-00813
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim, Gene Tsudik:
CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems. CoRR abs/2209.00813 (2022)
2021
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/NunesJRT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/NunesJRT21
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
On the TOCTOU Problem in Remote Attestation. CCS 2021: 2921-2936
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/NunesJT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/NunesJT21
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik:
DIALED: Data Integrity Attestation for Low-end Embedded Devices. DAC 2021: 313-318
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/date/NunesJT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/NunesJT21
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik:
Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution. DATE 2021: 641-646
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-12928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-12928
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik:
DIALED: Data Integrity Attestation for Low-end Embedded Devices. CoRR abs/2103.12928 (2021)
2020
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-03873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-03873
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
On the TOCTOU Problem in Remote Attestation. CoRR abs/2005.03873 (2020)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-07400
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-07400
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik:
Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution. CoRR abs/2011.07400 (2020)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.