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
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
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 - 9: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 - 9: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 - 8: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 - 3: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 - 3: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 - 10: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
biblio
Authorship Attribution for Social Media Forensics
Submitted by
grigby1
on Mon, 03/19/2018 - 12:38pm
authorship attribution
authorship attribution algorithm
computational linguistics
Context
context exploitation
Digital Forensics
distributed networks
feature extraction
Forensics
habit peculiarities
Human behavior
internet
learning (artificial intelligence)
machine learning
machine learning algorithms
Media
Metrics
multimodal data processing
prepaid SIM cards
pubcrawl
public Wi-Fi hotspots
smart phones
Smartphones
social media
social media forensics
social networking (online)
Speech
stylometry
supervised learning-based
user anonymity
user identification
Writing
writing style
biblio
Misclassifications: The Missing Link
Submitted by
grigby1
on Mon, 03/19/2018 - 12:37pm
author attribution problem
authors
book similarity
classification
domain experts
Electronic mail
feature extraction
Human behavior
learning (artificial intelligence)
Length measurement
literary style
Metrics
misclassifications
misclassified books
missing link
proximity
pubcrawl
recommendation system
recommender systems
statistical analysis
statistical methods
stylometric cues
stylometry
Support vector machines
Syntactics
text analysis
Training
Writing
writing style moulds
biblio
Adversarial Authorship, Interactive Evolutionary Hill-Climbing, and Author CAAT-III
Submitted by
grigby1
on Mon, 03/19/2018 - 12:37pm
Adversarial Authorship
Adversarial Stylometry
Artificial Intelligence
AuthorWebs
Blogs
computer science
feature extraction
Fingerprint recognition
Human behavior
Interactive Evolutionary Hill-Climbing
Metrics
pubcrawl
stylometry
testing
Writing
1
2
next ›
last »
