57 citations · 112 across the 8 of their papers we have counts for
8 papers
Automatic verification of transparency protocols (extended version)
Vincent Cheval, José Moreira, Mark Ryan
Transparency protocols are protocols whose actions can be publicly monitored by observers (such observers may include regulators, rights advocacy groups, or the general public). Th…
Exploring Web3 From the View of Blockchain
Qin Wang, Rujia Li, Qi Wang +3
Web3 is the most hyped concept from 2020 to date, greatly motivating the prosperity of the Internet of Value and Metaverse. However, no solid evidence stipulates the exact definiti…
SoK: TEE-assisted Confidential Smart Contract
Rujia Li, Qin Wang, Qi Wang +2
The blockchain-based smart contract lacks privacy since the contract state and instruction code are exposed to the public. Combining smart-contract execution with Trusted Execution…
CAOS: Concurrent-Access Obfuscated Store
Mihai Ordean, Mark Ryan, David Galindo
This paper proposes Concurrent-Access Obfuscated Store (CAOS), a construction for remote data storage that provides access-pattern obfuscation in a honest-but-curious adversarial m…
DTKI: a new formalized PKI with no trusted parties
Jiangshan Yu, Vincent Cheval, Mark Ryan
The security of public key validation protocols for web-based applications has recently attracted attention because of weaknesses in the certificate authority model, and consequent…
Verification of agent knowledge in dynamic access control policies
Masoud Koleini, Eike Ritter, Mark Ryan
We develop a modeling technique based on interpreted systems in order to verify temporal-epistemic properties over access control policies. This approach enables us to detect infor…