C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Guy Gueta
ORCID
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 5
Top Topics
Distributed Computing
Database Replication
Quantifier Elimination
Failure Recovery
Top Venues
CoRR
Proc. ACM Program. Lang.
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Orr Tamir
,
Marcelo Taube
,
Kenneth L. McMillan
,
Sharon Shoham
,
Jon Howell
,
Guy Gueta
,
Mooly Sagiv
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols.
Proc. ACM Program. Lang.
7 (OOPSLA2) (2023)
Alin Tomescu
,
Adithya Bhat
,
Benny Applebaum
,
Ittai Abraham
,
Guy Gueta
,
Benny Pinkas
,
Avishay Yanai
UTT: Decentralized Ecash with Accountable Privacy.
IACR Cryptol. ePrint Arch.
2022 (2022)
Ittai Abraham
,
Guy Gueta
,
Dahlia Malkhi
,
Jean-Philippe Martin
Revisiting Fast Practical Byzantine Fault Tolerance: Thelma, Velma, and Zelma.
CoRR
(2018)
Ittai Abraham
,
Guy Gueta
,
Dahlia Malkhi
Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil.
CoRR
(2018)
Ittai Abraham
,
Guy Gueta
,
Dahlia Malkhi
,
Lorenzo Alvisi
,
Ramakrishna Kotla
,
Jean-Philippe Martin
Revisiting Fast Practical Byzantine Fault Tolerance.
CoRR
(2017)
Guy Gueta
,
Cormac Flanagan
,
Eran Yahav
,
Mooly Sagiv
Cartesian Partial-Order Reduction.
SPIN
(2007)