People


Maria Potop-Butucaru

Maria Potop-Butucaru
Institution: 
■ UPMC Sorbonne Université
Office: 
4B44
Homepage: 
🏠
Groups: 
Permanent member of the LINCS

Books And Theses

⇣
⇣
Principles of Blockchain Systems,
Antonio Fernandez Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru ■,
Synthesis Lectures on Computer Science 2021
⇣
⇣
Fault-Tolerant Mobile Robots,
Xavier Defago, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Distributed Computing by Mobile Entities 2019
⇣
⇣
Formal Methods for Mobile Robots,
Maria Potop-Butucaru ■, Nathalie Sznajder, Sébastien Tixeuil ■, Xavier Urbain,
Distributed Computing by Mobile Entities 2019

Articles

⇣
The Smart Contract Model,
Yackolley Amoussou-Guenou ■, Maurice Herlihy, Sucharita Jayanti, Maria Potop-Butucaru ■, Sergio Rajsbaum,
CoRR 2025
⇣
Blockchain-based Secure D2D localisation with adaptive precision,
Gewu Bu, Bilel Zaghdoudi, Maria Potop-Butucaru ■, Serge Fdida ■,
IACR Cryptol. ePrint Arch. 2025
⇣
⇣
Brief Announcement: A Self-* and Persistent Hub Sampling Service,
Mohamed Amine Legheraba ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
SSS 2024, Nagoya, Aichi, Japan
⇣
⇣
Challenger: Blockchain-based Massively Multiplayer Online Game Architecture,
Boris Chan Yip Hon, Bilel Zaghdoudi, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
NETYS 2024, Rabat (MOROCCO), Morocco
⇣
Data Poisoning Attacks in Gossip Learning,
Alexandre Pham ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
38th International Conference on Advanced Information Networking and Applications (AINA-2024) 2024, Kitakyūshū, Japan
⇣
Comment Saboter l'Apprentissage Collectif par Commérage,
Alexandre Pham ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2024, Saint-Briac-sur-Mer, France
⇣
⇣
Distributed computation of temporal twins in periodic undirected time-varying graphs,
Lina Azerouk, Binh Minh Bui Xuan, Camille Palisoc, Maria Potop-Butucaru ■, Massinissa Tighilt,
CoRR 2024
⇣
⇣
Data Poisoning Attacks in Gossip Learning,
Alexandre Pham ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
AINA 2024
⇣
Byzantine Reliable Broadcast with One Trusted Monotonic Counter,
Yackolley Amoussou-Guenou ■, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru ■,
SSS 2024
⇣
Invited Paper: The Smart Contract Model,
Yackolley Amoussou-Guenou ■, Maurice Herlihy, Maria Potop-Butucaru ■, Sergio Rajsbaum,
SSS 2024
⇣
Elevator: Self-* and Persistent Hub Sampling Service in Unstructured Peer-to-Peer Networks,
Mohamed Amine Legheraba ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2024
⇣
Asynchronous Byzantine Consensus with Trusted Monotonic Counters,
Yackolley Amoussou-Guenou ■, Maurice Herlihy, Maria Potop-Butucaru ■,
IACR Cryptol. ePrint Arch. 2024
⇣
Blockchain-based decentralized identity system: Design and security analysis,
Gewu Bu, Serge Fdida ■, Maria Potop-Butucaru ■, Bilel Zaghdoudi,
IACR Cryptol. ePrint Arch. 2024
⇣
Public vs Private Blockchains lineage storage,
Bilel Zaghdoudi, Maria Potop-Butucaru ■,
IACR Cryptol. ePrint Arch. 2024
⇣
Marche sans escale dans un graphe temporel,
Juan Villacis-Llobet, Binh-Minh Bui-Xuan, Maria Potop-Butucaru ■,
AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2023, Cargese, France
⇣
⇣
Game Theoretical Analysis of DAG-Ledgers Backbone,
Simone Galimberti, Maria Potop-Butucaru ■,
IACR Cryptol. ePrint Arch. 2023
⇣
⇣
TenderTee: Increasing the Resilience of Tendermint by using Trusted Environments,
Lionel Beltrando, Maria Potop-Butucaru ■, Jose Alfaro,
ICDCN 2023, Kharagpur, India
⇣
⇣
Dynamic Probabilistic Input Output Automata,
Pierre Civit ■, Maria Potop-Butucaru ■,
DISC 2022, Augusta, GA, United States
⇣
⇣
Brief Announcement: Composable Dynamic Secure Emulation,
Pierre Civit ■, Maria Potop-Butucaru ■,
SPAA 2022, Philadelphia, PA, United States
⇣
⇣
Brief Announcement: Probabilistic Dynamic Input/Output Automata,
Pierre Civit ■, Maria Potop-Butucaru ■,
PODC 2022, Salerno, Italy
⇣
⇣
Foremost Non-stop Journey Arrival in Linear Time,
Juan Villacis Llobet, Binh Minh Bui Xuan, Maria Potop-Butucaru ■,
SIROCCO 2022, Paderborn, Germany
⇣
Sécurisation des réseaux de canaux de paiement sans fil avec des fenêtres de temps de verrouillage réduites,
Gabriel Antonio Fontes Rebello, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Otto Carlos Muniz Bandeira Duarte,
CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication 2022, Saint-Rémy-Lès-Chevreuse, France
⇣
Evaluation des performances du consensus IOTA sous des hypothèses d'implémentation réalistes,
Hamed Nazim Mamache, Gabin Mazué, Osama Rashid, Gewu Bu, Maria Potop-Butucaru ■,
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2022, Saint-Rémy-Lès-Chevreuse, France
⇣
⇣
Distributed Blockchain Price Oracle,
Léonard Lys ■, Maria Potop-Butucaru ■,
NETYS 2022
⇣
⇣
PCNsim: A Flexible and Modular Simulator for Payment Channel Networks,
Gabriel Antonio Rebello, Gustavo Franco Camilo, Maria Potop-Butucaru ■, Miguel Elias Campista, Marcelo Dias De Amorim, Luis Henrique Costa,
INFOCOM Workshops 2022, London, United Kingdom
⇣
⇣
Resilience of IOTA Consensus,
Hamed Nazim Mamache, Gabin Mazue, Osama Rashid, Gewu Bu, Maria Potop-Butucaru ■,
ICC 2022
⇣
⇣
Securing Wireless Payment-Channel Networks With Minimum Lock Time Windows,
Gabriel Antonio Rebello, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Otto Carlos Duarte,
ICC 2022, Seoul, Korea, Republic of
⇣
Topological Evolution Analysis of Payment Channels in the Lightning Network,
Gustavo Franco Camilo, Gabriel Antonio Rebello, Lucas Airam De Souza, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Miguel Elias Campista, Luis Henrique Costa,
LATINCOM 2022
⇣
TenderTee: Secure Tendermint,
Lionel Beltrando ■, Maria Potop-Butucaru ■, Jose Alfaro,
IACR Cryptol. ePrint Arch. 2022
⇣
Composable Dynamic Secure Emulation,
Pierre Civit ■, Maria Potop-Butucaru ■,
IACR Cryptol. ePrint Arch. 2022
⇣
⇣
R-SWAP: Relay Based Atomic Cross-Chain Swap Protocol,
Léonard Lys ■, Arthur Micoulet, Maria Potop-Butucaru ■,
ALGOCLOUD 2021, Lisbonne, Portugal
⇣
Protegendo Redes de Canais de Pagamento Sem Fio com Janelas de Tempo de Bloqueio Mínimas,
Gabriel Antonio Fontes Rebello, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Otto Carlos Muniz Bandeira Duarte,
XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2021) 2021, Belém (on line), Brazil
⇣
CLPB: vers une approche inter-couches pour une diffusion fiable dans les réseaux WBAN,
Wafa Badreddine, Maria Potop-Butucaru ■,
ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2021, La Rochelle, France
⇣
Analyse de la fiabilité des blockchains via la théorie des jeux,
Paolo Zappalà, Marianna Belotti ■, Maria Potop-Butucaru ■, Stefano Secci,
ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2021, La Rochelle, France
⇣
⇣
Game Theoretical Framework for Analyzing Blockchains Robustness,
Paolo Zappala, Marianna Belotti ■, Maria Potop-Butucaru ■, Stefano Secci,
DISC 2021, Freiburg, Germany
⇣
Probabilistic Dynamic Input Output Automata,
Pierre Civit ■, Maria Potop-Butucaru ■,
IACR Cryptol. ePrint Arch. 2021
⇣
⇣
On the Encoding and Solving of Partial Information Games,
Yackolley Amoussou-Guenou ■, Souheib Baarir, Maria Potop-Butucaru ■, Nathalie Sznajder, Leo Tible, Sébastien Tixeuil ■,
NETYS 2020, Marrakech, Morocco
⇣
⇣
On Fairness in Committee-Based Blockchains,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
Tokenomics 2020, Toulouse, France
⇣
⇣
Rational Behaviors in Committee-Based Blockchains,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
OPODIS 2020, Strassbourg, France
⇣
⇣
Wireless Broadcast with Short Labels,
Gewu Bu, Maria Potop-Butucaru ■, Mikael Rabie ■,
NETYS 2020, Marakech, Morocco
⇣
⇣
Atomic cross chain swaps via relays and adapters,
Léonard Lys ■, Arthur Micoulet, Maria Potop-Butucaru ■,
CryBlock@MOBICOM 2020, London, United Kingdom
⇣
⇣
Cross hyperledger fabric transactions,
Gewu Bu, Riane Haouara, Thanh Son Lam Nguyen, Maria Potop-Butucaru ■,
CryBlock@MOBICOM 2020, London, United Kingdom
⇣
⇣
E-IOTA: an efficient and fast metamorphism for IOTA,
Gewu Bu, Wassim Hana, Maria Potop-Butucaru ■,
BRAINS 2020, Paris, France
⇣
⇣
Rational vs Byzantine Players in Consensus-based Blockchains,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
AAMAS 2020, Auckland, New Zealand
⇣
⇣
Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness,
Paolo Zappala, Marianna Belotti ■, Maria Potop-Butucaru ■, Stefano Secci,
DISC 2020, Freiburg (virtual conference), Germany
⇣
Consensus en Présence de Participants Rationnels et Byzantins,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci-Piergiovanni,
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2020, Lyon, France
⇣
Diffusion dans les réseaux sans fil en utilisant des filtres à mémoire constante,
Gewu Bu, Maria Potop-Butucaru ■, Mikael Rabie ■,
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2020, Lyon, France
⇣
⇣
Rational Behavior in Committee-Based Blockchains,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
IACR Cryptol. ePrint Arch. 2020
⇣
Blockchains and the commons,
Maria Potop-Butucaru ■,
Networked Systems 2020, Marakech, Morocco
⇣
Game Theoretical Analysis of Atomic Cross-Chain Swaps,
Marianna Belotti ■, Stefano Moretti, Maria Potop-Butucaru ■, Stefano Secci,
40th IEEE International Conference on Distributed Computing Systems (ICDCS) 2020, Singapore, Singapore
⇣
Game Theoretical Analysis of Cross-Chain Swaps,
Marianna Belotti ■, Stefano Moretti, Maria Potop-Butucaru ■, Stefano Secci,
ICDCS 2020
⇣
⇣
Scalable lightning factories for Bitcoin,
Alejandro Ranchal Pedrosa, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
SAC 2019, Limassol, Cyprus
⇣
⇣
Blockchain Abstract Data Type,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
SPAA 2019
⇣
⇣
G-IOTA: Fair and confidence aware tangle,
Gewu Bu ■, Onder Gurcan, Maria Potop-Butucaru ■,
INFOCOM Workshops 2019, Paris, France
⇣
⇣
Impact of network delays on Hyperledger Fabric,
Thanh Son Lam Nguyen, Guillaume Jourjon, Maria Potop-Butucaru ■, Kim Loan Thai,
INFOCOM Workshops 2019, Paris, France
⇣
⇣
Reliable Cross-Layer Protocol for Broadcast in Wireless Body Area Networks,
Wafa Badreddine ■, Maria Potop-Butucaru ■,
ADHOC-NOW 2019, Luxembourg, Luxembourg
⇣
⇣
Atomic Swapping Bitcoins and Ethers,
Léonard Lys, Arthur Micoulet, Maria Potop-Butucaru ■,
SRDS 2019, Lyon, France
⇣
⇣
Metamorphic IOTA,
Gewu Bu ■, Wassim Hana, Maria Potop-Butucaru ■,
CoRR 2019
⇣
⇣
Dissecting Tendermint,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
NETYS 2019, Marrakech, Morocco
⇣
⇣
HyperPubSub: Blockchain Based Publish/Subscribe,
Gewu Bu ■, Thanh Son Lam Nguyen, Maria Potop-Butucaru ■, Kim Loan Thai,
SRDS 2019
⇣
⇣
Markovian Model for Broadcast in Wireless Body Area Networks,
Bruno Baynat, Gewu Bu ■, Maria Potop-Butucaru ■,
MobiWac 2019, Miami, United States
⇣
Blockchains basées sur du Consensus Répété,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci-Piergiovanni,
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2019, Saint Laurent de la Cabrerisse, France
⇣
⇣
Rationals vs Byzantines in Consensus-based Blockchains,
Yackolley Amoussou-Guenou ■, Bruno Biais, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
CoRR 2019
⇣
Blockchain abstract data type: poster,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
PPoPP 2019
⇣
Wireless Broadcast with optimal labelling,
Gewu Bu ■, Maria Potop-Butucaru ■,
CoRR 2019
⇣
⇣
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
SSS 2018, Tokyo, Japan
⇣
⇣
Correctness of Tendermint-Core Blockchains,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
OPODIS 2018, Hong Kong, China
⇣
⇣
Correctness and Fairness of Tendermint-core Blockchains,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
CoRR 2018
⇣
Schéma Optimal basé sur la Preuve à Divulgation Nulle de Connaissance pour les Réseaux Wireless Body Area Networks (WBAN),
Gewu Bu ■, Maria Potop-Butucaru ■,
ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2018, Roscoff, France
⇣
Lightning Factories,
Alejandro Ranchal Pedrosa, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
IACR Cryptol. ePrint Arch. 2018
⇣
⇣
Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks,
Wafa Badreddine ■, Maria Potop-Butucaru ■,
CoRR 2017, Paris, France
⇣
⇣
Bitcoin a Distributed Shared Register,
Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru ■, Frederic Tronel,
SSS 2017, Boston, MA, United States
⇣
⇣
Optimal Storage under Unsynchrononized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2017
⇣
⇣
Optimal Storage under Unsynchronized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
SRDS 2017, Hong Kong, China
⇣
⇣
Multi-agent patrolling in dynamic environments,
Mehdi Othmani Guibourg, Amal El Fallah Seghrouchni, Jean Loup Farges, Maria Potop-Butucaru ■,
ICA 2017, Beijing, China
⇣
⇣
Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin,
Siamak Solat ■, Maria Potop-Butucaru ■,
SSS 2017, Boston, MA, United States
⇣
⇣
Total Order Reliable Convergecast in WBAN,
Gewu Bu ■, Maria Potop-Butucaru ■,
ICDCN 2017, Hyderabad, India
⇣
⇣
Tight self-stabilizing mobile byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■,
ICDCN 2016, Singapore, Singapore
⇣
⇣
Asynchronous Gathering in Rings with 4 Robots,
Francois Bonnet, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
ADHOC-NOW 2016, Lille, France
⇣
⇣
BANZKP: A Secure Authentication Scheme Using Zero Knowledge Proof for WBANs,
Nesrine Khernane, Maria Potop-Butucaru ■, Claude Chaudet,
MASS 2016, Bresilia, Brazil
⇣
Les Stratégies de Diffusion dans les Réseaux Wireless Body Area Networks,
Wafa Badreddine, Claude Chaudet, Federico Petruzzi, Maria Potop-Butucaru ■,
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2016, Bayonne, France
⇣
Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
PODC 2016
⇣
Flocking with Oblivious Robots,
Davide Canepa, Xavier Defago, Taisuke Izumi, Maria Potop-Butucaru ■,
SSS 2016
⇣
Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2016
⇣
ZeroBlock: Preventing Selfish Mining in Bitcoin,
Siamak Solat ■, Maria Potop-Butucaru ■,
CoRR 2016
⇣
⇣
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract,
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal,
PODC 2015, New York, United States
⇣
⇣
Broadcast Strategies in Wireless Body Area Networks,
Wafa Badreddine, Claude Chaudet ■, Federico Petruzzi, Maria Potop-Butucaru,
MSWiM 2015, Cancun, Mexico
⇣
⇣
Stabilizing Byzantine-Fault Tolerant Storage,
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil ■,
IPDPS 2015, Hyderabad, India
⇣
⇣
Tight Mobile Byzantine Tolerant Atomic Storage,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru,
CoRR 2015
⇣
Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau,
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil ■,
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2015, Beaune, France
⇣
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems,
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal,
CoRR 2015
⇣
Analyzing various broadcast strategies in WBAN,
Claude Chaudet ■, Petruzzi Federico, Maria Potop-Butucaru,
International Workshop on Green Solutions for Body Area Networks (GreenBAN 2014) 2014, Paris, France
⇣
⇣
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols,
Francois Bonnet, Xavier Defago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil ■,
SRDS Workshops 2014, Nara, Japan
⇣
⇣
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering,
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil ■,
SSS 2014, Paderborn, Germany
⇣
⇣
When Expanders Help Self-Healing Distributed R-Tree Overlays,
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero,
ISPDC 2013, Bucarest, Romania
⇣
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols,
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil ■,
International Symposium on Stabilization, Safety, and Security of Distributed Systems 2012, Toronto, Canada
⇣
Crash Resilient and Pseudo-Stabilizing Atomic Registers,
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
OPODIS 2012 - 16th International Conference on Principles of Distributed Systems 2012, Rome, Italy
⇣
⇣
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction,
Francois Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil ■,
OPODIS 2011, Toulouse, France
⇣
⇣
Emergent velocity agreement in robot networks,
Davide Canepa, Xavier Defago, Taisuke Izumi, Maria Potop-Butucaru,
CoRR 2011
⇣
Construction auto-stabilisante d'un arbre couvrant de poids minimum,
Lélia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis,
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel) 2011, Cap Estérel, France
⇣
⇣
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO,
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
CoRR 2011, Cap Estérel, France
⇣
⇣
Physical expander in Virtual Tree Overlay,
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero,
CoRR 2011, Rome, Italy
⇣
Multi-resource Allocation with Unknown Participants,
Ajoy Kumar Datta, Lawrence Larmore, Stephane Devismes, Francois Kawala, Maria Potop-Butucaru,
ICNC 2011
⇣
Enhancing Fault Tolerance of Distributed R-Tree,
Mathieu Valero, Luciana Arantes, Maria Potop-Butucaru, Pierre Sens,
LADC 2011
⇣
Distributed Computing with Mobile Robots: An Introductory Survey,
Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil ■,
NBiS 2011
⇣
Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
SSS 2011
⇣
⇣
Exclusive Perpetual Ring Exploration without Chirality,
Lelia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil,
DISC 2010, Cambridge, MA, United States
⇣
⇣
A framework for proving the self-organization of dynamic systems,
Emmanuelle Anceaume, Xavier Defago, Maria Potop-Butucaru, Matthieu Roy,
CoRR 2010
⇣
⇣
RoboCast: Asynchronous Communication in Robot Networks,
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil,
OPODIS 2010
⇣
⇣
Fast Self-Stabilizing Minimum Spanning Tree Construction,
Lelia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis,
CoRR 2010, Cambridge, MA, United States
⇣
⇣
Universal Loop-Free Super-Stabilization,
Lelia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil,
CoRR 2010
⇣
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks,
Samuel Bernard, Stephane Devismes, Katy Paroux, Maria Potop-Butucaru, Sébastien Tixeuil,
ICDCN 2010
⇣
⇣
Optimal deterministic ring exploration with oblivious asynchronous robots,
Anissa Lamani, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009
⇣
⇣
Byzantine Convergence in Robots Networks: The Price of Asynchrony,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009
⇣
⇣
Optimal byzantine resilient convergence in oblivious robot networks,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009

