firmware

biblio

Adoption of Lamport signature scheme to implement digital signatures in IoT

Submitted by aekwall on Mon, 01/06/2020 - 10:37am

embedded systems
Lamport signature scheme
Internet of Things technology
digital communication
quantum computing
Public key
digital signatures
Generators
firmware
computer network security
authentication
Companies
pubcrawl
Resiliency
IoT devices
Internet of Things
Cryptography
Scalability

biblio

Timing Analysis for Diffie Hellman Key Exchange In U-BOOT Using Raspberry Pi

Submitted by grigby1 on Mon, 12/30/2019 - 2:18pm

telecommunication security
public key cryptography
Raspberry Pi
Raspberry-pi
Resiliency
Scalability
Secret key
security schemes
side channel attack
system-on-chip
pubcrawl
timing
Timing attack
timing attacks
timing patterns
tools
U-Boot bare metal
unsecure communication channel
word length 2048.0 bit
word length 64.0 bit
embedded systems
cryptographic
cryptographic era
Cryptographic Protocols
Cryptography
DHKE protocol
diffie hellman key exchange
Diffie Hellman Key Exchange protocol
Discrete Log Hard Problem
embedded device
brute force attacks
exponentiation
firmware
Force
GMP bignum library
Metals
modular exponentiation
networked embedded systems security
Protocols

biblio

Formal Security Verification of Concurrent Firmware in SoCs Using Instruction-Level Abstraction for Hardware*

Submitted by grigby1 on Tue, 12/17/2019 - 12:21pm

resilience
Metrics
microprocessor chips
Microprogramming
multi-threading
multithreaded program verification problem
Predictive Metrics
program verification
pubcrawl
intellectual property security
Resiliency
Secure Boot design
security of data
SoC security verification
software verification techniques
system-on-chip
Systems-on-Chip
cyber-physical systems
architecture level
bit-precise reasoning
cognition
composability
Concurrency
concurrency (computers)
concurrent firmware
cyber-physical system
Access Control
firmware
firmware-visible behavior
formal security verification
Frequency modulation
Hardware
Instruction-Level Abstraction
intellectual property blocks

biblio

Vulnerability and Protocol Association of Device Firmware in Power Grid

Submitted by grigby1 on Tue, 11/19/2019 - 3:42pm

Metrics
vulnerability information correlation
vulnerability association
security vulnerability
Safety
Resiliency
resilience
pubcrawl
Protocols
protocol association
power system security
power system control
power grids
power grid vulnerability analysis
composability
mass grid device firmware device attributes
intelligent power grid
Inspection
industrial power systems
industrial control system device firmware
industrial control equipment safety inspection
industrial control device firmware protocol vulnerabilities
industrial control
firmware preprocessing
firmware
features extraction
Control equipment

biblio

Research of Industrial Control System Device Firmware Vulnerability Mining Technology Based on Taint Analysis

Submitted by grigby1 on Thu, 05/09/2019 - 10:46am

program testing
vulnerability mining
test efficiency
taint analysis technology
taint analysis
Software
security of data
security
scalable
Scalability
Resiliency
resilience
pubcrawl
component
Microprogramming
integrated circuits
Industrial Control Systems
industrial control system device firmware vulnerability mining technology
industrial control system
industrial control
Hardware
fuzzing test
firmware
device firmware
Data mining

biblio

Concept of Smart Building Cyber-physical Systems Including Tamper Resistant Endpoints

Submitted by aekwall on Mon, 03/11/2019 - 10:37am

oAuth2.0
verification mechanism
update mechanisms
Trusted Platfrom Modules
trusted platform modules
Trusted Platform Module
Trusted Computing
TLS 1.3
tamper resistant endpoints
Software
smart buildings
smart building cyber-physical systems
security of data
secure communication channels
Resiliency
pubcrawl
composability
IT-security
IoT
Internet of Things
integrity measurement mechanisms
hardware-based security
Hardware
firmware
data integrity
cyber-physical systems
Cryptography
critical infrastructures
critical infrastructure
CPS devices
Containers
computer science

biblio

CVSSA: Cross-Architecture Vulnerability Search in Firmware Based on Support Vector Machine and Attributed Control Flow Graph

Submitted by grigby1 on Tue, 05/01/2018 - 11:38am

function level features
vulnerability function
Training
third-party code bases
SVM
suspicious functions
Support vector machines
support vector machine
Software
security of data
Resiliency
resilience
real-world firmware images
pubcrawl
Microprogramming
Metrics
ACFG
flow graphs
firmware security
firmware
feature extraction
CVSSA
cross-architecture vulnerability search methods
cross-architecture
computer architecture
Computational modeling
composability
bipartite matching
binary firmware
basic-block level features
attributed control flow graph

biblio

An Experimental Study of Four Methods for Homology Analysis of Firmware Vulnerability

Submitted by K_Hooper on Wed, 04/04/2018 - 9:59am

Libraries
vulnerability detection
vulnerabilities
tools
third-party libraries
string matching
string feature matching
security
Resiliency
public domain software
pubcrawl
power grid vulnerability analysis
normalized compression distance
Microprogramming
Metrics
Binary difference analysis
Internet of Things
Human behavior
homology analysis
fuzzy set theory
fuzz hash
firmware vulnerability
firmware
File systems
file organisation
feature extraction
embedded device
development kits
Compositionality
code reuse

biblio

Constant Time, Fixed Memory, Zero False Negative Error Logging for Low Power Wearable Devices

Submitted by grigby1 on Mon, 04/02/2018 - 12:56pm

traditional error logging algorithms
pubcrawl
Reliability
resilience
Resiliency
run-time error logging
Scalability
security
Sensor Systems
privacy
wearable computers
Wearable devices
Wearable sensors
wearables security
Wireless communication
wireless sensor networks
wireless wearable embedded devices
zero false negative error
false positive error rate
Caching Algorithm
Conferences
constant insertion time
constant memory
constant time
embedded devices
Error Logging
error logging algorithm
Body Sensors
firmware
firmware faults
fixed memory
hashing
Human behavior
Internet of Things
IoT systems
low power wearable devices

biblio

Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode

Submitted by grigby1 on Tue, 01/16/2018 - 6:35pm

BIOS Security
CFI
co-processor
firmware
Hardware-based monitoring
Human Factors
Metrics
pubcrawl
Resiliency
Scalability
SMM

« first
‹ previous
1
2
3
4
next ›
last »

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

firmware

Adoption of Lamport signature scheme to implement digital signatures in IoT

Timing Analysis for Diffie Hellman Key Exchange In U-BOOT Using Raspberry Pi

Formal Security Verification of Concurrent Firmware in SoCs Using Instruction-Level Abstraction for Hardware*

Vulnerability and Protocol Association of Device Firmware in Power Grid

Research of Industrial Control System Device Firmware Vulnerability Mining Technology Based on Taint Analysis

Concept of Smart Building Cyber-physical Systems Including Tamper Resistant Endpoints

CVSSA: Cross-Architecture Vulnerability Search in Firmware Based on Support Vector Machine and Attributed Control Flow Graph

An Experimental Study of Four Methods for Homology Analysis of Firmware Vulnerability

Constant Time, Fixed Memory, Zero False Negative Error Logging for Low Power Wearable Devices

Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode