A secure and reliable bootstrap architecture

No abstract is available for this paper.

• Publication year

  1997

• Venue

  Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097)

• Publication date

  1997-05-04

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/SECPRI.1997.601317
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The BirliX Security Architecture

  2013cited by this paper
• Internet Security Association and Key Management Protocol (ISAKMP) Status of this Memo This document specifies an Internet standards track protocol for the

  1998cited by this paper
• Internet Security Association and Key Management Protocol (ISAKMP)

  1998cited by this paper
• A survey of active network research

  1997cited by this paper
• HMAC: Keyed-Hashing for Message Authentication

  1997cited by this paper
• Domain Name System Security Extensions

  1997cited by this paper
• Checking for Race Conditions in File Accesses

  1996cited by this paper
• Decentralized trust management

  1996cited by this paper
• Implementation of IPv6 in 4.4 BSD

  1996cited by this paper
• Designing programs that check their work

  1995cited by this paper
• BITS: a smartcard protected operating system

  1994cited by this paper
• The operating system kernel as a secure programmable machine

  1994cited by this paper
• Using Secure Coprocessors

  1994cited by this paper
• Authentication and authenticated key exchanges

  1992cited by this paper
• Authentication in distributed systems

  1992cited by this paper
• Dyad : a system for using physically secure coprocessors

  1991cited by this paper
• Defending systems against viruses through cryptographic authentication

  1989cited by this paper
• Designing programs that check their work

  1989cited by this paper
• Access meditation in a message passing kernel

  1989cited by this paper
• A Model for the Containment of Computer Viruses

  1986cited by this paper
• Engineering a security kernel for Multics

  1975cited by this paper

• VET Your Agent: Towards Host-Independent Autonomy via Verifiable Execution Traces

  2025cites this paper
• ACE: Confidential Computing for Embedded RISC-V Systems

  2025cites this paper
• Secure Boot Architecture for Embedded Systems using Symmetric Cryptography

  2025cites this paper
• Increasing the Resilience of Secure Multiparty Computation Using Security Modules

  2025cites this paper
• An adaptive learning model for secure data sharing in decentralized environments ‎using blockchain technology

  2025cites this paper
• A cluster of patterns for trusted computing

  2025cites this paper
• Performance of Confidential Computing GPUs

  2025cites this paper
• Evaluation of the boot time in a Linux automotive environment with security constraints

  2025cites this paper
• SoK: Integrity, Attestation, and Auditing of Program Execution

  2025cites this paper
• Write-Once, Prove-Once: A Reusable Framework for Secure Boot Verification in Rocq

  2025cites this paper
• BDMFA: Forensic-enabling attestation technique for Internet of Medical Things

  2024cites this paper
• SLAPP: Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution

  2024cites this paper
• On Modeling and Detecting Trojans in Instruction Sets

  2024cites this paper
• SoK: Runtime Integrity

  2024cites this paper
• Rethinking System Audit Architectures for High Event Coverage and Synchronous Log Availability

  2023cites this paper
• Towards a Formally Verified Security Monitor for VM-based Confidential Computing

  2023cites this paper
• Confidential Computing Across Edge‐To‐Cloud for Machine Learning: A Survey Study

  2023cites this paper
• TPM based Secure Boot in Embedded Systems

  2023cites this paper
• Whole-Program Control-Flow Path Attestation

  2023cites this paper
• Dartmouth Digital Commons Dartmouth Digital Commons

  2023cites this paper
• APRON: Authenticated and Progressive System Image Renovation

  2023cites this paper
• Uprooting Trust: Learnings from an Unpatchable Hardware Root-of-Trust Vulnerability in Siemens S7-1500 PLCs

  2023cites this paper
• Spacelord: Private and Secure Smart Space Sharing

  2023cites this paper
• Firmware Integrity Protection: A Survey

  2023influential citation
• Spacelord: Private and Secure Smart Space Sharing

  2022cites this paper
• Advanced digital forensics and anti-digital forensics for IoT systems: Techniques, limitations and recommendations

  2022cites this paper
• IRQDebloat: Reducing Driver Attack Surface in Embedded Devices

  2022cites this paper
• A Fault and Intrusion Tolerance Framework for Containerized Environments: A Specification-Based Error Detection Approach

  2022cites this paper
• Combining System Integrity Verification with Identity and Access Management

  2022cites this paper
• Verification of Hardware and Software with Fuzzing and Proofs

  2022cites this paper
• A SURVEY ON SECURITY CHALLENGES IN INDUSTRIAL IOT 4.0

  2021cites this paper
• Clone-Resistant Secured Booting Based on Unknown Hashing Created in Self-Reconfigurable Platform

  2021cites this paper
• Userspace Software Integrity Measurement

  2021cites this paper
• Development of a Methodology for Providing Hardware Protection of a Computational Algorithm Based on a Local Distributed Network

  2021cites this paper
• RESERVE: Remote Attestation of Intermittent IoT devices

  2021cites this paper
• Digital Forensics vs. Anti-Digital Forensics: Techniques, Limitations and Recommendations

  2021cites this paper
• What’s in your toolbox?

  2021influential citation
• CARE: Lightweight Attack Resilient Secure Boot Architecture with Onboard Recovery for RISC-V based SOC

  2021cites this paper
• SecDeep: Secure and Performant On-device Deep Learning Inference Framework for Mobile and IoT Devices

  2021cites this paper
• SOTPM: Software One-Time Programmable Memory to Protect Shared Memory on ARM Trustzone

  2021cites this paper
• A privacy-preserving approach to streaming eye-tracking data

  2021cites this paper
• Chapter 11 Measured Principals and Gating Functions

  2021cites this paper
