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
formal verification
biblio
Research on Mobile Application Local Denial of Service Vulnerability Detection Technology Based on Rule Matching
Submitted by
aekwall
on Mon, 02/17/2020 - 1:42pm
Monitoring
security
invasive software
mobile computing
feature extraction
Resiliency
Human behavior
pubcrawl
Metrics
pattern matching
Mobile Applications
Communication networks
vulnerability detection
smart phones
Compositionality
formal verification
Computer crashes
-dynamic-detection
-rule-matching
-security-vulnerability
-static-detection
dynamic detection method
hook verification
local denial of service vulnerability detection technology
malicious application flooding
mobile application market
mobile-application
rule matching
smali abstract syntax tree
static detection method
biblio
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
Submitted by
aekwall
on Mon, 02/10/2020 - 11:11am
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
Uncertain Requirements, Assurance and Machine Learning
Submitted by
aekwall
on Mon, 02/10/2020 - 11:10am
security
Safety
Ontologies
Software
feature extraction
learning (artificial intelligence)
machine learning
pubcrawl
composability
social networking (online)
social networks
uncertainty
privacy
software engineering
software development
assurance
safety-critical software
Scalability
formal verification
assurance case
automotive
conventional machine-learned
deductive verification
financial data processing
financial services
governing bodies
human judgement
inductive assurance
linked evidence
machine-learned components
machine-learning
open-world functionality
pragmatic assurance
predefined requirements
requirements engineering
safety assessment
safety-critical domains
software construction
Standards organizations
uncertain requirements
vehicle control
verification proofs
software assurance
file
Determining-Tolerable-Attack-Surfaces-that-Preserves-Safety-of-Cyber-Physical-Systems.pdf
Submitted by
Heather Lucas
on Wed, 01/29/2020 - 6:10pm
attacker model
automata
Communication system signaling
cyber-physical system
cyber-physical system safety
cyber-physical systems
formal verification
parameterizable state automaton templates
Rail transportation
railway signaling system
Safety
safety analysis
safety-critical software
Safety-Critical Systems
security
Security analysis
Servers
software fault tolerance
timed automata
tracking
Monitoring, Fusion, and Response for Cyber Resilience
biblio
Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems
Submitted by
Heather Lucas
on Wed, 01/29/2020 - 6:10pm
cyber-physical systems
formal verification
safety-critical software
software fault tolerance
Safety-Critical Systems
Security analysis
railway signaling system
cyber-physical system safety
parameterizable state automaton templates
Safety
Rail transportation
Servers
automata
security
Communication system signaling
tracking
cyber-physical system
safety analysis
attacker model
timed automata
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
Monitoring, Fusion, and Response for Cyber Resilience
biblio
Security Analysis of Cloud-Connected Industrial Control Systems Using Combinatorial Testing
Submitted by
grigby1
on Tue, 01/21/2020 - 11:16am
Industrial Control Systems Anomaly Detection
combinatorial testing
formal verification
Industrial Control Systems
model checking
pubcrawl
resilience
Resiliency
Scalability
VDM-SL
file
Verified Control of Cooperative Autonomous Vehicles
Submitted by
Christoffer Heckman
on Fri, 01/10/2020 - 3:38pm. Contributors:
Christoffer Heckman
Lijun Chen
Dirk Grunwald
John Hauser
Sriram Sankaranarayanan
formal verification
autonomous vehicles
CPS PI Meeting 2019
2019
Poster
NSF
U.S. Government
Posters
1646556
biblio
Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+
Submitted by
grigby1
on Mon, 12/30/2019 - 1:19pm
communicating parties
contributory group key agreement
Cryptographic Protocols
Cryptography
DC DHKE
divide and conquer key distribution protocol
exponentiation
formal verification
GDH
ING
key agreement protocol verification
liveness property
Mathematical model
mutual key
passive attacker
pre-meditated correctness
protocol correctness
ProVerif
pubcrawl
Resiliency
Scalability
Silicon
TLA
TLA+
biblio
EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security
Submitted by
grigby1
on Wed, 12/11/2019 - 11:22am
Complexity theory
complex protocols
composability
computer aided cryptography
Cryptographic Protocols
Cryptography
Decisional Diffie-Hellman problem
desired ideal functionality
Diffie-Hellman key-exchange
Diffie-Hellman protocol UC
EasyCrypt
EASYCRYPT proof assistant
formal verification
game-based security
Games
hard computational problems
ideal key-exchange functionality
ideally authenticated communication
ideal secure-communication functionality
Mechanization
mechanized UC security analyses
one-time-pad encryption
proving simulation-based security
pubcrawl
secure message communication
Task Analysis
universal composability
universal composition operation
universally composable security framework
biblio
Formally Verified Cryptographic Web Applications in WebAssembly
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
authoring languages
Browsers
CoMP
compilation pipeline
compiler
compiler security
Compositionality
cryptographic code
Cryptographic Protocols
cryptographic-library
cryptographic-protocol-verification
Cryptography
formal verification
high-assurance cryptographic libraries
high-profile attacks
instruction set
Java
JavaScript runtimes
Libraries
low-level subset
Metrics
modern Web applications
program compilers
program diagnostics
program verification
Protocols
pubcrawl
public domain software
Resiliency
Scalability
security-critical software
Servers
Signal
sophisticated custom cryptographic components
standard protocols
standards
toolchain
verification
verification techniques
verification-oriented programming languages
verified cryptographic Web applications
verified HACL cryptographic library
verified implementation
verified-software
web-security
Webassembly
WebAssembly compilers
WebAssembly version
whatsapp
1
2
3
4
5
6
7
8
9
…
next ›
last »
