Search

Your search keyword '"Nunes, Ivan"' showing total 9 results

Search Constraints

Start Over You searched for: Author "Nunes, Ivan" Remove constraint Author: "Nunes, Ivan" Topic fos: computer and information sciences Remove constraint Topic: fos: computer and information sciences
9 results on '"Nunes, Ivan"'

Search Results

1. ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation

2. ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations

3. CASU

4. ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems

5. GAROTA: Generalized Active Root-Of-Trust Architecture

6. Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution

7. A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise

8. Formally Verified Hardware/Software Co-Design for Remote Attestation

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

Catalog

Books, media, physical & digital resources