Upload File

designing trustworthy fpga-based embedded systems

  • Home
  • Documents
  • Designing Trustworthy FPGA-Based Embedded Systems
16
Designing Trustworthy FPGA-Based Embedded Systems Ted Huffmire Naval Postgraduate School May 7, 2009

Upload: kioko

Post on 22-Feb-2016

37 views

Category:

Documents


0 download

Report

Tags:

DESCRIPTION

Designing Trustworthy FPGA-Based Embedded Systems. Ted Huffmire Naval Postgraduate School May 7, 2009. Overview. Problem Areas. Foundry Trust. Physical Attacks. Design Tools. Design Theft. System Assurance. Attacks. Trojan horse Backdoor Kill switch. Probing Sand and Scan - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Designing Trustworthy FPGA-Based Embedded Systems

Designing Trustworthy FPGA-Based Embedded Systems

Ted HuffmireNaval Postgraduate School

May 7, 2009

Page 2: Designing Trustworthy FPGA-Based Embedded Systems

Overview

FoundryTrust

PhysicalAttacks

DesignTools

DesignTheft

Problem Areas

AttacksTrojan horse

BackdoorKill switch

ProbingSand and ScanSide Channels

Data Remanence

Covert channelsSide channels

Bypass

CloningReverse engineerReadback attack

SolutionsTrusted foundries

FPGAsX-Ray InspectionSand and Scan

Tamper sensingAdding noiseDegaussing

Logical isolationTracing wiresSanitization

Continuous powerEncrypt bitstream

WatermarkingAuthentication

Future ResearchAll of supply chainLessons from S/W Red teams

Side channels

Trusted toolsVerificationLanguages

CM

High-assurancePartial reconfig

PUFs

High-assuranceCMPs

TaggingDynamic security

Reference monitorDefense in depth

User trainingSecurity usability

DoSAuthentication

Complex designs

SystemAssurance

Page 3: Designing Trustworthy FPGA-Based Embedded Systems

Reconfigurable Hardware

FPGA Chip

SDRAM (off-chip)

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

ReferenceM

onitor

Crypto Core

CPU Core

CPU Core

AES

μP

μP

Page 4: Designing Trustworthy FPGA-Based Embedded Systems

Protection Alternatives

Separation Kernels

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

app1 app3app2

kernel

Separate Processors DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

gatekeeper

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

gatekeeper

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

gatekeeper

app1app3 app2

Reconfigurable Protection

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM app1

app2

app3ReferenceMonitor

Physical Software

Spatial Temporal

Page 5: Designing Trustworthy FPGA-Based Embedded Systems

Design Flows

Page 6: Designing Trustworthy FPGA-Based Embedded Systems

Intertwined Cores

Page 7: Designing Trustworthy FPGA-Based Embedded Systems

Moats

FPGA Chip

SDRAM (off-chip)

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

ReferenceM

onitor

Crypto Core

CPU Core

CPU Core

AESAES

Page 8: Designing Trustworthy FPGA-Based Embedded Systems

Moats 1.0

Page 9: Designing Trustworthy FPGA-Based Embedded Systems

Moats 2.0

Page 10: Designing Trustworthy FPGA-Based Embedded Systems

Moats and Drawbridges

Page 11: Designing Trustworthy FPGA-Based Embedded Systems

Interconnect Tracing

FPGA Chip

SDRAM (off-chip)

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

ReferenceM

onitor

Crypto Core

CPU Core

CPU Core

AES

μP

μP

XX

Page 12: Designing Trustworthy FPGA-Based Embedded Systems

Communication Architecture

FPGA Chip

SDRAM (off-chip)

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM Arbiter/R

eference Monitor

Crypto Core

CPU Core

CPU Core

AES

μP

μP

Page 13: Designing Trustworthy FPGA-Based Embedded Systems

Memory Protection

FPGA Chip

SDRAM (off-chip)

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

DRAM

Crypto Core

CPU Core

CPU Core

AESAES

Reference M

onitor

X

XR

eference Monitor

Page 14: Designing Trustworthy FPGA-Based Embedded Systems

Policy Compiler

Page 15: Designing Trustworthy FPGA-Based Embedded Systems

SoC Application

On-Chip Peripheral Bus (OPB)

To Network

µBlaze0

AuthenticationModule

AESRS232

µBlaze1

DDRSDRAM

Page 16: Designing Trustworthy FPGA-Based Embedded Systems

Questions?

• http://faculty.nps.edu/tdhuffmi


Kintex-7 FPGA KC705 Embedded Kit - Xilinx · Kintex-7 FPGA KC705 Embedded Kit Introduction The Kintex®-7 FPGA embedded kit conveniently delivers the key components of the Xilinx®

Memory Security Management for FPGA-based Embedded system

