Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
root of trust
biblio
Organization of the Entrusted Calculations in Crucial Objects of Informatization under Uncertainty
Submitted by grigby1 on Tue, 02/06/2018 - 1:59pm
Prototypes
trusted platform modules
Trusted Platform Module
Trusted Computing
TPM technology (Trusted Platform Module)
tpm
the prevention of activation of not declared opportunities
the entrusted domestic environment of calculations
safe calculations
root of trust
Resiliency
Registers
pubcrawl
composability
Organizations
informatization
hypervisor security
Hardware
entrusted calculations
encoding
domestic electronic base
Cryptography
crucial objects
control of complex objects under uncertainty
Computers
biblio
Design, implementation and security analysis of Hardware Trojan Threats in FPGA
Submitted by BrandonB on Thu, 04/30/2015 - 1:41pm
integrated circuits
RoT
security
denial of service
design
encryption
field programmable gate arrays
FPGA testbed
Hardware
hardware Trojan detection technique
hardware Trojan threats
Hardware Trojans
HDM
HTT detectability metric
HTT detection
ICs
timing variation
integrated logic circuits
invasive software
missed detection probability
normalized physical parameters
optimal detection threshold
power consumption
Power demand
Resiliency
root of trust
Security analysis
sensitive information leak
summation of false alarm
timing
Trojan taxonomy
Trojan horses
forum
CfP: High Confidence Software and Systems Conference (2015)
Submitted by Katie Dey on Thu, 01/15/2015 - 10:43am
The Fifteenth Annual HCSS Conference (2015)
Call for Presentations
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Foundations
privacy
tool qualification
sustainable integrity
Designed-In Security
proof engineering
CPS
security
resilience
formal methods
root of trust
Theorem Proving
Separation Logic
Announcement
