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
electronic voting
biblio
Verifying Accountability for Unbounded Sets of Participants
Submitted by grigby1 on Wed, 08/03/2022 - 3:12pm
pubcrawl
Protocols
verification
composability
computer security
accountability
trustworthiness
formal-methods
electronic voting
Security-Protocols
biblio
Implementation of Simple Verifiability Metric to Measure the Degree of Verifiability of E-Voting Protocol
Submitted by grigby1 on Tue, 10/12/2021 - 3: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 - 11:32am
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
Increasing Participation and Security in Student Elections through Online Voting: The Case of Kabarak University
Submitted by grigby1 on Tue, 03/09/2021 - 2:04pm
online access
voting processes
three factor authentication
testing
student elections management
security
secure online voting system
Scalability
resultant system
Resiliency
resilience
pubcrawl
politics
password
Participation
online voting
authentication
offline electronic voting system
Mobile handsets
Metrics
Kabarak University
internet
Human behavior
further education
Electronic voting systems
electronic voting
Electronic mail
Educational institutions
e-voting systems
Dynamic Systems Development Methodology (DSDM)
campus hall voting
BIOS
biblio
E-Voting System In Smart Phone Using Mobile Application
Submitted by grigby1 on Thu, 01/28/2021 - 12:32pm
Humanoid robots
Web technologies
voting process
smart phones
smart phone
Servers
Scalability
Resiliency
resilience
pubcrawl
polling booth
OTP
mobile computing
Mobile Application
Metrics
internet
android encryption
Human behavior
government data processing
fraud voters
fraud
encryption
electronic voting
e-voting system
Cryptography
computer science
casted vote count
biometric
Androids
Android platform
AES256 algorithm
Aes256
biblio
Security Analysis of the Electronic Voting Protocol Based on Blind Intermediaries Using the SPIN Verifier
Submitted by grigby1 on Fri, 10/16/2020 - 10: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
biblio
BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme
Submitted by grigby1 on Wed, 08/02/2017 - 1:17pm
collaboration
Cybersecurity
E-Government
Electronic government
electronic voting
foundations
Government
Human behavior
Policy
pubcrawl
randomizable encryption
receipt freeness
Resiliency
profile
Poorvi Vora
electronic voting
Cryptography
Cryptographic Protocols
District of Columbia
biblio
Group signature entanglement in e-voting system
Submitted by BrandonB on Wed, 05/06/2015 - 10:09am
group signature entanglement
security system
security of data
replay attack
Receivers
Qubit
Quantum entanglement
quantum computing
Protocols
politics
man-in-the-middle attack
authentication
Entanglement
entangled state
electronic voting
eavesdropping
e-voting system
digital signatures
database
cheating purposes
ballots
