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
Computer languages
biblio
Design and Development of Digital Image Security Using AES Algorithm with Discrete Wavelet Transformation Method
Submitted by grigby1 on Fri, 04/22/2022 - 1:16pm
information security
security
pubcrawl
AES
composability
Computer languages
Metrics
Task Analysis
Compositionality
Transforms
interoperability
digital images
discrete wavelet transforms
decomposition
discrete Wavelet transformation
biblio
Automatic Integration of D Code With the Linux Kernel
Submitted by grigby1 on Mon, 03/14/2022 - 12:23pm
memory safety
Linux kernel
D programming language
automatic integration
codes
device drivers
Syntactics
Metrics
Policy Based Governance
Safe Coding
tools
Computer languages
Linux
Memory management
Safety
Resiliency
resilience
Human Factors
Human behavior
pubcrawl
biblio
Measuring source code conciseness across programming languages using compression
Submitted by aekwall on Mon, 01/31/2022 - 4:31pm
Analytical models
Conferences
pubcrawl
Scalability
Resiliency
Computer languages
codes
benchmarked software metrics
Heating systems
programming language conciseness
software metrics
source code volume normalization
Volume measurement
work factor metrics
biblio
Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
composability
Compositionality
Computer languages
CTLK
epistemic logic
model checking
OBDD
Petri nets
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
security
tools
biblio
Nontransitive Security Types for Coarse-grained Information Flow Control
Submitted by grigby1 on Thu, 04/29/2021 - 2:16pm
Labeling
type systems
Software
security types
security policies
policy-based governance
noninterference
Lattices
language-based security
object oriented security
Information Flow Control
History
computer security
Computer languages
pubcrawl
Metrics
composability
Resiliency
biblio
Security across abstraction layers: old and new examples
Submitted by aekwall on Mon, 03/15/2021 - 12:08pm
Context modeling
successive layers
source programming language
source code level
single level
ISA
Instruction Set Architecture
ICT system
ICT application
higher level abstractions
cross-layer security issues
cross-layer nature
cross-layer issues
abstraction layers
operating systems
security
compiler security
secure compilation
Computer languages
program compilers
Instruction sets
Compositionality
security issues
Java
Metrics
pubcrawl
Resiliency
Hardware
Scalability
security of data
biblio
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
Submitted by grigby1 on Thu, 03/04/2021 - 2:34pm
security lattice
programming languages
pubcrawl
real-world programs
resilience
Resiliency
Runtime
secure information flow control
Secure Multi-Execution
secure programs
security condition
polynomial time
security of data
Semantics
SME family
termination insensitive noninterference
third-party systems
transparency
transparent enforcement
transparent IFC enforcement
white-box
FlowFox browser
white box
security
black-box
black-box enforcement
Browsers
composability
computational complexity
Computer languages
efficiency
faceted secure multiexecution
White Box Security
FSME
IFC community
Information Flow Control
Lattices
memory overhead
Metrics
Multiple Facets
no-write-down no-read-up style security policy
noninterference
biblio
Using quantum mechanical framework for language modeling and information retrieval
Submitted by grigby1 on Fri, 05/22/2020 - 2:44pm
Physics computing
Windows
user query
text separation
text analysis
Semantics
Scalability
Russian
Resiliency
resilience
quantum-like systems
quantum mechanical framework
Quantum entanglement
pubcrawl
Bell Test
Natural languages
natural language texts
natural language processing
language modeling
information retrieval system
information retrieval
Hyperspace Analogue Language
Human behavior
Data mining
Computer languages
Bell theorem
Bell test calculating
biblio
Smarter Smart Contract Development Tools
Submitted by grigby1 on Fri, 03/27/2020 - 11:29am
program debugging
usability of programming languages
tools
software tools
software engineering
Software
smarter smart contract development
smart contracts
security vulnerabilities
security of data
Safe Coding
Resiliency
resilience
pubcrawl
Programming Language
blockchain
program compilers
policy-based governance
Metrics
Human Factors
Human behavior
contracts
Computer languages
Computer bugs
collaboration
buggy code
blockchain software engineering tool set
blockchain software development tools
blockchain platforms
blockchain environments
biblio
Bytecode Heuristic Signatures for Detecting Malware Behavior
Submitted by aekwall on Mon, 03/09/2020 - 11:13am
virtual machines
predictability
Security Heuristics
signature
reactive security solutions
proactive behavior heuristics
proactive approaches
malicious applications
heuristic
hash-based signatures
bytecode heuristic signatures
bytecode
behavior based detection
behavior
response time
Instruction sets
Monitoring
Computer languages
low performance overhead
Prototypes
malware behavior
computational complexity
Virtual machining
digital signatures
pubcrawl
Resiliency
invasive software
malware detection
security
malware
Scalability
1
2
next ›
last »
