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
e-voting
biblio
An Efficient and Effective Blockchain-based Data Aggregation for Voting System
Submitted by grigby1 on Tue, 02/22/2022 - 1:25pm
Metrics
voting
security
Scalability
Resiliency
resilience
pubcrawl
peer-to-peer security
Peer-to-peer computing
Online Information Services
peer to peer security
Human Factors
e-voting
Databases
data aggregation
Charge carrier processes
blockchains
blockchain
automation
biblio
Implementation of Simple Verifiability Metric to Measure the Degree of Verifiability of E-Voting Protocol
Submitted by grigby1 on Tue, 10/12/2021 - 4:22pm
Electrical Engineering
electronic voting
e-voting
Human behavior
Informatics
Measurement
Metrics
Privacy Policies
Protocols
pubcrawl
Scalability
security
simple verifiability metric
standards
verifiability
biblio
Decentralized E-voting system based on Smart Contract by using Blockchain Technology
Submitted by grigby1 on Thu, 05/20/2021 - 12:32pm
Peer-to-peer computing
Web Browser Security
Truffle framework
smart contracts
smart contract
Resiliency
resilience
Reliability
real-time systems
pubcrawl
blockchain
Metrics
MetaMask
Human behavior
Ganache
ethereum
electronic voting
e-voting
Compositionality
Browsers
biblio
Security Analysis of the Electronic Voting Protocol Based on Blind Intermediaries Using the SPIN Verifier
Submitted by grigby1 on Fri, 10/16/2020 - 11:23am
LTL
verification
tools
SPIN verifier
SPIN formal verifier
SPIN
Security analysis
Resiliency
resilience
pubcrawl
Protocol Security
Promela language
policy-based governance
model checking
MITM
man in the middle attack
authentication
Linear Temporal Logic
government data processing
formal verification
Electronic voting systems
electronic voting system
electronic voting protocol
electronic voting
e-voting
E-Government
data substitution
Cybersecurity
Cryptographic Protocols
cryptographic protocol
collaboration