FPGA-based Embedded System for Wind Tunnel Variable

Virtex-6 FPGA Embedded Tri-Mode Ethernet MAC · Virtex-6 FPGA Embedded Tri-Mode Ethernet MAC User Guide UG368 ... Differences between the Embedded Tri-Mode Ethernet MAC and the Soft

FPGA/Reconfigurable computing Military Embedded Systems ...pdf.cloud.opensystemsmedia.com/embedded-computing.com/42573.pdf · FPGA/Reconfigurable computing Defense-Grade Virtex-5Q

Controlled chaos - Producing trustworthy embedded systems ... · Controlled chaos - Producing trustworthy embedded systems using Agile methods Ko Dooms (Philips Applied Technologies)

Using FPGA in Embedded Devices

Power Efficient Ram Mapping Algorithm for Fpga Embedded

Implementation of Optical Flow Algorithms in FPGA ... · Implementation of Optical Flow Algorithms in FPGA Platforms with embedded CPU ... 4.3 Summary of FPGA occupation with embedded

256 SoC FPGA Embedded Development Suite User Guide · Intel® SoC FPGA Embedded Development Suite User Guide 2. ... • Golden Hardware Reference Designs ... Intel® SoC FPGA Embedded

Investor Presentation · 2019. 5. 15. · FPGA. 的應用. NeoPUF provide the bit stream protection for FPGA. Embedded wisely, Embedded widely. 12 Field Programmable Gate Array (FPGA)

Embedded FPGA Based Self Tuning Controller for Conical Tank

256 SoC FPGA Embedded Development Suite User Guide · 1. Introduction to the Intel® SoC FPGA EDS The Intel® SoC FPGA Embedded Development Suite (SoC EDS) is a comprehensive tool

Design and Analysis of Trustworthy Embedded Systems: A ... · Design and Analysis of Trustworthy Embedded Systems: A Model Driven Approach Software Technology Conference Long Beach,

FPGA Design and Implementation of Electrocardiogram Biomedical Embedded System

FPGA Self-Repair using an Organic Embedded System Architecture

FPGA Based Design & Implementation of Embedded System … · FPGA Based Design & Implementation of Embedded System for ... Keywords: A/D converter, LCD module, VHDL, ... FPGA Based

A Reconfigurable Signal Processing IC with embedded FPGA and

Trustworthy Embedded Systemsts.data61.csiro.au/publications/papers/ERTOS_09.pdf · Trustworthy Embedded Systems ... automobiles, and aeroplanes ... This ultimately leads to a trade-off

Omnidirectional Visual Obstacle Detection using Embedded FPGA · Omnidirectional Visual Obstacle Detection using Embedded FPGA Pascal Gohl 1, Dominik Honegger2, Sammy Omari , Markus

Microsoft Word - Embedded Image Segmentation on an FPGA

Dynamic Energy Management of FPGA Accelerators in Embedded ... · 39 Dynamic Energy Management of FPGA Accelerators in Embedded Systems MOHAMMAD HOSSEINABADY, University of Bristol

Kintex-7 FPGA Embedded Targeted Reference Design … · Kintex-7 FPGA Embedded Targeted Reference Design ... The KC705 Embedded Kit MicroBlaze™ Proces sor Subsystem showcases various

Power-aware RAM Processing for FPGA Embedded Memory Blocks

CNN-based Monocular Decentralized SLAM on Embedded FPGA

Embedded Linux sobre FPGA - laboratorios.fi.uba.arlaboratorios.fi.uba.ar/.../EmbeddedLinuxSobreFPGA.pdfSistemas Embebidos - Embedded Linux sobre FPGA - Pedro Ignacio Martos Arquitectura

A FPGA Embedded Web Server for Remote Monitoring and

Intel SoC FPGA Embedded Design Suite User Guide

Developing FPGA-based Embedded Controllers using Matlab/Simulink 27

FPGA-Enabled Embedded Instrumentation Platform for JTAG Test

FPL'2014 - FlexTiles Workshop - 6 - FlexTiles Embedded FPGA Accelerators

FPGA-based Realizations of Embedded Systems - PAnDA Woods.pdf · FPGA-based Realizations of Embedded Systems ... • FPGA design verification ... • High performance computational

Embedded Linux on FPGA Instruments for Control Interface ... · Title: Embedded Linux on FPGA Instruments for Control Interface and Remote Management Author

3d Emmpm Medical Image Segmentation Using an Fpga Embedded

ECE545 Lecture12 FPGA Embedded Resources - …ece.gmu.edu/.../ECE545_Lecture12_FPGA_Embedded_Resources.pdf · Design#with#VHDL# FPGA Embedded Resources . ... library ieee; use ieee.std_logic_1164.all;