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
abstraction layers
biblio
Security across abstraction layers: old and new examples
Submitted by aekwall on Mon, 03/15/2021 - 12:08pm
Context modeling
successive layers
source programming language
source code level
single level
ISA
Instruction Set Architecture
ICT system
ICT application
higher level abstractions
cross-layer security issues
cross-layer nature
cross-layer issues
abstraction layers
operating systems
security
compiler security
secure compilation
Computer languages
program compilers
Instruction sets
Compositionality
security issues
Java
Metrics
pubcrawl
Resiliency
Hardware
Scalability
security of data
file
Model-based Design and Epistemic Uncertainties
Submitted by Janos.Sztipanovits on Mon, 05/16/2016 - 12:47pm
Design Automation Tools
Modeling
CPS Technologies
Foundations
abstraction layers
epistemic uncertainty
ISIS- Vanderbilt University
Scalability
2016
Academia
Presentation
Presentations
file
Deep Specifications and Certified Abstraction Layers
Submitted by Ronghui Gu on Thu, 04/23/2015 - 6:36pm. Contributor:
Ronghui Gu
Presented as part of the
2015 HCSS conference
.
Abstract:
Validation and Verification
abstraction layers
deep specifications
National HCSS Conference 2015
Academia
Abstract
HCSS'15
Proof Engineering (HCSS'15)
