18 citations · 31 across the 7 of their papers we have counts for
7 papers
Distributed Random Process for a Large-Scale Peer-to-Peer Lottery
Stéphane Grumbach, Robert Riemann
Most online lotteries today fail to ensure the verifiability of the random process and rely on a trusted third party. This issue has received little attention since the emergence o…
Secure and Trustable Distributed Aggregation based on Kademlia
Stéphane Grumbach, Robert Riemann
Aggregation of values that need to be kept confidential while guaranteeing the robustness of the process and the correctness of the result is required in an increasing number of ap…
Distributed Protocols at the Rescue for Trustworthy Online Voting
Robert Riemann, Stéphane Grumbach
While online services emerge in all areas of life, the voting procedure in many democracies remains paper-based as the security of current online voting technology is highly disput…
On the distributed evaluation of recursive queries over graphs
Stephane Grumbach, Fang Wang, Zhilin Wu
Logical formalisms such as first-order logic (FO) and fixpoint logic (FP) are well suited to express in a declarative manner fundamental graph functionalities required in distribut…
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs
Zhilin Wu, Stephane Grumbach
Motion planning is a fundamental problem of robotics with applications in many areas of computer science and beyond. Its restriction to graphs has been investigated in the literatu…
Logical locality entails frugal distributed computation over graphs
Stephane Grumbach, Zhilin Wu
First-order logic is known to have limited expressive power over finite structures. It enjoys in particular the locality property, which states that first-order formulae cannot hav…