Building a high-performance, programmable secure coprocessor

No abstract is available for this paper.

• Publication year

  1999

• Venue

  Comput. Networks

• Publication date

  1999-04-23

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/S1389-1286(98)00019-X
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• National Institute of Standards and Technologyにおける超伝導研究及び生活

  2001cited by this paper
• Security Requirements for Cryptographic Modules

  1999cited by this paper
• Using a High-Performance, Programmable Secure Coprocessor

  1998cited by this paper
• Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors

  1998cited by this paper
• A secure and reliable bootstrap architecture

  1997cited by this paper
• Low Cost Attacks on Tamper Resistant Devices

  1997cited by this paper
• An Industrial Strength Theorem Prover for a Logic Based on Common Lisp

  1997cited by this paper
• Misplaced trust: Kerberos 4 session keys

  1997cited by this paper
• Hidden Collisions on DSS

  1996cited by this paper
• Secure coprocessing applications and research issues

  1996cited by this paper
• Tamper resistance: a cautionary note

  1996cited by this paper
• On the Importance of Checking Computations

  1996cited by this paper
• Smart cards in hostile environments

  1996cited by this paper
• The Dark Side of "Black-Box" Cryptography, or: Should We Trust Capstone?

  1996cited by this paper
• Secure Coprocessors in Electronic Commerce Applications

  1995influential reference
• Securing the World Wide Web: Smart Tokens and Their Implementation

  1995cited by this paper
• Using Secure Coprocessors

  1994influential reference
• BITS: a smartcard protected operating system

  1994cited by this paper
• Cryptography: It''s Not Just For Electronic Mail Anymore

  1993cited by this paper
• Transaction Security System

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

  1991cited by this paper
• An evaluation system for the physical security of computing systems

  1990cited by this paper
• Physical Security for the μABYSS System

  1987cited by this paper
• ABYSS: ATrusted Architecture for Software Protection

  1987cited by this paper
• Design Concepts for Tamper Responding Systems

  1983cited by this paper
• A lattice model of secure information flow

  1976cited by this paper
• Secure computer systems: mathematical foundations and model

  1973cited by this paper
• A hardware architecture for implementing protection rings

  1972cited by this paper

• PUF-Based Tamper Protection for Global Satellite Navigation

  2025cites this paper
• A Holistic Analysis of Internet of Things (IoT) Security: Principles, Practices, and New Perspectives

  2024cites this paper
• ShieldCXL: A Practical Obliviousness Support with Sealed CXL Memory

  2024cites this paper
• Caches and Merkle Trees for E(cid:14)cient Memory Authentication

  2023cites this paper
• Dartmouth Digital Commons Dartmouth Digital Commons

  2023influential citation
• Privacy-Preserving and Publicly Verifiable Matrix Multiplication

  2023cites this paper
• Dartmouth Digital Commons Dartmouth Digital Commons

  2023influential citation
• Dartmouth Digital Commons Dartmouth Digital Commons

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

  2023cites this paper
• RISC-V processor-based automatic access floating-point computing accelerated dataflow co-processor

  2022cites this paper
• Tech Report: Inerial HSMs Thwart Advanced Physical Attacks

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

  2021cites this paper
• Can't Touch This: Inertial HSMs Thwart Advanced Physical Attacks

  2021cites this paper
• Addressing Security Issues of the Internet of Things Using Physically Unclonable Functions

  2021cites this paper
• Co-Utile Peer-to-Peer Decentralized Computing

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

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

  2020cites this paper
• Secure Hardware Enhanced MyProxy: A Ph.D. Thesis Proposal Secure Hardware Enhanced MyProxy: A Ph.D. Thesis Proposal

  2020cites this paper
• A Bus Authentication and Anti-Probing Architecture Extending Hardware Trusted Computing Base Off CPU Chips and Beyond

  2020cites this paper
• Dartmouth Digital Commons Dartmouth Digital Commons

  2020cites this paper
• A STUDY PAPER ON SECURITY RELATED ISSUE BEFORE ADOPTING CLOUD COMPUTING SERVICE MODEL

  2019cites this paper
• Energy-efficient protocol and hardware for security of implantable devices

  2019cites this paper
• Fog Mediated Security in the Internet of Things

  2019cites this paper
• Primitives towards verifiable computation: a survey

  2018cites this paper
• Privacy-Preserving Certification of Sustainability Metrics

  2018cites this paper
• ISA-Based Trusted Network Functions And Server Applications In The Untrusted Cloud

  2018cites this paper
• VERIFIABLE COMPUTATIONS: APPROACHES AND PERSPECTIVES

  2018cites this paper
• Data Confidentiality and Integrity Preserving Outsourcing Algorithm for System of Linear Equation to a Malicious Cloud Server

  2018cites this paper
• Hardware Security Implications of Reliability, Remanence, and Recovery in Embedded Memory

  2018cites this paper
• A Review on Security Issue in Security Model of Cloud Computing Environment

  2018cites this paper
• Security Down to the Hardware Level

  2017cites this paper
• SGXIO: Generic Trusted I/O Path for Intel SGX

  2017cites this paper
• Caches and Merkle Trees for E(cid:14)cient Memory Authentication

  2017cites this paper
• Privacy preserving, verifiable and efficient outsourcing algorithm for regression analysis to a malicious cloud

  2017cites this paper
• Privacy of the Client Protection by using Trusted Database Security System

  2017cites this paper
• Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel SGX Architecture

  2017cites this paper
• Privacy preserving, verifiable and efficient outsourcing algorithm for matrix multiplication to a malicious cloud server

  2017cites this paper
• Cyber-Physical System and Internet of Things Security: An Overview

  2017cites this paper
• Secure large-scale outsourced services founded on trustworthy code executions

  2017cites this paper
• Security Enhancement of Wireless Sensor Networks Using Signal Intervals

  2017cites this paper
• Attack and Defense with Hardware-Aided Security

  2016cites this paper
• Intel SGX Explained

  2016cites this paper
• A novel architecture for secure database processing in cloud computing

  2016cites this paper
• Secure Identification of Actively Executed Code on a Generic Trusted Component

  2016cites this paper
• TEDDI: Tamper Event Detection on Distributed Cyber-Physical Systems

  2016cites this paper
• Securing cloud-based data analytics: A practical approach

  2016cites this paper
• Optimizing MPC for robust and scalable integer and floating-point arithmetic 36

  2016cites this paper
• Smart and Secure: Preserving Privacy in Untrusted Home Routers

  2016cites this paper
• Security Issues in Service Model of Cloud Computing Environment

  2016cites this paper
• Using Intel Software Guard Extensions for Efficient Two-Party Secure Function Evaluation

  2016cites this paper
• CaSE: Cache-Assisted Secure Execution on ARM Processors

  2016cites this paper
• Financial Cryptography and Data Security

  2016cites this paper
• Tenable Data Access in Untrusted Environment

  2015cites this paper
• Design and Performance Evaluation of the SCAN Secure Processor

  2015cites this paper
• Algebraic (trapdoor) one-way functions: Constructions and applications

  2015cites this paper
• Secure key management in a trusted domain on mobile devices

  2015cites this paper
• Reliability and security of implantable and wearable medical devices

  2015cites this paper
• A Theory of Integrating Tamper Evidence with Stabilization

  2015cites this paper
• Hardware-assisted malware detection for embedded systems in smart grid

  2015cites this paper
• Privacy in the Cloud

  2015cites this paper
• Study on Trusted Vitual Machine Platform Based on Cipher Card

  2015cites this paper
• Solving the grid defender's dilemma: Tamper protection for distributed cyber-physical systems

  2015cites this paper
• Privacy in a Digital, Networked World

  2015influential citation
• A Safe Update Mechanism for Smart Cards

  2015cites this paper
• Obfuscator-LLVM -- Software Protection for the Masses

  2015cites this paper
• Shielding Applications from an Untrusted Cloud with Haven

  2014influential citation
• Security in cloud computing

  2014cites this paper
• MiniBox: A Two-Way Sandbox for x86 Native Code

  2014cites this paper
• Hardware Security in the Dark

  2014cites this paper
• Tamper Event Detection on Distributed Devices in Critical Infrastructure

  2014cites this paper
• UM MIDDLEWARE PARA COMPARTILHAMENTO DE DOCUMENTOS SIGILOSOS EM NUVENS COMPUTACIONAIS

  2014cites this paper
• Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers (dissertation, updated version)

  2014influential citation
• Authentication in Insecure Environments

  2014cites this paper
• Declarative design and enforcement for secure cloud applications

  2014cites this paper
• University research in hardware security

  2014cites this paper
• Survey on Security Issues and Solutions in Cloud Computing

  2014cites this paper
• Private Outsourcing of Polynomial Functions

  2014cites this paper
• Trustworthiness of Medical Devices and Body Area Networks

  2014cites this paper
• CHERI: a RISC capability machine for practical memory safety

  2014cites this paper
• Verifiable delegation of computation on outsourced data

  2013cites this paper
• Securing Software Architectures for Trusted Processor Environments

  2013cites this paper
• High-Performance Capabilities for 1-Hop Containment of Network Attacks

  2013cites this paper
• OASIS: on achieving a sanctuary for integrity and secrecy on untrusted platforms

  2013cites this paper
• MedMon: Securing Medical Devices Through Wireless Monitoring and Anomaly Detection

  2013cites this paper
• ObliviStore: High Performance Oblivious Cloud Storage

  2013cites this paper
• Security Basics for Computer Architects

  2013cites this paper
• Energy-efficient Designs For Securing Embedded and Mobile Computing Systems

  2013cites this paper
• Emerging Frontiers in Embedded Security

  2013cites this paper
• Is Brain Emulation Dangerous?

  2013cites this paper
• Towards trustworthy medical devices and body area networks

  2013cites this paper
• Algebraic (Trapdoor) One-Way Functions and Their Applications

  2013cites this paper
• Architectures for Trusted Processor Environments

  2013cites this paper
• An Infrastructure for a Secure Cloud

  2013cites this paper
• Public Verification of Outsourced Computation of Polynomial Functions

  2013cites this paper
• Testing and evaluation of a secure integrity measurement system (SIMS) for remote systems

  2012cites this paper
• Public Key Infrastructures, Services and Applications

  2012cites this paper
• Waltzing the Bear, or: A Trusted Virtual Security Module

  2012cites this paper
• An Architecture for Secure Cloud Computing

  2012cites this paper
• The Security Issues of Cloud Computing Over Normal & IT Sector

  2012cites this paper
• Publicly verifiable delegation of large polynomials and matrix computations, with applications

  2012cites this paper