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
Read-only archive of site from September 29, 2023.
CPS-VO
Concurrency
biblio
Countering Concurrent Login Attacks in “Just Tap” Push-based Authentication: A Redesign and Usability Evaluations
Submitted by grigby1 on Fri, 08/26/2022 - 11:25am
security
pubcrawl
resilience
Resiliency
authentication
process control
Prototypes
composability
Metrics
Browsers
Systematics
Shape
Concurrent computing
Concurrency
biblio
Compositional Non-Interference for Fine-Grained Concurrent Programs
Submitted by grigby1 on Fri, 08/26/2022 - 11:25am
Metrics
Separation Logic
logical relations
fine-grained concurrency
non-interference
Coq
Concurrency
Iris
automation
Concurrent computing
security
Buildings
Computer languages
Manuals
composability
privacy
Resiliency
resilience
pubcrawl
biblio
Enabling MapReduce based Parallel Computation in Smart Contracts
Submitted by grigby1 on Fri, 08/26/2022 - 11:24am
smart contracts
MapReduce
distributed systems
Concurrency
Concurrent computing
distributed computing
Scalability
Task Analysis
Metrics
security
composability
Big Data
Throughput
Resiliency
resilience
pubcrawl
blockchain
biblio
Formal Specification and Verification of 5G Authentication and Key Agreement Protocol using mCRL2
Submitted by grigby1 on Fri, 08/26/2022 - 11:24am
Metrics
Process Algebra.
mCRL2 language
formal methods
5G-AKA Protocol
formal verification
Concurrency
algebra
3GPP
5G networks
tools
composability
Protocols
5G mobile communication
authentication
Analytical models
Resiliency
resilience
pubcrawl
security
biblio
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs
Submitted by grigby1 on Fri, 08/26/2022 - 11:24am
software engineering
leaky assertions
Information Leak
correctness
concurrent programs
axiomatic approach
Concurrency
Context
Concurrent computing
security
Software algorithms
Metrics
programming
real-time systems
composability
Resiliency
resilience
pubcrawl
biblio
Design and Implementation of Task Driven Communication System with Multi-user Authority
Submitted by grigby1 on Fri, 08/26/2022 - 11:23am
Java
task driven
multi-user rights
high concurrency
Communication Systems
Concurrency
Instruction sets
communication system
Metrics
security
Smart Grids
composability
Hardware
Software
Resiliency
resilience
pubcrawl
biblio
Backwards-directed information flow analysis for concurrent programs
Submitted by grigby1 on Fri, 08/26/2022 - 11:23am
Metrics
weakest-precondition
rely-guarantee-reasoning
information-flow-security
Out of order
Concurrency
automation
Concurrent computing
cognition
security
programming
composability
Analytical models
Hardware
Resiliency
resilience
pubcrawl
biblio
DDoS-as-a-Smokescreen: Leveraging Netflow Concurrency and Segmentation for Faster Detection
Submitted by grigby1 on Fri, 08/26/2022 - 11:23am
DDoS
smoke-screen
segmented flow
NetFlow
distributed denial-of-service
DDoS-as-a-smokescreen
DaaSS
concurrent flow
underlying attack
Personnel
denial-of-service attack
Concurrency
feature extraction
Metrics
composability
Intrusion Detection
internet
privacy
Conferences
Resiliency
resilience
pubcrawl
Anomaly Detection
security
biblio
A Secure And High Concurrency SM2 Cooperative Signature Algorithm For Mobile Network
Submitted by grigby1 on Fri, 08/26/2022 - 11:23am
Online banking
SM2-CSA
SM2 Algorithm
Cooperative-Signature Algorithm
Teleworking
Computational efficiency
Mobility
Concurrency
Elliptic curves
digital signature
security
Mobile handsets
Complexity theory
Metrics
sensors
composability
Resiliency
resilience
pubcrawl
biblio
HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing
Submitted by grigby1 on Tue, 05/03/2022 - 3:57pm
Heuristic algorithms
statistical analysis
Security Heuristics
Search methods
Schedules
Scalability
Resiliency
resilience
pubcrawl
predictability
Concurrency
Concurrent computing
concurrency bugs
concurrency bug pattern
Computer bugs
bug detection
adaptive scheduling
adaptive random testing
security
« first
‹ previous
1
2
3
4
5
6
7
8
next ›
last »
