Found 62 Documents (Results 1–62)
Transparent batchable time-lock puzzles and applications to Byzantine consensus. (English) Zbl 07770268
Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13940, 554-584 (2023).
Revisiting the efficiency of perfectly secure asynchronous multi-party computation against general adversaries. (English) Zbl 07726566
Isobe, Takanori (ed.) et al., Progress in cryptology – INDOCRYPT 2022. 23rd international conference on cryptology in India, Kolkata, India, December 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13774, 223-248 (2023).
A recursive early-stopping phase king protocol. (English) Zbl 07824250
Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 60-69 (2022).
Brief announcement: Be prepared when network goes bad: an asynchronous view-change protocol. (English) Zbl 07824195
Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 187-190 (2021).
Location functions for self-stabilizing Byzantine tolerant swarms. (English) Zbl 1521.68219
Johnen, Colette (ed.) et al., Stabilization, safety, and security of distributed systems. 23rd international symposium, SSS 2021, virtual event, November 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13046, 229-242 (2021).
Optimal dispersion on an anonymous ring in the presence of weak Byzantine robots. (English) Zbl 1514.68015
Brief announcement: Optimally-resilient unconditionally-secure asynchronous multi-party computation revisited. (English) Zbl 1540.68028
Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 44, 3 p. (2020).
Asynchronous reconfiguration with Byzantine failures. (English) Zbl 1540.68038
Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 27, 17 p. (2020).
Efficient dispersion on an anonymous ring in the presence of weak Byzantine robots. (English) Zbl 1475.68395
Pinotti, Cristina M. (ed.) et al., Algorithms for sensor systems. 16th international symposium on algorithms and experiments for wireless sensor networks, ALGOSENSORS 2020, Pisa, Italy, September 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12503, 154-169 (2020).
Fast Byzantine gathering with visibility in graphs. (English) Zbl 1475.68394
Pinotti, Cristina M. (ed.) et al., Algorithms for sensor systems. 16th international symposium on algorithms and experiments for wireless sensor networks, ALGOSENSORS 2020, Pisa, Italy, September 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12503, 140-153 (2020).
Byzantine approximate agreement on graphs. (English) Zbl 1515.68074
Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 29, 17 p. (2019).
Verification of randomized consensus algorithms under round-rigid adversaries. (English) Zbl 07649941
Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 33, 15 p. (2019).
MSC:
68Q85
Brief announcement: Coded state machine – scaling state machine execution under Byzantine faults. (English) Zbl 1543.68051
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 150-152 (2019).
Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. (English) Zbl 1473.68025
Self-stabilization and Byzantine tolerance for maximal matching. (English) Zbl 1519.68019
Izumi, Taisuke (ed.) et al., Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11201, 80-95 (2018).
A lower bound for adaptively-secure collective coin-flipping protocols. (English) Zbl 1508.68123
Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 34, 16 p. (2018).
Synthesis of distributed algorithms with parameterized threshold guards. (English) Zbl 1487.68252
Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 32, 20 p. (2018).
Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. (English) Zbl 1515.68070
Richa, Andréa W. (ed.), 31st international symposium on distributed computing, DISC 2017, Vienna, Austria, October 16–20, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 91, Article 32, 15 p. (2017).
An improved approximate consensus algorithm in the presence of mobile faults. (English) Zbl 1499.68385
Spirakis, Paul (ed.) et al., Stabilization, safety, and security of distributed systems. 19th international symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10616, 109-125 (2017).
\(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. (English) Zbl 1380.68279
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. (English) Zbl 1380.68278
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 719-734 (2017).
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. (English) Zbl 1355.68176
Robust multi-agent optimization: coping with Byzantine agents with input redundancy. (English) Zbl 1425.68036
Bonakdarpour, Borzoo (ed.) et al., Stabilization, safety, and security of distributed systems. 18th international symposium, SSS 2016, Lyon, France, November 7–10, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10083, 368-382 (2016).
Search on a line by Byzantine robots. (English) Zbl 1398.68651
Seok-Hee Hong (ed.), 27th international symposium on algorithms and computation, ISAAC 2016, Sydney, Australia, December 12–14, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-026-2). LIPIcs – Leibniz International Proceedings in Informatics 64, Article 27, 12 p. (2016).
Fault-tolerant multi-agent optimization: optimal iterative distributed algorithms. (English) Zbl 1375.68206
Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 425-434 (2016).
Fault-tolerant consensus in directed graphs. (English) Zbl 1333.68072
Proceedings of the 2015 ACM symposium on principles of distributed computing, PODC ’15, Donostia-San Sebastián, Spain, July 21–23, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3617-8). 451-460 (2015).
Fault-tolerant algorithms for tick-generation in asynchronous logic: robust pulse generation. (English) Zbl 1321.68556
Early-deciding consensus is expensive. (English) Zbl 1323.68043
Proceedings of the 2013 ACM symposium on principles of distributed computing, PODC ’13, Montreal, QC, Canada, July 22–24, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2065-8). 270-279 (2013).
Iterative approximate Byzantine consensus in arbitrary directed graphs. (English) Zbl 1301.68168
Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 365-374 (2012).
Byzantine broadcast in point-to-point networks using local linear coding. (English) Zbl 1301.68069
Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 319-328 (2012).
A new parameter for a broadcast algorithm with locally bounded Byzantine faults. (English) Zbl 1233.68102
Brahms, Byzantine resilient random membership sampling. (English) Zbl 1301.68250
Proceedings of the 27th annual ACM symposium on principles of distributed computing, PODC ’08, Toronto, Canada, August 18–21, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-989-0). 145-154 (2008).
The CoBFIT toolkit. (English) Zbl 1283.68101
Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 350-351 (2007).
Tolerating corrupted communication. (English) Zbl 1283.68079
Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 244-253 (2007).
Self-stabilizing Byzantine agreement. (English) Zbl 1314.68075
Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 143-152 (2006).
Feasibility and complexity of broadcasting with random transmission failures. (English) Zbl 1314.68080
Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 334-341 (2005).
Random oracles in constantipole, practical asynchronous Byzantine agreement using cryptography (extended abstract). (English) Zbl 1314.68074
Proceedings of the 19th annual ACM symposium on principles of distributed computing, PODC ’00, Portland, OR, USA, July 16–19, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-183-6). 123-132 (2000).
Optimal communication in networks with randomly distributed Byzantine faults. (English) Zbl 0802.90042
MSC:
90B18
A compiler that increases the fault tolerance of asynchronous protocols. (English) Zbl 0663.68035
MSC:
68N25
Byzantine firing squad using a faulty external source. (English) Zbl 0648.68028
Distributed algorithms, Proc. 2nd Int. Workshop, Amsterdam/Neth. 1987, Lect. Notes Comput. Sci. 312, 76-83 (1988).
Distributed agreement in the presence of processor and communication faults. (English) Zbl 0587.68026
MSC:
68N25
Filter Results by …
Document Type
- Journal Articles (30)
- Collection Articles (32)
all
top 5
Author
- Lenzen, Christoph (6)
- Vaidya, Nitin H. (6)
- Widder, Josef (6)
- Konnov, Igor V. (5)
- Lazić, Marijana (4)
- Rybicki, Joel (4)
- Tseng, Lewis (4)
- Biely, Martin (3)
- Dolev, Danny (3)
- Liang, Guanfeng (3)
- Pelc, Andrzej (3)
- Veith, Helmut (3)
- Ashkenazi, Yotam (2)
- Bortnikov, Edward (2)
- Choudhary, Ashish (2)
- Czyzowicz, Jurek (2)
- Dolev, Shlomi (2)
- Georgiou, Konstantinos (2)
- Gurevich, Maxim (2)
- Hutle, Martin (2)
- Kamei, Sayaka (2)
- Katayama, Yoshiaki (2)
- Keidar, Idit (2)
- Kliot, Gabriel (2)
- Kranakis, Evangelos Konstantinou (2)
- Krizanc, Danny (2)
- Kuznetsov, Petr (2)
- Melliar-Smith, P. Michael (2)
- Molla, Anisur Rahaman (2)
- Mondal, Kaushik (2)
- Moser, Louise E. (2)
- Moses, William K. jun. (2)
- Narayanan, Lata (2)
- Ooshita, Fukuhito (2)
- Opatrny, Jaroslav (2)
- Peleg, David (2)
- Shende, Sunil M. (2)
- Shraer, Alexander (2)
- Su, Lili (2)
- Tonkikh, Andrei (2)
- Wada, Koichi (2)
- Akar, Mehmet (1)
- Angluin, Dana (1)
- Appan, Ananya (1)
- Aspnes, James (1)
- Avestimehr, Salman (1)
- Ayeb, Béchir (1)
- Bertrand, Nathalie (1)
- Bessani, Alysson Neves (1)
- Bloem, Roderick (1)
- Blough, Douglas M. (1)
- Bonnet, François (1)
- Cachin, Christian (1)
- Chandramouli, Anirudh (1)
- Charron-Bost, Bernadette (1)
- Coan, Brian A. (1)
- Cohen, Johanne (1)
- Correia, Miguel V. (1)
- Daliot, Ariel (1)
- Défago, Xavier (1)
- Eisenstat, David (1)
- Florian, Martin (1)
- Függer, Matthias (1)
- Gaillard, Antoine (1)
- Gelashvili, Rati (1)
- Harrington, Michael (1)
- Henningsen, Sebastian (1)
- Ichimura, Akira (1)
- Kannan, Sreeram (1)
- Kihlstrom, Kim Potter (1)
- Kogias, Lefteris Kokoris (1)
- Komargodski, Ilan (1)
- Kunne, Stephan (1)
- Kursawe, Klaus (1)
- Leonardos, Nikos (1)
- Li, Songze (1)
- Loss, Julian (1)
- Malavolta, Giulio (1)
- Malkhi, Dahlia (1)
- Merritt, Michael J. (1)
- Miller, Avery (1)
- Nayak, Kartik (1)
- Ndolo, Charmaine (1)
- Nguyen, Thanh Dang (1)
- Nowak, Thomas (1)
- Öksüz, Halil Yiğit (1)
- Ordman, Edward T. (1)
- Pagourtzis, Aris T. (1)
- Papaioannou, Ioannis (1)
- Papamanthou, Charalampos (1)
- Perry, Kenneth J. (1)
- Pilard, Laurence (1)
- Potop-Butucaru, Maria Gradinariu (1)
- Ramasamy, HariGovind (1)
- Raz, Ran (1)
- Reischuk, Rüdiger (1)
- Reiter, Michael K. (1)
- Saha, Ullash (1)
- Sahraei, Saeid (1)
- Sanders, William H. (1)
- and 18 more Authors
all
top 5
Serial
- Distrib. Comput. (6)
- Theor. Comput. Sci. (5)
- Inf. Comput. (3)
- Inf. Process. Lett. (2)
- IEEE Trans. Comput. (2)
- J. ACM (2)
- Int. J. Control (1)
- Comput. J. (1)
- Inf. Control (1)
- Inf. Sci. (1)
- Networks (1)
- J. Parallel Distrib. Comput. (1)
- Int. J. Found. Comput. Sci. (1)
- IEEE Trans. Softw. Eng. (1)
- Form. Methods Syst. Des. (1)
- Comput. Netw. (1)
all
top 3
Software
- ByMC (4)
- Verdi (3)
- z3 (3)
- Chapar (2)
- FAST (2)
- IronFleet (2)
- Lingeling (2)
- PSync (2)
- Plingeling (2)
- Treengeling (2)
- Archive Formal Proofs (1)
- CVC4 (1)
- CoBFIT (1)
- Constructive Proof FLP (1)
- Distal (1)
- GitHub (1)
- Horus (1)
- Ivy (1)
- Linda (1)
- NuSMV (1)
- PRISM (1)
- SNARKs for C (1)
- SPIN (1)
- TLA (1)
- nuXmv (1)