• An Overview of Hardware Security and Trust: Threats, Countermeasures, and Design Tools

  2021cites this paper
• Aggregatable Remote Attestation for IoT

  2021cites this paper
• A Survey of Remote Attestation in Internet of Things: Attacks, Countermeasures, and Prospects

  2021cites this paper
• Understanding and defending against the security threats on mobile and IoT devices

  2021cites this paper
• DICE*: A Formally Verified Implementation of DICE Measured Boot

  2021cites this paper
• Cyber Security Using Machine Learning: Techniques and Business Applications

  2021cites this paper
• Implementation of a System for Protecting a Computational Algorithm Using a Local Network of Personal Computers

  2021cites this paper
• Driverless vehicle security: Challenges and future research opportunities

  2020cites this paper
• Defense in Depth of Resource-Constrained Devices

  2020cites this paper
• Retrofitting the Partially Privileged Mode for TEE Communication Channel Protection

  2020cites this paper
• IoT Device Attestation

  2020cites this paper
• Enhancing Trust in Devices and Transactions of the Internet of Things

  2020cites this paper
• SRACARE: Secure Remote Attestation with Code Authentication and Resilience Engine

  2020cites this paper
• Chapter 11 Measured Principals and Gating Functions

  2020cites this paper
• A11 Your PLCs Belong to Me: ICS Ransomware Is Realistic

  2020cites this paper
• Generalized Analysis of Network Topology of Computing Systems By Possible Level of Protecting Of Calculating Algorithms

  2020cites this paper
• Enclave Computing Paradigm: Hardware-assisted Security Architectures & Applications

  2020cites this paper
• Stealthy Information Leakage Through Peripheral Exploitation in Modern Embedded Systems

  2020cites this paper
• Subverting Linux' integrity measurement architecture

  2020cites this paper
• Making Data Storage Efficient in the Era of Cloud Computing

  2020cites this paper
• SARA: Secure Asynchronous Remote Attestation for IoT Systems

  2020cites this paper
• Making Distributed Mobile Applications SAFE: Enforcing User Privacy Policies on Untrusted Applications with Secure Application Flow Enforcement

  2020cites this paper
• Design and Implementation of Hardware-Based Remote Attestation for a Secure Internet of Things

  2020cites this paper
• SelMon: reinforcing mobile device security with self-protected trust anchor

  2020cites this paper
• Building Trust in Container Environment

  2019cites this paper
• Towards Verifiably Secure Systems-on-Chip Platforms

  2019cites this paper
• Analyse de vulnérabilité des systèmes embarqués face aux attaques physiques. (Vulnerability analysis of embedded systems against physical attacks)

  2019cites this paper
• BARRETT BlockchAin Regulated REmote aTTestation

  2019cites this paper
• LED Alert: Supply Chain Threats for Stealthy Data Exfiltration in Industrial Control Systems

  2019cites this paper
• Leveraging Logical and Physical Separation for Mobile Security

  2019cites this paper
• Chasing Minimal Inductive Validity Cores in Hardware Model Checking

  2019cites this paper
• Ensuring the Safe and Secure Operation of Electronic Control Units in Road Vehicles

  2019cites this paper
• Defeating Cisco Trust Anchor: A Case-Study of Recent Advancements in Direct FPGA Bitstream Manipulation

  2019cites this paper
• Ginseng: Keeping Secrets in Registers When You Distrust the Operating System

  2019cites this paper
• Dominance as a New Trusted Computing Primitive for the Internet of Things

  2019cites this paper
• Performance of Secure Boot in Embedded Systems

  2019cites this paper
• S<inline-formula><tex-math notation="LaTeX">$\mu$</tex-math><alternatives><mml:math><mml:mi>μ</mml:mi></mml:math><inline-graphic xlink:href="ammar-ieq1-2928541.gif"/></alternatives></inline-formula>V—The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet o

  2019cites this paper
• System Architectures for Data Confidentiality and Frameworks for Main Memory Extraction

  2019cites this paper
• Verification of Authenticated Firmware Loaders

  2019cites this paper
• Securing unikernels in cloud infrastructures

  2019cites this paper
• Technical Report: A Toolkit for Runtime Detection of Userspace Implants

  2019cites this paper
• A Novel FPGA Architecture and Protocol for the Self-attestation of Configurable Hardware

  2019cites this paper
• A Security Architecture for RISC-V based IoT Devices

  2019cites this paper
• Lightweight Secure-Boot Architecture for RISC-V System-on-Chip

  2019cites this paper
• Securing a communication channel for the trusted execution environment

  2019cites this paper
• DOMtegrity: ensuring web page integrity against malicious browser extensions

  2019cites this paper
• Scanclave: Verifying Application Runtime Integrity in Untrusted Environments

  2019cites this paper
• Secure Multiparty Computation and Trusted Hardware: Examining Adoption Challenges and Opportunities

  2019cites this paper
• US-AID: Unattended Scalable Attestation of IoT Devices

  2018cites this paper
• OEI: Operation Execution Integrity for Embedded Devices

  2018cites this paper
• New advances in tamper evident technologies

  2018cites this paper
• Open Platform Systems Under Scrutiny: A Cybersecurity Analysis of the Device Tree

  2018cites this paper
• Secure Bootstrapping Using the Trusted Platform Module

  2018cites this paper
• Device attestation: Past, present, and future

  2018cites this paper
• AID : Autonomous Attestation of IoT Devices

  2018cites this paper
• PrivateZone: Providing a Private Execution Environment Using ARM TrustZone

  2018cites this paper
• Designing Safe and Secure Industrial Control Systems: A Tutorial Review

  2018cites this paper
• OAT: Attesting Operation Integrity of Embedded Devices

  2018cites this paper