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
File Similarity Determination Based on Function Call Graph
Submitted by
grigby1
on Thu, 07/30/2020 - 2:06pm
feature extraction
pubcrawl
Human behavior
Human Factors
policy-based governance
resilience
Resiliency
composability
static analysis
program diagnostics
Metrics
Measurement
Syntactics
graph theory
intellectual property
Plagiarism
information retrieval
file organisation
ip protection
control flow features
decision strategies
file similarity determination
function call graph
function features
graph isomorphism
large-scale software systems
similarity detection
similarity detection method
space-time efficiency
static analysis methods
biblio
TrustSign: Trusted Malware Signature Generation in Private Clouds Using Deep Feature Transfer Learning
Submitted by
grigby1
on Fri, 07/10/2020 - 1:08pm
Automatic Signature Generation
Cloud Computing
cloud virtualization technology
convolutional neural networks
Cryptography
cryptojacking
cryptojacking attacks
deep feature transfer learning
deep learning
digital signatures
distribution time
dynamic analysis
fileless malware
high-level deep features
Human behavior
Human Factors
ImageNet dataset
in-browser cryptojacking attacks
inspection procedure
invasive software
malware
Metrics
neural nets
private clouds
program diagnostics
pubcrawl
ransomware samples
resilience
Resiliency
static analysis
supervised classifiers
transfer learning
Trusted Computing
trusted malware signature generation method
TrustSign signature generation process
unsupervised classifier
Unsupervised Learning
VGG-19 neural network model
virtualisation
volatile memory
biblio
Detecting Input Sanitization Errors in Scala
Submitted by
grigby1
on Thu, 07/09/2020 - 1:57pm
Compositionality
data deletion
Data Sanitization
dynamic taint analyzer
Error
functional programming
high-level language
Human behavior
Human Factors
Input Sanitization
input sanitization errors
object-oriented programming
privacy
program diagnostics
programming languages
pubcrawl
resilience
Resiliency
Scala applications
Scala Compiler
Scala programming language
Scalability
ScalaTaint
security of data
sensitive sink methods
static types
taint analysis
biblio
The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)
Submitted by
grigby1
on Fri, 06/26/2020 - 1:18pm
certification
composability
connected systems security
cyber-attacks
cyber-physical systems
Cyber-security
embedded systems
Europe
European H2020 project VESSEDIA
formal methods
Formal Specification
formal verification
high-criticality applications
Internet of Things
IoT
IoT security
Metrics
program diagnostics
pubcrawl
Resiliency
Safety
security
Security and Safety Analysis
security of data
Software
software fault tolerance
Source code analysis
static analysis
tools
verification engineering of safety and security critical dynamic industrial applications
biblio
Identifying Security Spots for Data Integrity
Submitted by
grigby1
on Fri, 04/24/2020 - 4:21pm
benign code
composability
coupling
Couplings
data integrity
Databases
IBCs
insider attack
insiders
Integrity breach condition
integrity breach conditions
malicious code
malware
Metrics
object oriented security
object-oriented programming
object-oriented programs
program diagnostics
pubcrawl
resilience
Resiliency
security of data
Security spot
security spots identification
tools
biblio
Using Safety Properties to Generate Vulnerability Patches
Submitted by
aekwall
on Mon, 04/20/2020 - 10:45am
Safety
security of data
security
Software
Resiliency
Human behavior
pubcrawl
composability
Metrics
tools
Libraries
security vulnerabilities
software maintenance
program diagnostics
program verification
relational databases
Engines
program debugging
relational database security
Automated-Program-Repair
automatic program repair methods
Buffer storage
Program-Analysis
property-based APR
safety property
safety-property
Software-Patch
Software-Vulnerability
source code patches
vulnerability-specific safety properties
biblio
A Clone Code Detection Method Based on Software Complex Network
Submitted by
grigby1
on Mon, 04/06/2020 - 2:23pm
added features
clone code detection method
clone codes information
clone-code-detection
code comparison
complex networks
composability
cyber physical systems
feature-matching
Metrics
network coding
open source code
program diagnostics
pubcrawl
resilience
Resiliency
Security analysis
security of data
software clone detection
software complex network feature matching
software maintenance
software network model
software-network
software-security
biblio
An Efficient Greybox Fuzzing Scheme for Linux-based IoT Programs Through Binary Static Analysis
Submitted by
grigby1
on Mon, 03/23/2020 - 4:16pm
binary static analysis
effective vulnerability discovery technique
embedded security
firmware
fuzzing
Internet of Things
IoT firmware kernel greybox fuzzer
IoT program greybox fuzzing
Linux
Linux-based IoT program
Metrics
program diagnostics
pubcrawl
real-world Linux-based IoT programs
resilience
Resiliency
Router Systems Security
security of data
static binary analysis.
vulnerabilities discovery
biblio
Cyberthreat Hunting - Part 1: Triaging Ransomware using Fuzzy Hashing, Import Hashing and YARA Rules
Submitted by
aekwall
on Mon, 03/23/2020 - 1:25pm
Cryptography
data privacy
invasive software
Resiliency
pubcrawl
composability
Ransomware
Metrics
program diagnostics
Syntactics
Engines
Semantics
Cerber
static analysis
WannaCry
dynamic analysis
Context-Triggered Piecewise Hashing
CryptoWall
cyberthreat hunting
Fuzzy Hashing
Locky
SDHASH
Similarity Preserving
SSDEEP
Triaging
WannaCryptor
Cer-ber
file organisation
IM-PHASH
Import Hashing
ransomware pandemic prevention
System performance
triaging performance
triaging ransomware
YARA rules
biblio
DifFuzz: Differential Fuzzing for Side-Channel Analysis
Submitted by
aekwall
on Mon, 03/09/2020 - 11:13am
security of data
Scalability
Cryptography
Resiliency
pubcrawl
vulnerability detection
tools
Correlation
Java
program diagnostics
execution time
Instruments
Time factors
side-channel
fuzzing
dynamic analysis
side-channel analysis
side-channel attacks
differential fuzzing
DifFuzz
fuzzing-based approach
Java programs
Performance analysis
resource consumption
resource usage
resource-guided heuristics
secret program data
secret-dependent paths
unknown side-channel vulnerabilities
Security Heuristics
predictability
1
2
3
4
5
6
7
next ›
last »
