搜索结果: 1-15 共查到“知识库 game”相关记录284条 . 查询时间(0.078 秒)
A critique of game-based definitions of receipt-freeness for voting
E-voting receipt-freeness privacy
2019/7/24
We analyse three game-based definitions of receipt-freeness; uncovering soundness issues with two of the definitions and completeness issues with all three. Hence, two of the definitions are too weak,...
Quantum Lazy Sampling and Game-Playing Proofs for Quantum Indifferentiability
game-playing proofs QROM indifferentiability
2019/4/28
Game-playing proofs constitute a powerful framework for classical cryptographic security arguments, most notably applied in the context of indifferentiability. An essential ingredient in such proofs i...
Secure Trick-Taking Game Protocols: How to Play Online Spades with Cheaters
Trick-Taking Games Zero-Knowledge Spades, Bridge
2019/4/15
Trick-Taking Games (TTGs) are card games in which each player plays one of his cards in turn according to a given rule. The player with the highest card then wins the trick, i.e., he gets all the card...
Game Channels: State Channels for the Gambling Industry with Built-In PRNG
blockchain distributed cryptography public-key cryptography
2019/4/10
Blockchain technology has immense potential. At the same time, it is not always possible to scale blockchains. State Channels solve the problem of scalability while increasing the blockchain's speed a...
Coin toss has been extensively studied in the cryptography literature, and the well-accepted notion of fairness (henceforth called strong fairness) requires that a corrupt coalition cannot cause non-n...
Use of an Online Spaced-Education Game to Study Top 200 Drugs in a Skills Laboratory Course
Use Online Spaced-Education Game
2018/11/22
Objective. To describe the use of an online spaced-education (SE) game to study top 200 drug information in a first-year skills laboratory course.
Methods. There were 236 students enrolled in a volun...
Simplifying Game-Based Definitions: Indistinguishability up to Correctness and Its Application to Stateful AE
indistinguishability oracle silencing provable security
2018/6/5
Often the simplest way of specifying game-based cryptographic definitions is apparently barred because the adversary would have some trivial win. Disallowing or invalidating these wins can lead to com...
CryptHOL: Game-based Proofs in Higher-order Logic
Provable Security Game-based Proofs Theorem Proving
2017/8/8
Game-based proofs are a well-established paradigm for structuring security arguments and simplifying their understanding. We present a novel framework, CryptHOL, for rigorous game-based proofs that is...
A Game-Theoretic Approach to Word Sense Disambiguation
Word Sense Disambiguation Game-Theoretic
2017/4/6
This article presents a new model for word sense disambiguation formulated in terms of evolutionary
game theory, where each word to be disambiguated is represented as a node on a graph
whose edges r...
Asharov, Canetti, and Hazay (Eurocrypt 2011) studied how game-theoretic concepts can be used to capture the cryptographic properties of correctness, privacy, and fairness in two-party protocols for fa...
Game-Based Privacy Analysis of RFID Security Schemes for Confident Au-thentication in IoT
RFID authentication protocols Traceability attacks Internet of Things
2016/6/27
Recently, Radio Frequency Identification (RFID) and Near Field Communication (NFC) systems are found in various
user-friendly services that all of us deal with in our daily lives. As these systems ar...
Game-Theoretic Framework for Integrity Veri cation in Computation Outsourcing
computation outsourcing integrity game theory
2016/6/22
In the cloud computing era, in order to avoid computational burdens, many organizations tend to outsource their computations to third-party cloud servers. In order to protect service quality, the inte...
El debate sobre el cambio climático interpretado como un juego de persuasión(The climate change debate as a persuasion game)
cambio climático persuasión racionalidad inferencialismo debates científicos cambio científico argumentación:evaluación de argumentos climate change persuasion rationality inferentialism scientific debates scientific change argumentation evaluation of arguments
2016/6/14
Los científicos tratan de persuadir a sus colegas y, en última instancia, al conjunto de la sociedad, para que acepten sus tesis, descubrimientos y propuestas. Desarrollan para ello una serie de estra...
Text Entry Using a Dual Joystick Game Controller
Text entry dual joystick dual control pad game controller, game console
2016/5/24
We present a new bimanual text entry technique designed
for today’s dual-joystick game controllers. The left and
right joysticks are used to independently select characters
from the corresponding (...
Game-Based Cryptanalysis of a Lightweight CRC-Based Authentication Protocol for EPC Tags
Internet of things RFID authentication protocols Security and privacy
2016/4/21
The term "Internet of Things (IoT)" expresses a huge network of smart and connected objects which can interact with other devices without our interposition. Radio frequency identification (RFID) is a ...