3 papers
cs.PL2026
Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
Hongyi Ling, Thibault Dardinier, Ellen Arlt +1
Automated program verifiers are often organized into a front-end, which encodes an input program into an intermediate verification language (IVL), and a back-end, which proves that…
cs.GT2021
From Monopoly to Competition: Optimal Contests Prevail
Xiaotie Deng, Yotam Gafni, Ron Lavi +2
We study competition among contests in a general model that allows for an arbitrary and heterogeneous space of contest design, where the goal of the contest designers is to maximiz…
cs.CR2020
An Efficient Permissioned Blockchain with Provable Reputation Mechanism
Hongyin Chen, Zhaohua Chen, Yukun Cheng +5
The design of permissioned blockchains places an access control requirement for members to read, access, and write information over the blockchains. In this paper, we study a hiera…