Time, Privacy, Robustness, Accuracy: Trade-Offs for the Open Vote Network Protocol

Autor: Fatima-Ezzahra El Orche, Rémi Géraud-Stewart, Peter B. Rønne, Gergei Bana, David Naccache, Peter Y. A. Ryan, Marco Biroli, Megi Dervishi, Hugo Waltsburger

Publikováno v: Lecture Notes in Computer Science
International Joint Conference on Electronic Voting 2022
International Joint Conference on Electronic Voting 2022, Oct 2022, Bregenz, Austria. pp.19-35, ⟨10.1007/978-3-031-15911-4_2⟩
Electronic Voting ISBN: 9783031159107

The open vote network ( [10]) is a secure two-round multi-party protocol facilitating the computation of a sum of integer votes without revealing their individual values. This is done without a central authority trusted for privacy, and thus allows d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e3d3be7823dd1f04c9ba16f850f034d7
https://cnrs.hal.science/hal-03913581

A Semantics for 'Typically' in First-Order Default Reasoning

Autor: Gergei Bana, Mitsuhiro Okada

Publikováno v: New Frontiers in Artificial Intelligence ISBN: 9783030799410
JSAI-isAI Workshops

We present a new semantics for first-order conditional logic, which is a generalization of that of Friedman, Halpern and Koller [7]. We utilize Fitting’s embedding of first-order classical logic in first-order S4 to define our semantics. We explain

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::204e7cf355ef011509a68b2d914b22d8
https://doi.org/10.1007/978-3-030-79942-7_1

Models of Objective Chance: An Analysis through Examples

Autor: Gergei Bana

Publikováno v: European Studies in Philosophy of Science ISBN: 9783319554853

In his seminal work, A Subjectivist’s Guide to Objective Chance, David Lewis considered the possibility for a subjectivist to accept the existence of objective chance, and argued how this acceptance would affect the subjectivist’s degrees of beli

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0f210a3adc2fefb95c75e8812e235577
https://doi.org/10.1007/978-3-319-55486-0_3

A note on portfolios with risk-free internal gains

Autor: Gergei Bana

Publikováno v: Expositiones Mathematicae. 25(1):83-93

In this paper we show that if a not-necessarily-self-financing portfolio has instantaneously riskless internal gains, then on an infinitesimal time-interval, the increase in the internal gains on the portfolio is the same as the change in the price o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::acfc833dab8ba0418b2b73733f27c615

Computationally Complete Symbolic Attacker and Key Exchange

Autor: Mitsuhiro Okada, Gergei Bana, Koji Hasebe

Publikováno v: CCS '13 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
CCS 2013-20th ACM Conference on Computer and Communications Security
CCS 2013-20th ACM Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. pp.1231-1246, ⟨10.1145/2508859.2516710⟩
ACM Conference on Computer and Communications Security

International audience; Recently, Bana and Comon-Lundh introduced the notion of computationally complete symbolic attacker to deliver unconditional computational soundness to symbolic protocol verification. First we explain the relationship between t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ec1873b22a23a18f1e8bb39c5f0897b
https://hal.inria.fr/hal-00918848