share record
persistent URL:
Erwan Jahier , Karine Altisen , Stéphane Devismes , Gabriel B. Sant'Anna : Model Checking of Distributed Algorithms Using Synchronous Programs. SSS 2023 : 18-35 share record
persistent URL:
Pratima Jana , Ratna Dutta : Post-quantum Secure Stateful Deterministic Wallet from Code-Based Signature Featuring Uniquely Rerandomized Keys. SSS 2023 : 568-582 share record
persistent URL:
Nikolaos D. Kallimanis , Eleni Kanellou , Charidimos Kiosterakis , Vasiliki Liagkou : Exploring Trade-Offs in Partial Snapshot Implementations. SSS 2023 : 90-105 share record
persistent URL:
Leonid A. Levin : Invited Paper: How Do Humans Succeed in Tasks Like Proving Fermat's Theorem or Predicting the Higgs Boson? SSS 2023 : 513-517 share record
persistent URL:
Anshuman Misra , Ajay D. Kshemkalyani : Brief Announcement: Byzantine-Tolerant Detection of Causality in Synchronous Systems. SSS 2023 : 57-61 share record
persistent URL:
Anshuman Misra , Ajay D. Kshemkalyani : Byzantine Fault-Tolerant Causal Order Satisfying Strong Safety. SSS 2023 : 111-125 export record
dblp key:
conf/sss/MorgensternDKAZR23 share record
persistent URL:
Gal Morgenstern , Lital Dabush , Jip Kim , James Anderson , Gil Zussman , Tirza Routtenberg : Invited Paper: Detection of False Data Injection Attacks in Power Systems Using a Secured-Sensors and Graph-Based Method. SSS 2023 : 240-258 share record
persistent URL:
Alfredo Navarra , Francesco Piselli : Asynchronous Silent Programmable Matter: Line Formation. SSS 2023 : 598-612 share record
persistent URL:
Saptadi Nugroho , Alexander Weinmann , Christian Schindelhauer : Adding Pull to Push Sum for Approximate Data Aggregation. SSS 2023 : 75-89 share record
persistent URL:
Debasish Pattanayak , Gokarna Sharma , Partha Sarathi Mandal : Dispersion of Mobile Robots in Spite of Faults. SSS 2023 : 414-429 share record
persistent URL:
Ronald Petrlic , Christof Lange : KerberSSIze Us: Providing Sovereignty to the People. SSS 2023 : 259-273 share record
persistent URL:
Hirokazu Seike , Yukiko Yamauchi : Separation of Unconscious Colored Robots. SSS 2023 : 328-343 share record
persistent URL:
Sahiba Suryawanshi , Dhiman Saha : Where Are the Constants? New Insights on the Role of Round Constant Addition in the SymSum Distinguisher. SSS 2023 : 223-239 share record
persistent URL:
Devharsh Trivedi : Brief Announcement: Efficient Probabilistic Approximations for Sign and Compare. SSS 2023 : 289-296 share record
persistent URL:
Shlomi Dolev , Baruch Schieber : Stabilization, Safety, and Security of Distributed Systems - 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings. Lecture Notes in Computer Science 14310, Springer 2023 , ISBN 978-3-031-44273-5 [contents]