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
program diagnostics
biblio
Continuous Compliance
Submitted by aekwall on Mon, 03/22/2021 - 1:08pm
Cloud Computing
Cryptography
Data Security
data privacy
Resiliency
pubcrawl
Compliance
standards
tools
Production
Industries
software engineering
public domain software
encryption
program diagnostics
program verification
Predictive Metrics
Compositionality
encryption audits
Open Source Software
Manuals
key length
SoC
PCI DSS
auditing source code
cloud data stores
compliance certificate
continuous compliance process
cryptographically unsafe algorithms
FedRAMP
Hard-coded credentials
large cloud-services company
lightweight verification tools
open-source software
pluggable type systems
source-code compliance requirement
biblio
Extracting Taint Specifications for JavaScript Libraries
Submitted by grigby1 on Mon, 03/15/2021 - 1:10pm
access path mechanism
authoring languages
command injection attacks
composability
cross-site scripting
dynamic analysis
Entry points
exit points
JavaScript applications
JavaScript libraries
Libraries
Metrics
Node.js platform
npm repository
package dependency structure
program diagnostics
program testing
pubcrawl
resilience
Resiliency
security
security of data
security vulnerabilities
software engineering
static analysis
static analysis tools
taint analysis
taint sinks
taint specifications
test suites
testing
third-party libraries
tools
Writing
biblio
Securing Asynchronous Exceptions
Submitted by aekwall on Mon, 03/15/2021 - 12:09pm
compiler security
Compositionality
concurrency control
Concurrent computing
data structures
different covert channels
features asynchronous exceptions
IFC language
Instruction sets
language constructs
language-based information-flow control techniques
Libraries
Metrics
program compilers
program diagnostics
program invariants
program verification
programming
programming language semantics
pubcrawl
Resiliency
Runtime
Runtime system
Scalability
security
security of data
Synchronization
telecommunication security
Theorem Proving
biblio
One Size Does Not Fit All: A Grounded Theory and Online Survey Study of Developer Preferences for Security Warning Types
Submitted by aekwall on Mon, 03/15/2021 - 12:09pm
security of data
Scalability
Organizations
security
Software
Resiliency
pubcrawl
Metrics
tools
machine learning
software engineering
static analysis
software development
program diagnostics
security issues
Compositionality
compiler security
secure software
security tools
14 professional software developers
50 professional software developers
code security
developer preferences
developer security warnings
development tools
Grounded Theory study
Qualitative research
security checkers
security warning types
security warnings
static analysis engines
warning interactions
warning type
biblio
BackFlow: Backward Edge Control Flow Enforcement for Low End ARM Microcontrollers
Submitted by aekwall on Mon, 03/15/2021 - 12:08pm
Safety
Scalability
Resiliency
pubcrawl
Metrics
automation
computer security
microcontrollers
program diagnostics
Benchmark testing
storage management
Compositionality
CFI
Instruction sets
program compilers
compiler
compiler security
Europe
ARM instruction set
BackFlow
backward edge control flow integrity
Cats
Clang/LLVM compiler
compiler-based toolchain
low-end ARM Cortex-M microprocessors
memory corruptions
memory safety
STM32 NUCLEO F446RE microcontroller
biblio
Gap between Theory and Practice: An Empirical Study of Security Patches in Solidity
Submitted by aekwall on Mon, 03/15/2021 - 12:07pm
security of data
Scalability
telecommunication security
security
Resiliency
pubcrawl
Metrics
tools
software engineering
static analysis
security vulnerabilities
smart contracts
program diagnostics
encoding
Compositionality
program compilers
contracts
C++ language
compiler security
electronic commerce
Manuals
smart contract security
empirical study
Ethereum smart contract developers
missing security patches
potentially vulnerable contracts
real-world Ethereum smart contracts
real-world Solidity contracts
security patches
Solidity
Solidity team
vulnerability patches
biblio
ComPy-Learn: A toolbox for exploring machine learning representations for compilers
Submitted by aekwall on Mon, 03/15/2021 - 12:07pm
Scalability
Task Analysis
Program processors
learning (artificial intelligence)
Resiliency
pubcrawl
machine learning
Metrics
optimization
tools
Training
software engineering
public domain software
Vulnerability prediction
program diagnostics
Predictive models
Pipelines
Compositionality
program compilers
Clang
LLVM
compiler security
empirical evaluation
Clang compiler
Code Representations
compiler heuristics
compilers
ComPy-Learn
developer productivity
graph representations
LLVM compiler backend
program code
software engineering tools
software performance
syntax-level language information
biblio
Mobile Botnet Detection: A Deep Learning Approach Using Convolutional Neural Networks
Submitted by grigby1 on Tue, 03/09/2021 - 2:22pm
Android (operating system)
Android botnet detection
Android Botnets
Android platform
Androids
botnet
botnet apps
Botnet detection
botnets
CNN-based approach
CNN-based model
composability
convolutional neural nets
convolutional neural networks
deep learning
feature extraction
Forestry
Humanoid robots
invasive software
ISCX botnet dataset
learning (artificial intelligence)
machine learning
machine learning classifiers
malicious apps
Metrics
mobile botnet detection
mobile computing
mobile devices
mobile operating systems
pattern classification
program diagnostics
pubcrawl
resilience
Resiliency
smart phones
static app features
biblio
RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization
Submitted by grigby1 on Tue, 02/16/2021 - 1:24pm
Security by Default
Address Sanitizer
automatic vulnerability discovery
binary security analysis
binary-only memory checker
binary-rewriting instrumentation
closed source binaries
code coverage
compile time
compiler security
compiler-instrumented binaries
compiler-level performance
Compositionality
Computer bugs
COTS binaries
Data Sanitization
default QEMU-based instrumentation
Dynamic binary translation
fuzzing
fuzzing sanitization
Human behavior
Instruments
Libraries
Metrics
position independent code
privacy
program compilers
program debugging
program diagnostics
prohibitive performance overhead
pubcrawl
resilience
Resiliency
RetroWrite
Runtime
Scalability
security
security checks
security of data
software libraries
static binary rewriting
static rewriter
third-party libraries
tools
biblio
MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis
Submitted by grigby1 on Fri, 12/11/2020 - 2:31pm
Analysis of variance
Android (operating system)
Android malware
Android Malware Detection
API Centrality
fault-tolerant representation
feature extraction
Google-Play app market
graph semantics
graph theory
Human behavior
invasive software
Lightweight feature
lightweight graph-based approach
MalScan
malware
Malware Analysis
Market-wide
market-wide malware scanning
Metrics
mobile computing
mobile malware scanning
privacy
program analysis
program diagnostics
pubcrawl
resilience
Resiliency
Robustness
semantic features
Semantics
social networking (online)
social-network-based centrality analysis
static analysis
syntax-based features
transformation attacks
zero-day malware including malware samples
1
2
3
4
5
6
7
8
9
next ›
last »
