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
Nontransitive Security Types for Coarse-grained Information Flow Control
Submitted by grigby1 on Thu, 04/29/2021 - 2:16pm
Computer languages
computer security
History
Information Flow Control
Labeling
language-based security
Lattices
noninterference
policy-based governance
pubcrawl
security policies
security types
Software
type systems
biblio
Security across abstraction layers: old and new examples
Submitted by aekwall on Mon, 03/15/2021 - 12:08pm
security
security of data
Scalability
Hardware
Resiliency
pubcrawl
Metrics
Java
security issues
Compositionality
Instruction sets
program compilers
Computer languages
secure compilation
compiler security
Context modeling
operating systems
abstraction layers
cross-layer issues
cross-layer nature
cross-layer security issues
higher level abstractions
ICT application
ICT system
Instruction Set Architecture
ISA
single level
source code level
source programming language
successive layers
biblio
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
Submitted by grigby1 on Thu, 03/04/2021 - 2:34pm
White Box Security
white box
security
black-box
black-box enforcement
Browsers
composability
computational complexity
Computer languages
efficiency
faceted secure multiexecution
FlowFox browser
FSME
IFC community
Information Flow Control
Lattices
memory overhead
Metrics
Multiple Facets
no-write-down no-read-up style security policy
noninterference
polynomial time
programming languages
pubcrawl
real-world programs
resilience
Resiliency
Runtime
secure information flow control
Secure Multi-Execution
secure programs
security condition
security lattice
security of data
Semantics
SME family
termination insensitive noninterference
third-party systems
transparency
transparent enforcement
transparent IFC enforcement
white-box
biblio
Using quantum mechanical framework for language modeling and information retrieval
Submitted by grigby1 on Fri, 05/22/2020 - 2:44pm
Bell Test
Bell test calculating
Bell theorem
Computer languages
Data mining
Human behavior
Hyperspace Analogue Language
information retrieval
information retrieval system
language modeling
natural language processing
natural language texts
Natural languages
Physics computing
pubcrawl
Quantum entanglement
quantum mechanical framework
quantum-like systems
resilience
Resiliency
Russian
Scalability
Semantics
text analysis
text separation
user query
Windows
biblio
Smarter Smart Contract Development Tools
Submitted by grigby1 on Fri, 03/27/2020 - 11:29am
blockchain
blockchain environments
blockchain platforms
blockchain software development tools
blockchain software engineering tool set
buggy code
collaboration
Computer bugs
Computer languages
contracts
Human behavior
Human Factors
Metrics
policy-based governance
program compilers
program debugging
Programming Language
pubcrawl
resilience
Resiliency
Safe Coding
security of data
security vulnerabilities
smart contracts
smarter smart contract development
Software
software engineering
software tools
tools
usability of programming languages
biblio
Bytecode Heuristic Signatures for Detecting Malware Behavior
Submitted by aekwall on Mon, 03/09/2020 - 11:13am
Monitoring
Scalability
malware
security
malware detection
invasive software
Resiliency
pubcrawl
digital signatures
Virtual machining
computational complexity
malware behavior
Prototypes
low performance overhead
Computer languages
virtual machines
Instruction sets
response time
behavior
behavior based detection
bytecode
bytecode heuristic signatures
hash-based signatures
heuristic
malicious applications
proactive approaches
proactive behavior heuristics
reactive security solutions
signature
Security Heuristics
predictability
biblio
Proactive Secure Coding for iOS Applications
Submitted by grigby1 on Mon, 02/10/2020 - 11:35am
iOS Security
pubcrawl
application program interfaces
applications
composability
Computer languages
encoding
Force
Human behavior
ios
iOS applications
iOS developers
operating systems (computers)
proactive secure coding
resilience
Resiliency
secure APIs
secure coding issues
security
security of data
static analysis
static code analysis
Syntactics
tools
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
Deductive Verification of Distributed Protocols in First-Order Logic
Submitted by grigby1 on Tue, 11/12/2019 - 4:30pm
automated provers
automated theorem provers
cognition
collaboration
complex systems
composability
Compositionality
Computer languages
deductive verification approach
design automation
distributed protocols
distributed systems
first-order logic
formal logic
Formal Specification
formal verification
infinite-state systems
logical verification conditions
long standing research goal
policy-based governance
privacy
program verification
protocol verification
Protocols
pubcrawl
Safety
SMT solvers
Theorem Proving
tools
Tutorials
validity checking
verification problem
biblio
Automated Verification of Security Chains in Software-Defined Networks with Synaptic
Submitted by grigby1 on Mon, 03/05/2018 - 1:12pm
automated verification
Cloud Computing
composability
Computer languages
computer network security
control systems
CVC4
data leakage prevention
dynamic networks
firewalls
formal models
Formal Specification
formal verification
Frenetic family
infrastructure protection
Intrusion Detection Systems
Metrics
Middleboxes
model checking
nuXmv checkers
pubcrawl
resilience
Resiliency
SDN programming languages
security
security chain verification
security chains
security functions
security management
smart devices
SMT
software defined networking
software-defined networking
Software-Defined Networks
specification translation
Synaptic
veriT
1
2
next ›
last »
