يعرض 1 - 20 نتائج من 71 نتيجة بحث عن '"Nunes, Ivan De Oliveira"', وقت الاستعلام: 0.74s تنقيح النتائج
  1. 1
    Report
    On the Verification of Control Flow Attestation Evidence

    المؤلفون: Caulfield, Adam, Rattanavipanon, Norrathep, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2411.10855

    View record in Arxiv

    أضف إلى المفضلة
  2. 2
    Report
    TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems

    المؤلفون: Caulfield, Adam, Neto, Antonio Joia, Rattanavipanon, Norrathep, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2409.19125

    View record in Arxiv

    أضف إلى المفضلة
  3. 3
    Report
    SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation

    المؤلفون: Caulfield, Adam, Tyler, Liam, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2409.18403

    View record in Arxiv

    أضف إلى المفضلة
  4. 4
    Report
    SoK: Runtime Integrity

    المؤلفون: Ammar, Mahmoud, Caulfield, Adam, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2408.10200

    View record in Arxiv

    أضف إلى المفضلة
  5. 5
    Report
    Towards Browser Controls to Protect Cookies from Malicious Extensions

    المؤلفون: Tyler, Liam, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2405.06830

    View record in Arxiv

    أضف إلى المفضلة
  6. 6
    Report
    Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution

    المؤلفون: Rattanavipanon, Norrathep, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2404.06721

    View record in Arxiv

    أضف إلى المفضلة
  7. 7
    Report
    Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices

    المؤلفون: Nunes, Ivan De Oliveira, Jakkamsetti, Sashidhar, Rattanavipanon, Norrathep, Tsudik, Gene

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2401.04308

    View record in Arxiv

    أضف إلى المفضلة
  8. 8
    Report
    UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices

    المؤلفون: Tyler, Liam, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2312.02348

    View record in Arxiv

    أضف إلى المفضلة
  9. 9
    Report
    DiCA: A Hardware-Software Co-Design for Differential Checkpointing in Intermittently Powered Devices

    المؤلفون: Neto, Antonio Joia, Caulfield, Adam, Alvares, Chistabelle, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/2308.12819

    View record in Arxiv

    أضف إلى المفضلة
  10. 10
    Report
    PARseL: Towards a Verified Root-of-Trust over seL4

    المؤلفون: Nunes, Ivan De Oliveira, Hwang, Seoyeon, Jakkamsetti, Sashidhar, Rattanavipanon, Norrathep, Tsudik, Gene

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2308.11921

    View record in Arxiv

    أضف إلى المفضلة
  11. 11
    Report
    ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation

    المؤلفون: Caulfield, Adam, Rattanavipanon, Norrathep, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2303.16282

    View record in Arxiv

    أضف إلى المفضلة
  12. 12
    Report
    ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations

    المؤلفون: Neto, Antonio Joia, Nunes, Ivan de Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2303.03561

    View record in Arxiv

    أضف إلى المفضلة
  13. 13
    Report
    CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems

    المؤلفون: Nunes, Ivan De Oliveira, Jakkamsetti, Sashidhar, Kim, Youngil, Tsudik, Gene

    مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/2209.00813

    View record in Arxiv

    أضف إلى المفضلة
  14. 14
    Report
    ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems

    المؤلفون: Caulfield, Adam, Rattanavipanon, Norrathep, Nunes, Ivan De Oliveira

    مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/2206.02894

    View record in Arxiv

    أضف إلى المفضلة
  15. 15
    Report
    Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA

    المؤلفون: Nunes, Ivan De Oliveira, Hwang, Seoyeon, Jakkamsetti, Sashidhar, Tsudik, Gene

    مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/2205.02963

    View record in Arxiv

    أضف إلى المفضلة
  16. 16
    Report
    DIALED: Data Integrity Attestation for Low-end Embedded Devices

    المؤلفون: Nunes, Ivan De Oliveira, Jakkamsetti, Sashidhar, Tsudik, Gene

    مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/2103.12928

    View record in Arxiv

    أضف إلى المفضلة
  17. 17
    Report
    GAROTA: Generalized Active Root-Of-Trust Architecture

    المؤلفون: Aliaj, Esmerald, Nunes, Ivan De Oliveira, Tsudik, Gene

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2102.07014

    View record in Arxiv

    أضف إلى المفضلة
  18. 18
    Report
    Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution

    المؤلفون: Nunes, Ivan De Oliveira, Jakkamsetti, Sashidhar, Tsudik, Gene

    مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/2011.07400

    View record in Arxiv

    أضف إلى المفضلة
  19. 19
    Report
    On the Root of Trust Identification Problem

    المؤلفون: Nunes, Ivan De Oliveira, Ding, Xuhua, Tsudik, Gene

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2010.13858

    View record in Arxiv

    أضف إلى المفضلة
  20. 20
    Report
    On the TOCTOU Problem in Remote Attestation

    المؤلفون: Nunes, Ivan De Oliveira, Jakkamsetti, Sashidhar, Rattanavipanon, Norrathep, Tsudik, Gene

    مصطلحات موضوعية: Computer Science - Cryptography and Security

    URL الوصول: http://arxiv.org/abs/2005.03873

    View record in Arxiv

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء