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
ethereum
biblio
A Formal Verification Tool for Ethereum VM Bytecode
Submitted by grigby1 on Fri, 06/28/2019 - 10:36am
Compositionality
ethereum
formal verification
K framework
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
smart contracts
biblio
Blockchain Landscape and AI Renaissance: The Bright Path Forward
Submitted by aekwall on Mon, 03/18/2019 - 9:51am
bitcoin
bitcoin security
blockchain
Consensus
ethereum
Human behavior
hyperledger
pubcrawl
Scalability
biblio
Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts
Submitted by grigby1 on Thu, 02/14/2019 - 11:19am
composability
ethereum
integer bugs
Metrics
pubcrawl
smart contracts
Symbolic Execution
taint analysis
biblio
Making Smart Contracts Smarter
Submitted by grigby1 on Tue, 10/03/2017 - 11:50am
bitcoin
bitcoin security
blockchain
blockchain security
cryptocurrencies
ethereum
Human behavior
pubcrawl
Ransomware
Resiliency
Scalability
security
smart contract
Symbolic Execution
biblio
The Ring of Gyges: Investigating the Future of Criminal Smart Contracts
Submitted by grigby1 on Tue, 10/03/2017 - 11:50am
bitcoin
bitcoin security
criminal smart contracts
ethereum
Human behavior
pubcrawl
Ransomware
Resiliency
Scalability
security
biblio
Town Crier: An Authenticated Data Feed for Smart Contracts
Submitted by grigby1 on Tue, 10/03/2017 - 11:50am
authenticated data feeds
bitcoin
bitcoin security
ethereum
Human behavior
Intel SGX
pubcrawl
Ransomware
Resiliency
Scalability
security
smart contracts
trusted hardware
« first
‹ previous
1
2
3
4
5
