Cumulative Attestation Kernels for Embedded Systems

No abstract is available for this paper.

• Publication year

  2009

• Venue

  IEEE Transactions on Smart Grid

• Publication date

  2009-09-21

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/TSG.2011.2174811
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Compact integrity-aware architectures

  2011cited by this paper
• Embedded Firmware Diversity for Smart Electric Meters

  2010cited by this paper
• Guidelines for Smart Grid Cyber Security

  2010cited by this paper
• DataGuard: Dynamic data attestation in wireless sensor networks

  2010cited by this paper
• On the Security Economics of Electricity Metering

  2010cited by this paper
• Secure Code Update for Embedded Devices via Proofs of Secure Erasure

  2010cited by this paper
• Toward trusted wireless sensor networks

  2010cited by this paper
• Operating system verification—An overview

  2009cited by this paper
• TrInc: Small Trusted Hardware for Large Distributed Systems

  2009cited by this paper
• seL4: Formal Verification of an OS Kernel

  2009cited by this paper
• seL4: formal verification of an OS kernel

  2009cited by this paper
• Return-Oriented Rootkits: Bypassing Kernel Code Integrity Protection Mechanisms

  2009cited by this paper
• On the difficulty of software-based attestation of embedded devices

  2009cited by this paper
• Trusted computing building blocks for embedded linux-based ARM trustzone platforms

  2008cited by this paper
• Cloaker: Hardware Supported Rootkit Concealment

  2008cited by this paper
• Code injection attacks on harvard-architecture devices

  2008cited by this paper
• TinyECC: A Configurable Library for Elliptic Curve Cryptography in Wireless Sensor Networks

  2008cited by this paper
• On the Deployment of Mobile Trusted Modules

  2007cited by this paper
• PriPAYD: Privacy-Friendly Pay-As-You-Drive Insurance

  2007cited by this paper
• Unified Architecture for Large-Scale Attested Metering

  2007cited by this paper
• Attested append-only memory: making adversaries stick to their word

  2007cited by this paper
• The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86)

  2007cited by this paper
• DejaView: a personal virtual computer recorder

  2007cited by this paper
• SCUBA: Secure Code Update By Attestation in sensor networks

  2006cited by this paper
• Applying protocol analysis to security device interfaces

  2006cited by this paper
• Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems

  2005cited by this paper
• Control-flow integrity

  2005cited by this paper
• Sluice: Secure Dissemination of Code Updates in Sensor Networks

  2005cited by this paper
• Design and Implementation of a TCG-based Integrity Measurement Architecture

  2004cited by this paper
• SWATT: softWare-based attestation for embedded devices

  2004cited by this paper
• The Maude LTL Model Checker

  2004cited by this paper
• SP 800-38C. Recommendation for Block Cipher Modes of Operation: the CCM Mode for Authentication and Confidentiality

  2004cited by this paper
• National voluntary laboratory accreditation program: calibration laboratories; technical guide for mechanical measurements

  2004cited by this paper
• Next generation security for wireless: elliptic curve cryptography

  2003cited by this paper
• Terra: a virtual machine-based platform for trusted computing

  2003cited by this paper
• Critical points and transitions in an electric power transmission model for cascading failure blackouts.

  2002cited by this paper
• Model checking fault tolerant systems

  2002cited by this paper
• Dynamic Pricing, Advanced Metering, and Demand Response in Electricity Markets

  2002cited by this paper
• ReVirt: enabling intrusion analysis through virtual-machine logging and replay

  2002cited by this paper
• Electromagnetic Analysis: Concrete Results

  2001cited by this paper
• Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator

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

  1997cited by this paper
• Forward Integrity For Secure Audit Logs

  1997cited by this paper
• FUNCTIONAL AND DESIGN CONSIDERATIONS FOR AN INTELLIGENT REMOTE TERMINAL

  1978cited by this paper

• Research on Blockchain-Enabled Smart Grid for Anti-Theft Electricity Securing Peer-to-Peer Transactions in Modern Grids

  2024cites this paper
• Protecting the Integrity of IoT Sensor Data and Firmware With A Feather-Light Blockchain Infrastructure

  2022cites this paper
