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
benchmark
biblio
An Empirical Study on API-Misuse Bugs in Open-Source C Programs
Submitted by grigby1 on Fri, 08/14/2020 - 10:44am
security of data
pubcrawl
resilience
Resiliency
Benchmark testing
Libraries
static analysis
program debugging
program diagnostics
APIs
application program interfaces
Computer bugs
security vulnerabilities
public domain software
Compositionality
Detectors
application programming interfaces
API misuse
API-misuse bugs
API-misuse detection
API-misuse detectors
APIMU4C
benchmark
bug detection
C code
C language
empirical study
fix patterns
Open Source Software
open-source C programs
static analysis detectors
usage statistics
application programming interface
biblio
BenchPress: Analyzing Android App Vulnerability Benchmark Suites
Submitted by grigby1 on Fri, 08/14/2020 - 10:43am
security of data
security
pubcrawl
resilience
Resiliency
mobile computing
APIs
application program interfaces
Compositionality
android
evaluation
Android (operating system)
Android app development
Android app vulnerability benchmark suite analysis
Android security analysis tools
Android-specific benchmark suites
benchmark
BenchPress
DroidBench
Empirical Software Engineering
Ghera
ICCBench
Representativeness
security-related APIs
stack overflow
temperature 227.0 K
tool developers
UBCBench
application programming interface
biblio
Evaluating Scalability and Performance of a Security Management Solution in Large Virtualized Environments
Submitted by aekwall on Mon, 06/17/2019 - 9:30am
security scalability
Performance
benchmark
Virtualization
composability
pubcrawl
Scalability
biblio
Grey Zone in Pre-Silicon Hardware Trojan Detection
Submitted by grigby1 on Fri, 03/15/2019 - 10:58am
activation probability
Behaviour Simulation
behaviour simulations
benchmark
electronic engineering computing
elemental semiconductors
functional test
grey zone
Hardware
hardware Trojan benchmark circuits
integrated circuit design
integrated circuit testing
invasive software
learning (artificial intelligence)
low signal probability
machine learning
Pre-Silicon Hardware Trojan Detection
pre-silicon hardware trojan detection method
probability
pubcrawl
Si
Silicon
trojan horse detection
Trojan horses
Trust-Hub
biblio
Towards More Robust Automatic Facial Expression Recognition in Smart Environments
Submitted by grigby1 on Mon, 12/03/2018 - 12:48pm
resilience
facial expression recognition
affective computing
Application specific Clustering of Emotions
benchmark
pubcrawl
facial recognition
Human behavior
Metrics
biblio
Dynamic Software Updating in Java: Comparing Concepts and Resource Demands
Submitted by grigby1 on Thu, 06/07/2018 - 2:01pm
benchmark
composability
dynamic software updating
Java
Metrics
object oriented security
Performance
pubcrawl
resilience
Resiliency
biblio
A Scalable and Reconfigurable Verification and Benchmark Environment for Network on Chip Architecture
Submitted by grigby1 on Wed, 05/09/2018 - 1:47pm
benchmark
benchmark environment
Benchmark testing
complex on-chip communication problems
Compositionality
Generators
integrated circuit design
interconnection architectures
Metrics
Monitoring
network-on-chip
network-on-chip architecture
NoC
Object oriented modeling
on-chip component
pubcrawl
reconfigurable verification
resilience
Resiliency
reusable methodology
Scalability
scalable verification
standardized methodology
system-on-chip
Throughput
traffic control
Universal Verification Methodology
UVM
verification
biblio
MUBench: A Benchmark for API-misuse Detectors
Submitted by grigby1 on Thu, 05/18/2017 - 1:42pm
API
API-misuse detection
APIs
applications programming interfaces
benchmark
bug detection
Compositionality
pubcrawl
Resiliency