Journal articles

⇣
A Survey on Blockchain Scalability: From Hardware to Layer-Two Protocols,
Gabriel Antonio Rebello, Gustavo Franco Camilo, Lucas Airam De Souza, Maria Potop-Butucaru ■, Marcelo Dias De Amorim, Miguel Elias Campista, Luis Henrique Costa,
IEEE Commun. Surv. Tutorials 2024
⇣
⇣
Lower and upper bounds for deterministic convergecast with labeling schemes,
Gewu Bu, Zvi Lotker, Maria Potop-Butucaru ■, Mikael Rabie,
Theoretical Computer Science 2023
⇣
⇣
Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Theoretical Computer Science 2023
⇣
⇣
Special issue on blockchain networks and distributed protocols,
Maria Potop-Butucaru ■, Ariel Orda, Maurice Herlihy, Stefano Secci,
Annals of Telecommunications - annales des télécommunications 2022
⇣
⇣
Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN,
Wafa Badreddine, Claude Chaudet, Federico Petruzzi, Maria Potop-Butucaru ■,
Ad Hoc Networks 2020
⇣
⇣
Parameterized verification of algorithms for oblivious robots on a ring,
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Formal Methods in System Design 2020
⇣
Self-stabilizing gathering of mobile robots under crash or Byzantine faults,
Xavier Defago, Maria Potop-Butucaru ■, Philippe Raipin Parvedy,
Distributed Comput. 2020
⇣
⇣
Approximate Agreement under Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Theoretical Computer Science 2019
⇣
⇣
On asynchronous rendezvous in general graphs,
Evangelos Bampas, Lelia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Theoretical Computer Science 2019
⇣
⇣
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■,
Theoretical Computer Science 2018
⇣
⇣
FIFO Order reliable convergecast in WBAN,
Gewu Bu ■, Maria Potop-Butucaru ■,
Computer Networks 2018
⇣
⇣
BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks,
Gewu Bu ■, Maria Potop-Butucaru ■,
Ad Hoc Networks 2018
⇣
⇣
Convergecast in Wireless Body Area Networks,
Wafa Badreddine ■, Nesrine Khernane, Maria Potop-Butucaru ■, Claude Chaudet,
Ad Hoc Networks 2017
⇣
⇣
Formal verification of mobile robot protocols,
Beatrice Berard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru ■, Yann Thierry Mieg, Sébastien Tixeuil ■,
Distributed Computing 2016
⇣
⇣
Tight bound on mobile Byzantine Agreement,
Francois Bonnet, Xavier Defago, Thanh Dang Nguyen, Maria Potop-Butucaru ■,
Theoretical Computer Science 2016
⇣
⇣
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property,
Lelia Blin, Maria Potop-Butucaru ■, Stephane Rovedakis, Sébastien Tixeuil ■,
The Computer Journal 2016
⇣
ARMCO: Advanced topics in resource management for ubiquitous cloud computing: An adaptive approach,
Florin Pop, Maria Potop-Butucaru ■,
Future Gener. Comput. Syst. 2016
⇣
[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems,
Béatrice Bérard, Pierre Courtieu, Laure Millet, Maria Potop-Butucaru, Lionel Rieg, Nathalie Sznajder, Sébastien Tixeuil ■, Xavier Urbain,
International Journal of Informatics Society 2015
⇣
⇣
Practically stabilizing SWMR atomic memory in message-passing systems,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Journal of Computer and System Sciences 2015
⇣
⇣
Gathering fat mobile robots with slim omnidirectional cameras,
Anthony Honorat ■, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Theoretical Computer Science 2014
⇣
A super-stabilizing log(n)-approximation algorithm for dynamic Steiner trees,
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis,
Theoretical Computer Science 2013
⇣
A super-stabilizing log(n)log(n)-approximation algorithm for dynamic Steiner trees,
Lelia Blin, Maria Potop-Butucaru, Stephane Rovedakis,
Theor. Comput. Sci. 2013
⇣
⇣
Self-stabilizing byzantine asynchronous unison,
Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil ■,
Journal of Parallel and Distributed Computing 2012
⇣
⇣
Dynamic FTSS in asynchronous systems: The case of unison,
Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Theoretical Computer Science 2011
⇣
⇣
Stabilizing data-link over non-FIFO channels with optimal fault-resilience,
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Information Processing Letters 2011

Reports

⇣
Emergent Peer-to-Peer Multi-Hub Topology,
Mohamed Amine Legheraba ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
2024
⇣
ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated Learning,
Tengfei An, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
2024
⇣
On the encoding and solving partial information games,
Yackolley Amoussou-Guenou ■, Souheib Baarir, Maria Potop-Butucaru ■, Nathalie Sznajder, Leo Tible, Sébastien Tixeuil ■,
2018
⇣
Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2016
⇣
Optimal Mobile Byzantine Fault Tolerant Distributed Storage,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2016
⇣
Efficient filtering for massively distributed video games,
Luciana Arantes, Maria Potop-Butucaru, Pierre Sens, Mathieu Valero,
2009
⇣
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
2009

Posters

⇣
Poster : Blockchain abstract data type,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru ■, Sara Tucci-Piergiovanni,
PPoPP 2019 - 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming 2019, Washington DC, United States
⇣
Brief announcement: Approximate Agreement under Mobile Byzantine Faults Model,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
IEEE Conference on Distributed Computing Systems (ICDCS 2016) 2016, Nara, Japan

Editorships

⇣
Strategic interactions in blockchain protocols: a survey of game-theoretic approaches,
Bruno Biais, Christophe Bisière, Matthieu Bouvard, Catherine Casamatta, Antonio Fernández Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru ■,
2021
⇣
Formalization of Blockchain Properties,
Emmanuelle Anceaume, Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou, Maria Potop-Butucaru ■,
2021
⇣
International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2019, May 6-7, 2019, Paris, France,
Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru ■, Julien Prat, Sara Tucci Piergiovanni,
['Tokenomics', 'OASIcs'] 2020
⇣
Adaptive Resource Management and Scheduling for Cloud Computing - Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers,
Florin Pop, Maria Potop-Butucaru,
['ARMS-CC@PODC', 'Lecture Notes in Computer Science'] 2015
⇣
Adaptive Resource Management and Scheduling for Cloud Computing - First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers,
Florin Pop, Maria Potop-Butucaru,
['ARMS-CC@PODC', 'Lecture Notes in Computer Science'] 2014
⇣
Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings,
Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita,
['SSS', 'Lecture Notes in Computer Science'] 2013

Miscs

⇣
HEAL: Resilient and Self-* Hub-based Learning,
Mohamed Amine Legheraba ■, Stefan Galkiewicz, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2024
⇣
International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019),
Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru ■, Julien Prat, Sara Tucci-Piergiovanni,
Leibniz International Proceedings in Informatics 2020
⇣
Wireless Broadcast with short labelling,
Gewu Bu, Maria Potop-Butucaru ■, Mikael Rabie ■,
2020
⇣
Distributed Ledger Register: From Safe to Atomic,
Emmanuelle Anceaume, Marina Papatriantafilou, Maria Potop-Butucaru ■, Philippas Tsigas,
2019
⇣
Nineteenth International Conference on Principles of Distributed Systems (OPODIS),
Emmanuelle Anceaume, Maria Potop-Butucaru, Cachin Christian,
Nineteenth International Conference on Principles of Distributed Systems (OPODIS) 2015, Rennes, France
Generated using minifold and minifold-lincs at 2025-03-31 17:01.