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
tools
biblio
SoK: Fully Homomorphic Encryption Compilers
Submitted by grigby1 on Fri, 08/12/2022 - 2:10pm
tools
encryption
pubcrawl
Resiliency
privacy
composability
Metrics
resilience
Data Breach
Surges
SoK
usability
compiler security
compilers
FHE
Fully-Homomorphic-Encryption
biblio
SoC Trust Validation Using Assertion-Based Security Monitors
Submitted by grigby1 on Fri, 08/12/2022 - 2:09pm
automata
System Verilog Assertions
Security and Hardware Monitors
Property Specification Language
Assertion Based Verification
system-on-chip
fabrication
compiler security
Metrics
tools
Layout
Runtime
composability
Hardware
Resiliency
pubcrawl
security
biblio
A Survey of using Computational Intelligence (CI) and Artificial Intelligence (AI) in Human Resource (HR) Analytics
Submitted by grigby1 on Wed, 08/10/2022 - 2:44pm
tools
Training
pubcrawl
composability
Decision Making
Artificial Intelligence
Compositionality
learning (artificial intelligence)
AI
computational intelligence
survey
Engineering profession
CI
career development
HR analytics
biblio
Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations
Submitted by grigby1 on Tue, 08/02/2022 - 4:20pm
Language theoretic security
Trustworthy Systems
tools
Systems architecture
Software algorithms
Software
Resiliency
resilience
pubcrawl
expert systems
Hardware
formal verification
formal synthesis
computer architecture
compiler security
Architecture modeling
privacy
biblio
Review on Trustworthy Analysis in binary code
Submitted by grigby1 on Tue, 08/02/2022 - 4:20pm
Android application
binary code
Binary codes
deep learning
Learning systems
malware
Medical services
programming
pubcrawl
resilience
Resiliency
Schedules
tools
trustworthy
Trustworthy Systems
biblio
Methods of Detecting and Neutralizing Potential DHCP Rogue Servers
Submitted by grigby1 on Fri, 07/29/2022 - 5:13pm
tools
Servers
IP networks
pubcrawl
resilience
Resiliency
Routing
network security
computer security
computer networks
operating systems
testing
Operating systems security
DHCP rogue servers
DHCP servers
GNU/Linux operating systems
biblio
A Model-Driven Framework for Security Labs using Blockchain Methodology
Submitted by aekwall on Fri, 07/29/2022 - 4:28pm
composability
object oriented security
Meta Modeling
MDA
Automatic Code Generation
Sirius tool
Acceleo
documentation
Java
Transforms
Resiliency
Metrics
pubcrawl
Conferences
tools
data privacy
blockchain
biblio
A Review on Internet of Things Based Door Security
Submitted by grigby1 on Fri, 07/29/2022 - 9:43am
blockchain
pattern locks
webcamera
solenoid lock
FFT
Bluetooth sensor
Arduino
automation
Employment
IoT
Data Security
tools
Fingerprint recognition
home automation
Scalability
security
Hardware
Resiliency
resilience
Human behavior
pubcrawl
biblio
An Authenticated Key Agreement Scheme for Secure Communication in Smart Grid
Submitted by grigby1 on Fri, 07/29/2022 - 9:04am
Smart Grid
power grid vulnerability analysis
session key
trusted authority
key agreement
secure communication
Metrics
Smart Grids
Wireless communication
smart meters
tools
Protocols
authentication
Scalability
Resiliency
resilience
pubcrawl
security
privacy
biblio
Vulnerability Assessment and Attack Simulation of Power IoT Based on the Attractiveness of Equipment Assets
Submitted by grigby1 on Fri, 07/29/2022 - 9:02am
tools
pubcrawl
resilience
Resiliency
Conferences
Software
Hardware
Scalability
Metrics
information management
vulnerability assessment
automation
power systems
power IoT
attack simulation
power grid vulnerability analysis
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
