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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Software systems
biblio
Static Analysis of Infrastructure as Code: a Survey
Submitted by aekwall on Thu, 02/02/2023 - 5:36pm
model checking
survey
infrastructure as code
Software systems
static code analysis
Software Architecture
codes
verification
Cloud Computing
software reliability
static analysis
Bibliographies
composability
Human behavior
Resiliency
pubcrawl
Conferences
biblio
Classification and Ranking of Delta Static Analysis Alarms
Submitted by aekwall on Thu, 02/02/2023 - 4:24pm
static code analysis
Human behavior
Resiliency
composability
codes
delta alarms
incremental analysis
Program slicing
pubcrawl
ranking and classification of alarms
Software systems
source coding
static analysis
version aware static analysis
biblio
Internet of Things- Cloud Security Automation Technology Based on Artificial Intelligence
Submitted by grigby1 on Fri, 12/09/2022 - 5:56pm
Artificial Intelligence
Service robots
automation
artificial intelligence security
Robot sensing systems
surveillance
Smart homes
Software systems
Software algorithms
resilience
security
Cloud Computing
composability
robots
Resiliency
Metrics
Human behavior
pubcrawl
IoT
biblio
Security and Machine Learning Adoption in IoT: A Preliminary Study of IoT Developer Discussions
Submitted by aekwall on Fri, 09/30/2022 - 2:45pm
security
IoT
Internet of Things
machine learning
Conferences
pubcrawl
Metrics
Resiliency
Human behavior
composability
IoT security
Biological system modeling
software engineering
Software systems
Developer Discussions
biblio
Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness
Submitted by grigby1 on Wed, 08/03/2022 - 4:12pm
pubcrawl
Conferences
composability
cognition
visualization
software reliability
Software systems
trustworthiness
software quality
Evidence
Refinement
Skeleton
file
SaTC: CORE: Small: A Transparent and Customizable Android Container-Based Virtualization Architecture for Dynamic Malware Analys
Submitted by JasonGigax on Tue, 06/28/2022 - 1:29pm. Contributor:
Jiang Ming
Project Highlight Slides
Software systems
2128703
SaTC PI Meeting 2022
2022
file
SaTC: CORE: Small: Collaborative: Enabling Precise and Automated Insecurity Analysis of Middleware on Mobile Platforms
Submitted by JasonGigax on Wed, 06/22/2022 - 3:35pm. Contributor:
Qiang Zeng
Project Highlight Slides
Software systems
CNS-1856380
SaTC PI Meeting 2022
2022
file
SaTC: CORE: Small: Selective Data Protection against Data-oriented and Transient Execution Attacks
Submitted by JasonGigax on Wed, 06/22/2022 - 3:32pm. Contributor:
Michalis Polychronakis
Project Highlight Slides
Software systems
2104148
SaTC PI Meeting 2022
file
CAREER: Principled and Practical Software Shielding against Advanced Exploits
Submitted by JasonGigax on Wed, 06/22/2022 - 3:32pm. Contributor:
Michalis Polychronakis
Project Highlight Slides
Intrusion Detection
Software systems
1749895
SaTC PI Meeting 2022
file
Mixed Distribution Models for Encrypted Data Stores
Submitted by JasonGigax on Wed, 06/22/2022 - 3:32pm. Contributors:
Anurag Khandelwal
Rachit Agarwal
Thomas Ristenpart
Project Highlight Slides
Cryptography Applied
Privacy Applied
Software systems
2054957
SaTC PI Meeting 2022
1
2
3
4
5
6
7
8
9
next ›
last »