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
Writing
biblio
Understanding Data Science Lifecycle Provenance via Graph Segmentation and Summarization
Submitted by
aekwall
on Mon, 03/30/2020 - 11:33am
Data models
Resiliency
Human behavior
pubcrawl
composability
graph theory
Metrics
query processing
Databases
context-free grammars
optimisation
computational complexity
meta data
metadata
Writing
Pipelines
Semantics
Provenance
data science
data handling
approximation theory
Approximation algorithms
boundary criteria
context free language
context-free grammar
data science lifecycle provenance
data science platforms
destination vertices
graph data models
graph query
graph query model
graph segmentation operator
graph summarization operator
high-level graph query operators
model management
provenance ingestion mechanisms
provenance management
PSPACE-complete
query techniques
Skeleton
source vertices
biblio
Cyberthreat Hunting - Part 2: Tracking Ransomware Threat Actors Using Fuzzy Hashing and Fuzzy C-Means Clustering
Submitted by
grigby1
on Wed, 02/26/2020 - 4:41pm
Attack Surfaces
c-means clustering
Cerber
cluster ransomware samples
clustering methods
clustering techniques
composability
Context-Triggered Piecewise Hashing
Cryptography
CryptoWall
CTPH
cyberthreat hunting
efficient fuzzy analysis approach
FCM
FCM clustering results
fuzzy c-means clustering
Fuzzy Hashing
fuzzy hashing methods
fuzzy set theory
fuzzy similarity scores
fuzzy techniques
Indexes
Locky
malicious code writing
Measurement
Metrics
pattern clustering
privacy
pubcrawl
Ransomware
ransomware threat actor
Resiliency
SDHASH
signature based defense
Similarity Preserving
SSDEEP
successful attack vectors
threat actors
threat vectors
Triaging
unknown ransomware
unlimited polymorphic samples
WannaCry
WannaCryptor
Writing
biblio
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
Submitted by
aekwall
on Mon, 02/10/2020 - 12:11pm
Safety
authorization
Software
embedded systems
pubcrawl
composability
tools
Production
Formal Specification
safety-critical software
Writing
Scalability
formal verification
automotive embedded software
formal methods
formal proof
industrial software model checking
invariant generation
model checking
model-based design tools
safety-critical properties
SMT solving
Software verification
symbolic model checking
time properties
software assurance
biblio
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Submitted by
aekwall
on Mon, 12/02/2019 - 12:08pm
Safety
security of data
Scalability
Resiliency
pubcrawl
Cryptography
Metrics
Libraries
program diagnostics
program verification
Writing
Space exploration
Security Properties
Compositionality
program compilers
secure code
source program
adversarial contexts
arbitrary adversarial contexts
compiled program
Computer languages
equivalent property-free
formal secure compilation criteria
full abstraction
fully abstract compilation chain
good programming languages
hyperproperties
linked adversarial code
linked adversarial target code
linked source code
linked target code
liveness
low-level target language
multiple programs
noninterference
property classes
relational hyperproperties
relational properties
robust preservation
robust property preservation
secure compilation
secure compilation chain
Secure interoperability
secure linking
Security Foundations
source language
source-level abstraction
strictly stronger security guarantees
supported security goals
trace properties
compiler security
biblio
Understanding Transition and Remanence Noise in HAMR
Submitted by
aekwall
on Mon, 09/30/2019 - 10:07am
applied field
bit length
composability
Computational modeling
GP
grain pitch
Heat-assisted magnetic recording
Heat-assisted magnetic recording (HAMR)
Jitter
magnetic recording noise
Media
media noise
principal component analysis
principal components analysis
principal components analysis (PCA)
pubcrawl
remanence
remanence noise
Resiliency
Signal to noise ratio
spatial splitting
transition noise
Writing
biblio
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams
Submitted by
grigby1
on Thu, 09/26/2019 - 10:24am
application program interfaces
automated refactoring approach
automatic parallelization
collaboration
data structures
finite data structures
Human behavior
Human Factors
Image color analysis
infinite data structures
Instruction sets
intelligent parallelization
Java
Java 8
lambda expression side-effects
mainstream object-oriented programming languages
MapReduce-style operations
Metrics
optimizing stream code
parallel streams
Pipelines
policy-based governance
pubcrawl
Refactoring
resilience
Resiliency
running operations
safe automated refactoring
Safe Coding
Semantics
semantics-preserving fashion
sequential streams
software maintenance
static analysis
Stream API
stream code
stream operations
streams
typestate analysis
Writing
biblio
Wiping Techniques and Anti-Forensics Methods
Submitted by
aekwall
on Wed, 05/08/2019 - 9:42am
anti-forensics methods
Cryptography
data wiping
Digital Forensics
eraser software
erasure standards
File systems
forensic analysis
Human behavior
information forensics
local storage devices
meta data
metadata
Metrics
product development
pubcrawl
resilience
Scalability
secure file destruction
software products developement
standards
tools
wiping standards
wiping techniques
Writing
biblio
Authorship Attribution vs. Adversarial Authorship from a LIWC and Sentiment Analysis Perspective
Submitted by
grigby1
on Fri, 02/22/2019 - 4:02pm
Adversarial Authorship
authorship attribution
computer science
feature extraction
Feature Selection
GEFeS
Human behavior
LIWC
Metrics
psychology
pubcrawl
Semantics
sentiment analysis
Steady-state
Steady-State Genetic Algorithm
stylometry
Writing
biblio
Towards Blockchain-Based Scalable and Trustworthy File Sharing
Submitted by
grigby1
on Fri, 02/08/2019 - 4:36pm
Access Control
auditable information
authorisation
Bandwidth
blockchain technology
blockchain- based file storage systems
composability
cryptocurrency
Cryptography
cyber physical systems
data management
distributed access control
distributed ledgers
distributed proxies
encrypted file sharing
encryption
ensures confidentiality
file encryption keys
file organisation
files integrity
malicious behaviour
Peer-to-peer computing
proxy re-encryption based design
pubcrawl
resilience
Resiliency
revoked users
scalable key management mechanism
Trusted Computing
trustworthy file sharing
Trustworthy Systems
Writing
biblio
Securing Concurrent Lazy Programs Against Information Leakage
Submitted by
grigby1
on Thu, 08/23/2018 - 11:57am
security
Theorem Proving
Haskell
Concurrency
cyber-physical systems
pubcrawl
composability
security of data
data privacy
Sensitivity
data structures
program diagnostics
resilience
Metrics
Libraries
Lattices
timing
Resiliency
software tools
Information Leakage
concurrency control
Agda proof assistant
concurrent lazy programs security
covert channel
functional languages
functional programming
Haskell libraries
IFC libraries
IFC tools
information-flow control tools
lazy calculus
lazy evaluation
lazy languages
lazyDup
Message systems
noninterference
security library MAC
software libraries
Writing
1
2
next ›
last »