• Defeat Magic with Magic: A Novel Ransomware Attack Method to Dynamically Generate Malicious Payloads Based on PLC Control Logic

  2022cites this paper
• Auditing on Smart-Grid With Dynamic Traffic Flows: An Algorithmic Approach

  2020cites this paper
• References

  2020cites this paper
• Cybersecurity for the electric power system

  2020cites this paper
• Dark Firmware: A Systematic Approach to Exploring Application Security Risks in the Presence of Untrusted Firmware

  2020cites this paper
• Hardware-Assisted Detection of Firmware Attacks in Inverter-Based Cyberphysical Microgrids

  2020cites this paper
• Towards Unclonable System Design for Resource-Constrained Applications

  2019cites this paper
• Low-Cost and Secure Firmware Obfuscation Method for Protecting Electronic Systems From Cloning

  2019cites this paper
• Smart Grid Infrastructures

  2019cites this paper
• Parallel Statistical Model Checking for Safety Verification in Smart Grids

  2018cites this paper
• IoT boot integrity measuring and reporting

  2018cites this paper
• A Survey of Physics-Based Attack Detection in Cyber-Physical Systems

  2018cites this paper
• Malware Detection for Cyber Security Enhancement in Smart Grid

  2018cites this paper
• Race to the bottom: embedded control systems binary security : an industrial control system protection approach

  2018cites this paper
• Embedded Systems Security for Cyber-Physical Systems

  2018cites this paper
• Ghost in the PLC vs GhostBuster

  2018cites this paper
• Repository Road 2 CPS priorities and recommendations for research and innovation in cyber-physical systems

  2018cites this paper
• Fingerprinting Vulnerabilities in Intelligent Electronic Device Firmware

  2018cites this paper
• Road2CPS Priorities and Recommendations for Research and Innovation in Cyber-Physical Systems

  2017cites this paper
• SMA: A System-Level Mutual Authentication for Protecting Electronic Hardware and Firmware

  2017cites this paper
• Surgeon Training in Telerobotic Surgery via a Hardware-in-the-Loop Simulator

  2017cites this paper
• A secure system architecture for measuring instruments under legal control

  2017cites this paper
• Smart Meter Data Privacy: A Survey

  2017cites this paper
• Malicious Firmware Detection with Hardware Performance Counters

  2016cites this paper
• Safety-critical cyber-physical attacks: analysis, detection, and mitigation

  2016cites this paper
• Preventive Maintenance for Advanced Metering Infrastructure Against Malware Propagation

  2016cites this paper
• Letter from the Editor

  2016cites this paper
• Thingtegrity: A Scalable Trusted Computing Architecture for the Internet of Things

  2016cites this paper
• Ghost in the PLC: Designing an Undetectable Programmable Logic Controller Rootkit via Pin Control Attack

  2016cites this paper
• Survey and New Directions for Physics-Based Attack Detection in Control Systems

  2016cites this paper
• A survey on security issues in smart grids

  2016cites this paper
• Ghost in the PLC: stealth on-the-fly manipulation of programmable logic controllers’ I/O

  2016cites this paper
• Towards practical information flow control and audit

  2016cites this paper
• A Secure System Architecture for Measuring Instruments in Legal Metrology

  2015cites this paper
• Towards a Low-Cost Remote Memory Attestation for the Smart Grid

  2015cites this paper
• Trust Establishment in Cooperating Cyber-Physical Systems

  2015cites this paper
• Game Theoretic Models of Electricity Theft Detection in Smart Utility Networks

  2015cites this paper
• ConFirm: Detecting firmware modifications in embedded systems using Hardware Performance Counters

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

  2015cites this paper
• Privilege-Based Remote Attestation: Towards Integrity Assurance for Lightweight Clients

  2015cites this paper
• Title Game-theoretic models of electricity theft detection in smart utility networks : Providing new capabilities with advanced metering infrastructure

  2015cites this paper
• A Secure, Intelligent Electric Vehicle Ecosystem for Safe Integration With the Smart Grid

  2015cites this paper
• Game-Theoretic Models of Electricity Theft Detection in Smart Utility Networks: Providing New Capabilities with Advanced Metering Infrastructure

  2015cites this paper
