第25届SSS 2023：美国新泽西州泽西市
什洛米·多列夫 
, 巴鲁克·希伯 :
分布式系统的稳定、安全和安保——第25届国际研讨会，SSS 2023，美国新泽西州泽西市，2023年10月2日至4日，会议记录。 计算机科学课堂讲稿 14310, 施普林格 2023 ，国际标准图书编号 978-3-031-44273-5 埃尔万·贾希尔 , 卡琳·阿尔蒂森 , Stéphane Devismes :
使用模拟探索自稳定算法的最坏情况。 1-17 埃尔万·贾伊尔 , 卡琳·阿尔蒂森 , Stéphane Devismes公司 , 加布里埃尔·B·圣安娜 :
使用同步程序对分布式算法进行模型检查。 18-35 加埃塔诺Coccimiglio , 特雷弗布朗 , 斯利瓦桑·拉维 :
持久集的围栏复杂性。 36-51 温弗雷德·阿费内库（Winfred Afeaneku） , 安德鲁·伯恩斯 , 韦斯顿·库欣贝格 , 萨拉·莱辛格 , 塞德里克·刘 :
简要通告：通过仿真了解自稳定节点电容覆盖网络。 52-56 安舒马·米斯拉 , Ajay D.Kshemkalyani :
简要公告：拜占庭容忍同步系统因果关系检测。 57-61 埃利·加夫尼 , 朱利亚诺·洛萨 :
受邀论文：时间不是治愈者，但它确实会让你20:20大吃一惊。 62-74 萨普塔迪·努格罗霍 , 亚历山大·温曼 , 克里斯蒂安·辛德尔豪尔 :
为近似数据聚合添加Pull to Push Sum。 75-89 尼古拉斯·D·卡拉马尼斯 , 埃利尼·卡内卢 , Charidimos Kiosterakis公司 , Vasiliki Liagkou公司 :
探索部分快照实现中的权衡。 90-105 高拉夫·巴德瓦吉 , 萨提亚·佩里 , 普拉蒂克·谢蒂 :
简短声明：具有无等待快照的非阻塞动态无界图。 106-110 安舒马·米斯拉 , Ajay D.Kshemkalyani :
拜占庭容错因果顺序，满足强大的安全性。 111-125 维杰·K·加格 , 胡昌勇 :
改善稳定婚姻问题的稳定途径。 126-140 Arya Tanmay古普塔 , Sandeep S.Kulkarni :
乘法和模的格线性。 141-156 康斯坦蒂诺斯·乔治奥 , 索姆纳特·昆都 , 巴维尔·普拉特 :
Fagnano三角巡逻问题（扩展抽象）。 157-171 肯·伯曼 , 萨加·贾 , 米兰梅 , 洛伦佐·罗莎 , 宋维佳 , 爱德华·特雷梅尔 :
特邀论文：Derecho中的单调性和偶然性匹配行为。 172-190 维杰斯·阿拉德亚 , 塞斯·吉尔伯特 , 阿奎那·霍伯 :
强大的覆盖满足区块链-处理高流失和灾难性故障。 191-206 Bogdan S.Chlebus公司 , Dariusz R.Kowalski先生 , 扬·奥尔科夫斯基 , 杰德泽·奥尔科夫斯基 :
网络中的断开连接协议容易链接失败。 207-222 Sahiba Suryawanshi公司 , 迪曼·萨哈 :
常数在哪里？ 关于取整常量加法在SymSum区分符中的作用的新见解。 223-239 加尔·摩根斯顿 , Lital Dabush公司 , Jip Kim（吉普·金） , 詹姆斯·安德森 , 吉尔·祖斯曼 , 蒂尔扎·劳滕贝格 :
受邀论文：使用安全传感器和基于图形的方法检测电力系统中的虚假数据注入攻击。 240-258 罗纳德·彼得里奇 , 克里斯托夫·兰格 :
KerberSSIze Us:为人民提供主权。 259-273 阿努什里·贝尔 , 拉特娜·杜塔 , Sourav Mukhopadhyay公司 :
无边界层次深度的基于层次标识的内积函数加密。 274-288 德夫夏尔·特里维迪 :
简短声明：符号和比较的有效概率近似。 289-296 井口良田 , Fukuhito Ooshita公司 , 井上美彦 , 塞巴斯蒂安·蒂谢尔 :
非原子随机行走的会议时间。 297-311 浅弘裕一（Yuichi Asahiro） , 山下正美 :
自治移动机器人自稳定聚集及相关问题的最小算法尺寸（扩展抽象）。 312-327 Hirokazu Seike公司 , 山内由纪子 :
无意识有色机器人的分离。 328-343 米歇尔·哈比卜 , 闵行阮 , 米卡·拉比 , 劳伦特·维诺 :
走廊中偶遇导致的时间图中的禁止模式。 344-358 Bibhuti Das公司 , 克里希南德·穆霍帕迪亚 :
肥胖机器人的统一k圈形成。 359-373 普里塔姆·戈斯瓦米 , 阿维塞克·夏尔马 , Satakshi Ghosh公司 , 佛德布沙特 :
简短公告：在有限无定向网格中的已知动态点上集合。 374-379 昆汀·布拉马斯 , 藤泽俊美（Toshimitsu Masuzawa） , 塞巴斯蒂安·蒂谢尔 :
简短公告：能源共享移动代理的容错探索。 380-384 塞拉菲诺·西塞隆 , 阿莱西亚·迪·丰索 , 加布里埃尔·迪·斯特法诺 , 阿尔弗雷多·纳瓦拉 :
最小区域内网格上机器人的时间最优测地互可见性。 385-399 塔利·阿米尔 , 詹姆斯·阿斯彭斯 :
概率调度人口协议中的隐私。 400-413 德巴斯什·帕塔纳亚克 , 戈卡娜·夏尔马 , Partha Sarathi Mandal公司 :
移动机器人在失误中的分散。 414-429 Satakshi Ghosh公司 , 阿维塞克·夏尔马 , 普里塔姆·戈斯瓦米 , Buddhadeb绍 :
简短公告：有限记忆机器人在有限可见性下在圆圈上异步聚集。 430-434 高拉夫·巴德瓦吉 , 巴皮·查特吉 , 阿比亚·贾恩 , 萨提亚·佩里 :
使用Uruv进行无等待更新和范围搜索。 435-450 昆汀·布拉马斯 , 早矢香龟井 , 阿尼萨·拉马尼 , 塞巴斯蒂安·蒂谢尔 :
站立纵容在线上聚会。 451-465 昆汀·布拉马斯 , Jean-Romain Luttringer公司 , 塞巴斯蒂安·蒂谢尔 :
离线约束向后时间旅行规划。 466-480 阿西夫·乌兹·扎曼·阿西夫 , 侯赛因·西拉兹 , 英德拉基·雷 :
使用URL功能的基于机器学习的网络钓鱼检测：综合评述。 481-497 马哈茂德·阿卜杜勒加瓦德 , 英德拉基·雷 , 托马斯·巴斯克斯 :
关键任务系统的工作流弹性。 498-512 列奥尼德·莱文 :
受邀论文：人类如何成功完成费马定理证明或希格斯玻色子预测等任务？ 513-517 乔治·克莱西斯 , 米歇尔·雷纳尔 , 埃拉·迈克尔·席勒 :
自我稳定的拜占庭容忍回收。 518-535 奥雷斯蒂斯阿尔卑斯山 , 克里斯蒂安·卡钦 :
不信任数字：具有一般信任的实用分布式加密。 536-551 克里斯蒂安·卡钦 , 大卫·莱恩赫尔 , 托马斯·斯图德 :
协同知识。 552-567 普拉蒂玛·贾纳 , 拉特娜·杜塔 :
基于代码签名的后量子安全状态确定性钱包，具有唯一的重新随机化密钥。 568-582 阿米特·库马尔·乔汉 , 阿比谢克·库马尔 , Somitra Kumar Sanadhya公司 :
对缩径圆FEA-1和FEA-2的方形攻击。 583-597 阿尔弗雷多·纳瓦拉 , 弗朗西斯科·皮塞利 :
异步静默可编程物质：线路形成。 598-612
