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
Monitoring
biblio
EL-SEC: ELastic Management of Security Applications on Virtualized Infrastructure
Submitted by
grigby1
on Thu, 12/05/2019 - 9:53am
Attack Analyzer
autonomic VNF instances scaling
clean slate
Cloud Computing
cloud infrastructure
collaboration
computer network security
Control Theory
EL-SEC framework
elastic management of security applications
Elastic Manager
GENI testbed
Human behavior
Human Factors
internetworking
Intrusion Detection
Load management
Metrics
Monitoring
Noise measurement
PI control
PI controllers
PID controllers
Policy
Policy Based Governance
policy governance
proportional integral derivative controllers
pubcrawl
Recursive InterNetwork Architecture
resilience
Resiliency
RINA
SDN
Snort intrusion detection system
software defined networking
three-term control
virtual machines
virtualisation
virtualized infrastructure
virtualized network functions
virtualized security NFs
VNF Snort instances
biblio
Identifying Peer-to-Peer Botnets Through Periodicity Behavior Analysis
Submitted by
grigby1
on Tue, 11/26/2019 - 2:38pm
botnet
Botnet detection
computer network security
Conferences
feature extraction
Human behavior
human factor
Human Factors
invasive software
IP addresses
IP networks
Metrics
Monitoring
network security
P2P botnet
P2P bots
P2P communications
P2P hosts
peer to peer security
peer-to-peer botnets
Peer-to-peer computing
PeerGrep
periodicity behavior
Periodicity Behavior Analysis
pubcrawl
resilience
Resiliency
Scalability
security
Spark
biblio
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers
Submitted by
grigby1
on Tue, 11/26/2019 - 2:35pm
resilience
Monitoring
pubcrawl
Human behavior
Resiliency
Scalability
Human Factors
Kernel
Linux
Instruments
program diagnostics
Runtime
human factor
concurrency control
Concurrent computing
data race
device driver
device drivers
DILP
driver execution
inconsistent lock protection
Linux driver patches
runtime analysis
runtime analysis approach
pattern locks
biblio
Conifer: Centrally-Managed PKI with Blockchain-Rooted Trust
Submitted by
aekwall
on Mon, 11/18/2019 - 10:48am
Monitoring
Scalability
secure communications
Resiliency
Human behavior
pubcrawl
bitcoin
Metrics
blockchain
internet
data structures
Public key
public key cryptography
flexibility
active attackers
blockchain-agnostic way
blockchain-rooted trust
blockchains
central trusted parties
centralized transparency
centrally-managed PKI
Conifer
CONIKS
cryptographic identities
domain names
highly decentralized trust
insecure networks
public keys
secure distributed ledger
secure naming systems
security guarantees
traditional centralized PKIs
traditional centralized-trust systems
trustworthy binding
user-facing names
PKI Trust Models
biblio
Architecture Analysis and Verification of I3C Protocol
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
Aerospace electronics
back end design
base class library
Clocks
collaboration
composability
Compositionality
Conferences
digital integrated circuits
formal verification
front end design
hardware description languages
I3C
I3C bus protocol
improved inter integrated circuit
integrated circuit design
integrated circuit testing
IP networks
MIPI
Monitoring
Pins
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
SoC
system Verilog
test environments
Universal Verification Methodology
UVM
verification components
verification environment
VLSI
biblio
Design of Generic Verification Procedure for IIC Protocol in UVM
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
Aerospace electronics
APB(Advanced peripheral bus)
bugs
Clocks
code coverage
collaboration
composability
Compositionality
Conferences
DUT(Design under test)
field buses
functional coverage
generic verification procedure
hardware description languages
Hardware design languages
IIC bus protocol
IIC controller
IIC protocol
Libraries
Mentor graphic Questasim 10.4e
Monitoring
policy-based governance
privacy
product development
program verification
protocol verification
Protocols
pubcrawl
SCL(Serial clock line)
SDA(Serial data line)
standard method
Synchronization
Universal Verification Methodology
UVC(Universal verification component)
UVM
UVM(Univeral verification methodology)
Verilog
Vivado
biblio
Semantics-Directed Prototyping of Hardware Runtime Monitors
Submitted by
grigby1
on Mon, 11/04/2019 - 11:35am
Biomedical monitoring
building memory protection mechanisms
composability
embedded hardware
embedded processor
embedded systems
formal verification
Hardware
hardware monitor
hardware runtime monitors
Hardware Security
hardware-based protection
high level synthesis
Human behavior
Human Factors
Instruction sets
Model driven development
Monitoring
multiple memory accesses
pubcrawl
rapid-prototyping runtime monitors
reconfigurable architectures
resilience
Resiliency
rop attacks
ROP-style code reuse attacks
Runtime
Scalability
security of data
Semantics
semantics-directed prototyping
software monitor
software-based attacks
biblio
Detection of Temporal Data Ex-Filtration Threats to Relational Databases
Submitted by
aekwall
on Mon, 11/04/2019 - 10:23am
Inspection
Monitoring
authorisation
real-time systems
feature extraction
Resiliency
Human behavior
pubcrawl
composability
Metrics
query processing
Training
Anomaly Detection
data theft
relational databases
unauthorized access
relational database security
anomalous access detection
anomaly detection techniques
Data Analytics for Security
Insider Threats
Temporal Attacks
temporal data ex-filtration threat detection
biblio
CertChain: Public and Efficient Certificate Audit Based on Blockchain for TLS Connections
Submitted by
grigby1
on Wed, 10/23/2019 - 11:38am
auditing
blockchain system
blockchain-based public
Certchain
certificate audit service
certificate forward traceability
certificate revocation checking
certificate revocation mechanisms
certification
Cryptographic Protocols
data consistency
data privacy
data structure
data structures
DCBF
dependability-rank based consensus protocol
dual counting bloom filter
Electronic mail
Human behavior
log servers
log-based schemes
Metrics
Monitoring
Protocols
pubcrawl
public key cryptography
query processing
resilience
Resiliency
revoked certificates checking
Scalability
Security analysis
Servers
SSL connections
SSL Trust Models
system monitoring
telecommunication security
TLS connections
biblio
ArtiFact: Architecture and CAD Flow for Efficient Formal Verification of SoC Security Policies
Submitted by
aekwall
on Tue, 10/22/2019 - 8:54am
security of data
Monitoring
IP networks
system-on-chip
pubcrawl
policy-based governance
Cryptography
tools
security architecture
Complexity theory
Engines
security policy
formal verification
alternative architecture
artifact
CAD
CAD flow
centralized infrastructure IP
complex steps
critical steps
efficient formal verification
expensive steps
flexible infrastructure IP
functional design flow
illustrative policies
industrial SoC
integrated circuit design
modern SoC design validation
off-the-shelf formal tools
Security Engine
security policy implementation
simulation-based security verification
SoC Security
SoC security policies
SoC Verification
streamlined verification
system-level security policies
verification time
verification tools
Security Policies Analysis
1
2
3
4
5
6
7
8
9
…
next ›
last »