• EXTRACTION OF PICTORIAL ENERGY INFORMATION FROM CAMPUS UNMETERED BUILDINGS USING IMAGE PROCESSING TECHNIQUES

  2015cites this paper
• A framework for intrusion detection system in advanced metering infrastructure

  2014cites this paper
• Demand-aware price policy synthesis and verification services for Smart Grids

  2014cites this paper
• An intrusion detection system for smart grid neighborhood area network

  2014cites this paper
• CPS: stateful policy enforcement for control system device usage

  2013cites this paper
• DESIGN OF WI-FI INTEGRATED SOPHISTICATED METER USING EMBEDDED SYSTEM

  2013cites this paper
• Redesigning secure element access control for NFC enabled android smartphones using mobile trusted computing

  2013cites this paper
• The security and privacy implications of energy-proportional computing

  2013cites this paper
• Monitoring Advanced Metering Infrastructures with Amilyzer

  2013cites this paper
• Threat Modeling in Embedded Systems

  2013cites this paper
• A Novel Delay-Resilient Remote Memory Attestation for Smart Grid

  2013cites this paper
• Privacy-Preserving Energy Theft Detection in Smart Grids: A P2P Computing Approach

  2013cites this paper
• Smart Grid Technologies in Europe: An Overview

  2013cites this paper
• Impact of Social Behavior on Energy Theft Detection and Smart Meter User Privacy

  2013cites this paper
• A Multi-Sensor Energy Theft Detection Framework for Advanced Metering Infrastructures

  2013cites this paper
• AMIDS: A multi-sensor energy theft detection framework for advanced metering infrastructures

  2012cites this paper
• Hardware Security Device Facilitated Trusted Energy Services

  2012cites this paper
• On the Creation of Reliable Digital Evidence

  2012cites this paper
• Cyber–Physical Security of a Smart Grid Infrastructure

  2012cites this paper
• Understanding the Role of Automated Response Actions in Improving AMI Resiliency

  2012cites this paper
• Cost modeling of response actions for automated response and recovery in AMI

  2012cites this paper
• MAnagement of Security information and events in Service InFrastructures

  2012cites this paper
• Cyber–Physical System Security for the Electric Power Grid

  2012cites this paper
• Privacy-preserving energy theft detection in smart grids

  2012cites this paper
• Intrusion detection for resource-constrained embedded control systems in the power grid

  2012cites this paper
• Rewriting logic bibliography by topic: 1990-2011

  2012cites this paper
• Specification-Based Intrusion Detection for Advanced Metering Infrastructures

  2011cites this paper
• Compact integrity-aware architectures

  2011influential citation
• Interoperable device identification in Smart-Grid environments

  2011cites this paper
• Reliable telemetry in white spaces using remote attestation

  2011cites this paper
• Autoscopy Jr.: Intrusion Detection for Embedded Control Systems

  2011influential citation
• A framework for live forensics

  2011cites this paper
• Autoscopy Jr.: Intrusion Detection for Embedded Control Systems

  2011influential citation
• Assuring robustness of radio spectrum telemetry against vandalism and exploitation

  2011cites this paper
• Lightweight Intrusion Detection for Resource-Constrained Embedded Control Systems

  2011influential citation
• A Privacy-Aware Architecture for Demand Response Systems

  2011cites this paper
• OMAP: One-Way Memory Attestation Protocol for Smart Meters

  2011influential citation
• Security Digital Evidence

  2010cites this paper
• Review and evaluation of security threats on the communication networks in the smart grid

  2010cites this paper
• Secure software attestation for military telesurgical robot systems

  2010cites this paper
• Smart-grid security issues

  2010cites this paper
• A privacy-preserving Concept for Smart Grids

  2010cites this paper
• Twenty years of rewriting logic

  2010cites this paper
• Intrusion Detection for Advanced Metering Infrastructures: Requirements and Architectural Directions

  2010cites this paper
• Security Digital Evidence

  2010cites this paper
• A user-centric privacy manager for future energy systems

  2010cites this paper
• PriPAYD: Privacy-Friendly Pay-As-You-Drive Insurance

  2007cites this paper
• Repository ISTITUZIONALE

  year unknowncites this paper