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
Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security
Submitted by aekwall on Tue, 10/12/2021 - 2: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 - 1: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 - 11:08am
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 - 1: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 - 1: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 - 10: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 - 10: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
biblio
Proactive Secure Coding for iOS Applications
Submitted by grigby1 on Mon, 02/10/2020 - 10:35am
operating systems (computers)
tools
Syntactics
static code analysis
static analysis
security of data
security
secure coding issues
secure APIs
Resiliency
resilience
proactive secure coding
iOS Security
iOS developers
iOS applications
ios
Human behavior
Force
encoding
Computer languages
composability
applications
application program interfaces
pubcrawl
biblio
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Submitted by aekwall on Mon, 12/02/2019 - 11:08am
robust preservation
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
good programming languages
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
Compositionality
security of data
Scalability
Resiliency
pubcrawl
Cryptography
Metrics
Libraries
program diagnostics
program verification
Writing
Space exploration
Security Properties
Safety
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
biblio
Deductive Verification of Distributed Protocols in First-Order Logic
Submitted by grigby1 on Tue, 11/12/2019 - 3:30pm
infinite-state systems
verification problem
validity checking
Tutorials
tools
Theorem Proving
SMT solvers
Safety
pubcrawl
Protocols
protocol verification
program verification
privacy
policy-based governance
long standing research goal
logical verification conditions
automated provers
formal verification
Formal Specification
formal logic
first-order logic
distributed systems
distributed protocols
design automation
deductive verification approach
Computer languages
Compositionality
composability
complex systems
collaboration
cognition
automated theorem provers
1
2
next ›
last »
