POTOP-BUTUCARU Maria
Professeur
Équipe : NPA
Tel: 01 44 27 87 64, Maria.Potop-Butucaru (at) nulllip6.fr
https://lip6.fr/Maria.Potop-Butucaru
Équipe : NPA
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 26-00, Étage 1, Bureau 115
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 87 64, Maria.Potop-Butucaru (at) nulllip6.fr
https://lip6.fr/Maria.Potop-Butucaru
3 Doctorants (Direction de recherche / Co-encadrement)
- BELTRANDO Lionel : Blockchain à faible empreinte énergétique adaptée au domaine financier
- LEGHERABA Mohamed Amine : Pas de titre
- PHAM Alexandre : Apprentissage fédéré sécurisé dans des systèmes pair-à-pair
Publications 2000-2024
-
2024
- L. Azerouk, B.‑M. Bui‑Xuan, C. Palisoc, M. Potop‑Butucaru, M. Tighilt : “Distributed computation of temporal twins in periodic undirected time-varying graphs”, (2024)
- A. Pham, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Data Poisoning Attacks in Gossip Learning”, (2024)
- G. Fontes Rebello, G. Franco Camilo, L. Castro de Souza, M. Gradinariu Potop‑Butucaru, M. Dias De Amorim, M. Campista, L. Maciel Kosmalski Costa : “A Survey on Blockchain Scalability: From Hardware to Layer-Two Protocols”, Communications Surveys and Tutorials, IEEE Communications Society, (Institute of Electrical and Electronics Engineers) (2024)
-
2023
- J. Villacis‑Llobet, B.‑M. Bui‑Xuan, M. Potop‑Butucaru : “Marche sans escale dans un graphe temporel”, AlgoTel 2023 - 25es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Cargese, France (2023)
- S. Galimberti, M. Potop‑Butucaru : “Game Theoretical Analysis of DAG-Ledgers Backbone”, (2023)
- L. Beltrando, M. Potop‑Butucaru, J. Alfaro : “TenderTee: Increasing the Resilience of Tendermint by using Trusted Environments”, ICDCN '23, Kharagpur, India, pp. 90-99, (Association for Computing Machinery), (ISBN: 978-1-4503-9796-4) (2023)
-
2022
- P. Civit, M. Potop‑Butucaru : “Dynamic Probabilistic Input Output Automata”, 36th International Symposium on Distributed Computing (DISC 2022), vol. 246, Leibniz International Proceedings in Informatics (LIPIcs), Augusta, GA, United States, pp. 15:1-15:18, (Schloss Dagstuhl -- Leibniz-Zentrum für Informatik), (ISBN: 978-3-95977-255-6) (2022)
- P. Civit, M. Potop‑Butucaru : “Brief Announcement: Probabilistic Dynamic Input/Output Automata”, Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, Salerno, Italy, pp. 378–380, (Association for Computing Machinery) (2022)
- G. Franco Camilo, G. Fontes Rebello, L. Castro de Souza, M. Gradinariu Potop‑Butucaru, M. Dias De Amorim, M. Campista, L. Maciel Kosmalski Costa : “Análise da Evolução Topológica da Rede Lightning de Canais de Pagamento”, XXII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg), Santa Maria, Brazil (2022)
- P. Civit, M. Potop‑Butucaru : “Brief Announcement: Composable Dynamic Secure Emulation”, Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '22, Philadelphia, PA, United States, pp. 103-105, (Association for Computing Machinery), (ISBN: 9781450391467) (2022)
- J. Villacis‑Llobet, B.‑M. Bui‑Xuan, M. Potop‑Butucaru : “Foremost non-stop journey arrival in linear time”, 29th International Colloquium on Structural Information and Communication Complexity, vol. 13298, Lecture Notes in Computer Science, Paderborn, Germany, pp. 283-301, (Springer) (2022)
- H. Nazim Mamache, G. Mazué, O. Rashid, G. Bu, M. Potop‑Butucaru : “Evaluation des performances du consensus IOTA sous des hypothèses d’implémentation réalistes”, AlgoTel 2022 - 24es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint-Rémy-Lès-Chevreuse, France (2022)
- G. Fontes Rebello, M. Potop‑Butucaru, M. Dias De Amorim, O. Duarte : “Sécurisation des réseaux de canaux de paiement sans fil avec des fenêtres de temps de verrouillage réduites”, CORES 2022 – 7e Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Saint-Rémy-Lès-Chevreuse, France (2022)
- G. Fontes Rebello, G. Franco Camilo, M. Potop‑Butucaru, M. Campista, M. Dias De Amorim, L. Maciel Kosmalski Costa : “PCNsim: A Flexible and Modular Simulator for Payment Channel Networks”, 2022 IEEE INFOCOM, London, United Kingdom, (IEEE) (2022)
- G. Franco Camilo, G. Fontes Rebello, L. Castro de Souza, G. Araújo Thomaz, M. Gradinariu Potop‑Butucaru, M. Dias De Amorim, M. Campista, L. Maciel Kosmalski Costa : “Redes de Canais de Pagamento: Provendo Escalabilidade para Pagamentos em Criptomoedas”, chapter in Minicursos do XL Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC) (2022)
- L. LYS, M. Potop‑Butucaru : “Distributed Blockchain Price Oracle”, (2022)
- M. Potop‑Butucaru, A. Orda, M. Herlihy, S. Secci : “Special issue on blockchain networks and distributed protocols”, Annals of Telecommunications - annales des télécommunications, vol. 77 (1-2), (Springer) (2022)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps”, Theoretical Computer Science, (Elsevier) (2022)
-
2021
- L. LYS, A. Micoulet, M. Potop‑Butucaru : “R-SWAP: Relay Based Atomic Cross-Chain Swap Protocol”, ALGOCLOUD 2021: 6th International Symposium on Algorithmic Aspects of Cloud Computing, vol. 13084, Lecture Notes in Computer Science, Lisbonne, Portugal, pp. 18-37, (Springer International Publishing), (ISBN: 978-3-030-93043-1) (2021)
- G. Fontes Rebello, M. Potop‑Butucaru, M. Dias De Amorim, O. Muniz Bandeira Duarte : “Protegendo Redes de Canais de Pagamento Sem Fio com Janelas de Tempo de Bloqueio Mínimas”, XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2021), Belém (on line), Brazil, pp. 295-308, (SBC) (2021)
- E. Anceaume, A. Anta, Ch. Georgiou, N. Nicolaou, M. Potop‑Butucaru : “Formalization of Blockchain Properties”, chapter in Principles of Blockchain Systems (2021)
- G. Fontes Rebello, M. Potop‑Butucaru, M. Dias De Amorim, O. Muniz Bandeira Duarte : “Securing Wireless Payment Channel Networks With Minimum Lock Time Windows”, IEEE International Conference on Communications (ICC), Seoul, Korea, Republic of, pp. 2297-2302, (IEEE) (2021)
- P. Zappalà, M. Belotti, M. Potop‑Butucaru, S. Secci : “Analyse de la fiabilité des blockchains via la théorie des jeux”, ALGOTEL 2021 — 23es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, La Rochelle, France (2021)
- W. Badreddine, M. Potop‑Butucaru : “CLPB: vers une approche inter-couches pour une diffusion fiable dans les réseaux WBAN”, ALGOTEL 2021 — 23es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, La Rochelle, France (2021)
- L. LYS, A. Micoulet, M. Potop‑Butucaru : “R-SWAP: Relay based atomic cross-chain swap protocol”, (2021)
- Y. Amoussou‑Guenou, A. Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “On Fairness in Committee-Based Blockchains”, 2th International Conference on Blockchain Economics, Security and Protocols, Tokenomics, vol. 82, Open Access Series in Informatics (OASIcs), Toulouse, France, pp. 4:1-4:15, (Schloss Dagstuhl--Leibniz-Zentrum fur Informatik), (ISBN: 978-3-95977-157-3) (2021)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Rational Behaviors in Committee-Based Blockchains”, 24th International Conference on Principles of Distributed Systems (OPODIS 2020), vol. 184, Leibniz International Proceedings in Informatics (LIPIcs), Strassbourg, France, pp. 12:1-12:16, (Schloss Dagstuhl--Leibniz-Zentrum für Informatik), (ISBN: 978-3-95977-176-4) (2021)
- M. Potop‑Butucaru : “Blockchains and the commons”, Proceedings of the 8th International Conference on NETworked sYStems, NETYS 2020, vol. 12129, Lecture Notes in Computer Science, Marakech, Morocco, pp. 28-44, (Springer International Publishing), (ISBN: 978-3-030-67087-0) (2021)
- Y. Amoussou‑Guenou, S. Baarir, M. Potop‑Butucaru, N. Sznajder, L. Tible, S. Tixeuil : “On the Encoding and Solving of Partial Information Games”, Networked Systems, vol. 12129, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 60-76, (Springer International Publishing), (ISBN: 978-3-030-67087-0) (2021)
- G. Bu, M. Potop‑Butucaru, M. Rabie : “Wireless Broadcast with Short Labels”, 8th International Conference on Networked Systems, NETYS 2020, vol. 12129, Lecture Notes in Computer Science, Marakech, Morocco, pp. 146-169, (Springer International Publishing), (ISBN: 978-3-030-67087-0) (2021)
-
2020
- A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized verification of algorithms for oblivious robots on a ring”, Formal Methods in System Design, vol. 56, pp. 55-89, (Springer Verlag) (2020)
- M. Belotti, S. Moretti, M. Potop‑Butucaru, S. Secci : “Game Theoretical Analysis of Atomic Cross-Chain Swaps”, 40th IEEE International Conference on Distributed Computing Systems (ICDCS2020), Singapore, Singapore (2020)
- P. Zappalà, M. Belotti, M. Potop‑Butucaru, S. Secci : “Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness”, 34th International Symposium on Distributed Computing, Leibniz International Proceedings in Informatics (LIPIcs), Freiburg (virtual conference), Germany, pp. 49:1-49:3 (2020)
- P. Zappalà, M. Belotti, M. Potop‑Butucaru, S. Secci : “Game Theoretical Framework for Analyzing Blockchains Robustness”, 35th International Symposium on Distributed Computing (DISC 2021), vol. 209, Leibniz International Proceedings in Informatics (LIPIcs), Freiburg, Germany, pp. 42:1-42:18, (Schloss Dagstuhl) (2020)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Consensus en Présence de Participants Rationnels et Byzantins”, ALGOTEL 2020 – 22es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France (2020)
- G. Bu, M. Potop‑Butucaru, M. Rabie : “Diffusion dans les réseaux sans fil en utilisant des filtres à mémoire constante”, ALGOTEL 2020 – 22es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France (2020)
- G. Bu, W. Hana, M. Potop‑Butucaru : “E-IOTA: an efficient and fast metamorphism for IOTA”, 2020 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris, France, pp. 9-16, (IEEE), (ISBN: 978-1-7281-7091-6) (2020)
- G. Bu, R. Haouara, Th. Nguyen, M. Potop‑Butucaru : “Cross hyperledger fabric transactions”, Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, CryBlock '20, London, United Kingdom, pp. 35-40, (Association for Computing Machinery), (ISBN: 9781450380799) (2020)
- L. LYS, A. Micoulet, M. Potop‑Butucaru : “Atomic cross chain swaps via relays and adapters”, Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, London, United Kingdom, pp. 59-64, (Association for Computing Machinery), (ISBN: 9781450380799) (2020)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Rational Behavior in Committee-Based Blockchains”, (2020)
- G. Bu, Z. Lotker, M. Potop‑Butucaru, M. Rabie : “Lower and upper bounds for deterministic convergecast with labeling schemes”, (2020)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci Piergiovanni : “Rational vs Byzantine Players in Consensus-based Blockchains”, 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020, Auckland, New Zealand, (ISBN: 978-1-4503-7518-4) (2020)
- V. Danos, M. Herlihy, M. Potop‑Butucaru, J. Prat, S. Tucci‑Piergiovanni : “International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)”, Leibniz International Proceedings in Informatics, vol. 71, OpenAccess Series in Informatics (OASIcs), (Leibniz-Zentrum für Informatik) (2020)
- W. Badreddine, C. Chaudet, P. Federico, M. Potop‑Butucaru : “Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN”, Ad Hoc Networks, 97, pp. 102006, (Elsevier) (2020)
- G. Bu, M. Potop‑Butucaru, M. Rabie : “Wireless Broadcast with short labelling”, (2020)
-
2019
- B. Baynat, G. Bu, M. Potop‑Butucaru : “Markovian Model for Broadcast in Wireless Body Area Networks”, The 17th ACM International Symposium on Mobility Management and Wireless Access (MobiWAC 2019), Miami, United States, pp. 63-70, (ACM) (2019)
- L. LYS, A. Micoulet, M. Potop‑Butucaru : “Atomic Swapping Bitcoins and Ethers”, SRDS 2019 - 38th International Symposium on Reliable Distributed Systems, Lyon, France (2019)
- G. Bu, Th. NGUYEN, M. Potop Butucaru, K. Thai : “HyperPubSub: Blockchain Based Publish/Subscribe”, 2019 38th Symposium on Reliable Distributed Systems (SRDS), Lyon, France, pp. 366-3662, (IEEE), (ISBN: 978-1-7281-4222-7) (2019)
- W. Badreddine, M. Potop‑Butucaru : “Reliable Cross-Layer Protocol for Broadcast in Wireless Body Area Networks”, ADHOC-NOW 2019 - 18th International Conference on Ad-Hoc Networks and Wireless, vol. 11803, Lecture Notes in Computer Science, Luxembourg, Luxembourg, pp. 469-482, (Springer) (2019)
- G. Bu, Ö. Gürcan, M. Potop‑Butucaru : “G-IOTA: Fair and confidence aware tangle”, INFOCOM Workshops, Paris, France, pp. 644-649, (IEEE) (2019)
- Th. NGUYEN, G. Jourjon, M. Potop‑Butucaru, K. Thai : “Impact of network delays on Hyperledger Fabric”, Infocom Workshops, Paris, France, pp. 222-227, (IEEE) (2019)
- E. Anceaume, M. Papatriantafilou, M. Potop‑Butucaru, Ph. Tsigas : “Distributed Ledger Register: From Safe to Atomic”, (2019)
- G. Bu, Th. NGUYEN, M. Potop‑Butucaru, K. Thai : “HyperPubSub: Blockchain based Publish/Subscribe”, (2019)
- G. Bu, W. Hana, M. Potop‑Butucaru : “Metamorphic IOTA”, (2019)
- Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchains basées sur du Consensus Répété”, ALGOTEL 2019 - 21es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Laurent de la Cabrerisse, France (2019)
- E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchain abstract data type”, SPAA 2019 - 31st ACM Symposium on Parallelism in Algorithms and Architectures, Phoenix, Arizona, United States, pp. 349-358, (ACM) (2019)
- W. Badreddine, M. Potop‑Butucaru : “Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks”, Journées d'Etude sur la TéléSanté, Paris, France (2019)
- Th. NGUYEN, G. Jourjon, M. Potop‑Butucaru, K. Thai : “Impact of network delays on Hyperledger Fabric”, (2019)
- E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchain abstract data type”, 1-30 pages (2019)
- A. Ranchal‑Pedrosa, M. Potop‑Butucaru, S. Tucci Piergiovanni : “Scalable lightning factories for Bitcoin”, SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus, pp. 302-309, (ACM), (ISBN: 9781450359337) (2019)
- G. Bu, Ö. Gürcan, M. Potop‑Butucaru : “G-IOTA: Fair and confidence aware tangle”, (2019)
- Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Rationals vs Byzantines in Consensus-based Blockchains”, (2019)
- E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Poster : Blockchain abstract data type”, PPoPP 2019 - 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Washington DC, United States, pp. 1-2, (ACM) (2019)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Approximate Agreement under Mobile Byzantine Faults”, Theoretical Computer Science, vol. 758, pp. 17-29, (Elsevier) (2019)
- X. Défago, M. Potop‑Butucaru, S. Tixeuil : “Fault-Tolerant Mobile Robots”, chapter in Distributed Computing by Mobile Entities, vol. 11340, Lecture Notes in Computer Science, pp. 234-251, (Springer) (2019)
- M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) (2019)
- E. Bampas, L. Blin, J. Czyzowicz, D. Ilcinkas, A. Labourel, M. Potop‑Butucaru, S. Tixeuil : “On asynchronous rendezvous in general graphs”, Theoretical Computer Science, vol. 753, pp. 80-90, (Elsevier) (2019)
-
2018
- Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Pergiovanni : “Correctness of Tendermint-Core Blockchains”, 22nd International Conference on Principles of Distributed Systems (OPODIS 2018), vol. 125, Leibniz International Proceedings in Informatics (LIPIcs), Hong Kong, China, pp. 16:1-16:16, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) (2018)
- G. Bu, M. Potop‑Butucaru : “FIFO Order reliable convergecast in WBAN”, Computer Networks, vol. 146, pp. 200-2016, (Elsevier) (2018)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps”, 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), vol. 11201, Lecture Notes in Computer Science, Tokyo, Japan, pp. 398-403, (Springer) (2018)
- Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Dissecting Tendermint”, Networked Systems - 7th International Conference, NETYS 2019, vol. 11704, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 166–182, (Springer, Cham), (ISBN: 978-3-030-31277-0) (2018)
- G. Bu, M. Potop‑Butucaru : “BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks”, Ad Hoc Networks, vol. 77, pp. 28-41, (Elsevier) (2018)
- T. Izumi, D. Kaino, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “On time complexity for connectivity-preserving scattering of mobile robots”, Theoretical Computer Science, vol. 738, pp. 42-52, (Elsevier) (2018)
- G. Bu, M. Potop‑Butucaru : “Schéma Optimal basé sur la Preuve à Divulgation Nulle de Connaissance pour les Réseaux Wireless Body Area Networks (WBAN)”, ALGOTEL 2018 - 20es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Roscoff, France (2018)
- Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Correctness and Fairness of Tendermint-core Blockchains”, 1-29 pages (2018)
- Y. Amoussou‑Guenou, S. Baarir, M. Potop‑Butucaru, N. Sznajder, L. Tible, S. Tixeuil : “On the encoding and solving partial information games”, (2018)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru : “Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register”, Theoretical Computer Science, vol. 709, pp. 64-79, (Elsevier) (2018)
-
2017
- A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized verification of algorithms for oblivious robots on a ring”, Formal Methods in Computer Aided Design, Vienna, Austria, pp. 212-219, (IEEE) (2017)
- E. Anceaume, R. Ludinard, M. Potop‑Butucaru, F. Tronel : “Bitcoin a Distributed Shared Register”, Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 10616, Lecture Notes in Computer Science, Boston, MA, United States, pp. 456-468, (Springer) (2017)
- W. Badreddine, N. Khernane, M. Potop‑Butucaru, C. Chaudet : “Convergecast in Wireless Body Area Networks”, Ad Hoc Networks, vol. 66, pp. 40-51, (Elsevier) (2017)
- G. Bu, M. Potop‑Butucaru : “BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks”, (2017)
- W. Badreddine, M. Potop‑Butucaru : “Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks”, 15 - 15 pages (2017)
- G. Bu, M. Potop‑Butucaru : “Total Order Reliable Convergecast in WBAN”, ICDCN 2017 - 18th International Conference on Distributed Computing and Networking, Hyderabad, India, (ACM) (2017)
- S. Solat, M. Potop‑Butucaru : “Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin”, SSS 2017 - 19th International Symposium Stabilization, Safety, and Security of Distributed Systems, vol. 10616, Lecture Notes in Computer Science, Boston, MA, United States, pp. 356-360, (Springer) (2017)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Storage under Unsynchronized Mobile Byzantine Faults”, Proceedings of SRDS 2017, Hong Kong, China, (IEEE Computer Society) (2017)
- M. Othmani‑Guibourg, A. El Fallah‑Seghrouchni, J.‑L. Farges, M. Potop‑Butucaru : “Multi-agent patrolling in dynamic environments”, International Conference on Agents, Beijing, China, (IEEE digital library) (2017)
- A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized Verification of Algorithms for Oblivious Robots on a Ring”, (2017)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Storage under Unsynchrononized Mobile Byzantine Faults”, (2017)
-
2016
- C. Chaudet, M. Potop‑Butucaru, N. Khernane : “BANZKP: a Secure Authentication Scheme Using Zero Knowledge Proof for WBANs”, IEEE MASS 2016, Bresilia, Brazil (2016)
- W. Badreddine, C. Chaudet, F. Petruzzi, M. Potop‑Butucaru : “Broadcast Strategies and Performance Evaluation of IEEE 802.15.4 in Wireless Body Area Networks WBAN”, (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Mobile Byzantine Fault Tolerant Distributed Storage”, ACM Conference on Principles of Distributed Computing (PODC), Chicago, United States (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Mobile Byzantine Fault Tolerant Distributed Storage”, (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Brief announcement: Approximate Agreement under Mobile Byzantine Faults Model”, IEEE Conference on Distributed Computing Systems (ICDCS 2016), Nara, Japan, pp. 727-728, (IEEE) (2016)
- W. Badreddine, C. Chaudet, F. Petruzzi, M. Potop‑Butucaru : “Les Stratégies de Diffusion dans les Réseaux Wireless Body Area Networks”, ALGOTEL 2016 - 18es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Bayonne, France (2016)
- N. Khernane, M. Potop‑Butucaru, C. Chaudet : “BANZKP: a Secure Authentication Scheme Using Zero Knowledge Proof for WBANs”, (2016)
- L. Blin, M. Potop‑Butucaru, S. Rovedakis, S. Tixeuil : “A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property”, The Computer Journal, vol. 59 (2), pp. 225-243, (Oxford University Press (UK)) (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru : “Tight self-stabilizing mobile byzantine-tolerant atomic register”, IEEE ICDCN 2016 Proceedings of the 17th International Conference on Distributed Computing and Networking, Singapore, Singapore (2016)
- B. Bérard, P. Lafourcade, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of mobile robot protocols”, Distributed Computing, vol. 29 (6), pp. 459-487, (Springer Verlag) (2016)
- F. Bonnet, X. Défago, Th. Nguyen, M. Potop‑Butucaru : “Tight bound on mobile Byzantine Agreement”, Theoretical Computer Science, vol. 609 (2), pp. 361-373, (Elsevier) (2016)
- F. Bonnet, M. Potop‑Butucaru, S. Tixeuil : “Asynchronous Gathering in Rings with 4 Robots”, Ad Hoc Now 2016, Lille, France (2016)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp”, (2016)
-
2015
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Approximate Agreement under Mobile Byzantine Faults”, (2015)
- E. Anceaume, M. Potop‑Butucaru, C. Christian : “Nineteenth International Conference on Principles of Distributed Systems (OPODIS)”, Nineteenth International Conference on Principles of Distributed Systems (OPODIS), Rennes, France (2015)
- W. Badreddine, C. Chaudet, F. Petruzzi, M. Potop‑Butucaru : “Broadcast strategies in Wireless Body Area Networks”, 18th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), Cancun, Mexico, pp. 83-90, (ACM) (2015)
- S. Bonomi, Sh. Dolev, M. Potop‑Butucaru, M. Raynal : “Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract”, ACM PODC 2015 Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, New York, United States, pp. 471-479 (2015)
- L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “Synthèse d’algorithmes pour robots mobiles : le cas du regroupement sur un anneau”, ALGOTEL 2015 — 17es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Beaune, France (2015)
- N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Practically stabilizing SWMR atomic memory in message passing systems”, Journal of Computer and System Sciences, vol. 81 (4), pp. 692-701, (Elsevier) (2015)
- S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru : “Tight Mobile Byzantine Tolerant Atomic Storage”, (2015)
- S. Bonomi, M. Potop‑Butucaru, S. Tixeuil : “Stabilizing Byzantine-Fault Tolerant Storage”, IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015, Hyderabad, India, pp. 894-903 (2015)
- B. Bérard, P. Courtieu, L. Millet, M. Potop‑Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain : “[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems”, International Journal of Informatics Society, vol. 7 (3), pp. 101-114, (Japan Informatics Society) (2015)
-
2014
- C. Chaudet, P. Federico, M. Potop‑Butucaru : “Analyzing various broadcast strategies in WBAN”, International Workshop on Green Solutions for Body Area Networks (GreenBAN 2014), Paris, France (2014)
- A. Honorat, M. Potop‑Butucaru, S. Tixeuil : “Gathering fat mobile robots with slim omnidirectional cameras”, Theoretical Computer Science, vol. 557, pp. 1-27, (Elsevier) (2014)
- L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering”, SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, vol. 8756, Lecture Notes in Computer Science, Paderborn, Germany, pp. 237-251, (Springer) (2014)
- F. Bonnet, X. Défago, F. Petit, M. Potop‑Butucaru, S. Tixeuil : “Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols”, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, Nara, Japan, pp. 50-59, (IEEE) (2014)
- X. Défago, M. Gradinariu Potop‑Butucaru, J. Clement, S. Messika, Ph. Raipin‑Parvedy : “Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering — Feasibility Study —”, (2014)
-
2013
- L. Blin, M. Potop‑Butucaru, S. Rovedakis : “A super-stabilizing log(n)-approximation algorithm for dynamic Steiner trees”, Theoretical Computer Science, vol. 500, pp. 90-112, (Elsevier) (2013)
- L. Blin, Sh. Dolev, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “Fast Self-Stabilizing Minimum Spanning Tree Construction Using Compact Nearest Common Ancestor Labeling Scheme”, (2013)
- T. Izumi, M. Potop‑Butucaru, M. Valero : “When Expanders Help Self-Healing Distributed R-Tree Overlays”, IEEE ISPDC 2013, IEEE 12th International Symposium on Parallel and Distributed Computing, Bucarest, Romania, pp. 143-150 (2013)
- B. Bérard, L. Millet, M. Gradinariu Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Vérification formelle et robots mobiles”, 15es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, pp. 1-4, (Nisse, Nicolas et Rousseau, Franck et Busnel, Yann) (2013)
- B. Bérard, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of Mobile Robot Protocols”, (2013)
-
2012
- J. Clement, X. Défago, M. Gradinariu Potop‑Butucaru, S. Messika, Ph. Raipin‑Parvedy : “Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering”, (2012)
- Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Crash Resilient and Pseudo-Stabilizing Atomic Registers”, OPODIS 2012 - 16th International Conference on Principles of Distributed Systems, vol. 7702, Lecture Notes in Computer Science, Rome, Italy, pp. 135-150, (Springer) (2012)
- F. Bonnet, X. Défago, F. Petit, M. Potop‑Butucaru, S. Tixeuil : “Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols”, International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 7596, Lecture Notes in Computer Science, Toronto, Canada, pp. 282-284, (Springer) (2012)
- S. Dubois, M. Potop‑Butucaru, M. Nesterenko, S. Tixeuil : “Self-stabilizing byzantine asynchronous unison”, Journal of Parallel and Distributed Computing, vol. 72 (7), pp. 917-923, (Elsevier) (2012)
-
2011
- F. Bonnet, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction”, (2011)
- M. Gradinariu Potop‑Butucaru, M. Raynal, S. Tixeuil : “Distributed Computing with Mobile Robots: an Introductory Survey”, NBiS 2011 - 14th International Conference on Network-Based Information Systems, Tirana, Albania, pp. 318-324, (IEEE) (2011)
- Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Stabilizing data-link over non-FIFO channels with optimal fault-resilience”, Information Processing Letters, vol. 111 (18), pp. 912-920, (Elsevier) (2011)
- S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Dynamic FTSS in asynchronous systems: The case of unison”, Theoretical Computer Science, vol. 412 (29), pp. 3418-3439, (Elsevier) (2011)
- D. Canepa, X. Défago, T. Izumi, M. Potop‑Butucaru : “Emergent Velocity Agreement in Robot Networks”, (2011)
- M. Valero, L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens : “Architectures de filtrage reconfigurables dynamiquement.”, Conférence Française en Systèmes d'Exploitation, Saint-Malo, France (2011)
- M. Valero, L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens : “Enhancing Fault Tolerance of Distributed R-Tree”, 5th Latin-American Symposium on Dependable Computing, Sao Jose dos Campos, Brazil, pp. 25-34, (IEEE) (2011)
- L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “Self-stabilizing minimum degree spanning tree within one from the optimal degree”, Journal of Parallel and Distributed Computing, vol. 71 (3), pp. 438-449, (Elsevier) (2011)
- F. Bonnet, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction”, OPODIS 2011 - 15th International Conference on Principles of Distributed Systems, vol. 7109, Lecture Notes in Computer Science, Toulouse, France, pp. 251-265, (Springer) (2011)
- N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems”, SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 6976, Lecture Notes in Computer Science, Grenoble, France, pp. 19-31, (Springer) (2011)
- T. Izumi, M. Potop‑Butucaru, M. Valero : “Physical expander in Virtual Tree Overlay”, DISC 2011 - 25th International Symposium on Distributed Computing, vol. 6950, Lecture Notes in Computer Science, Rome, Italy, pp. 82-96, (Springer) (2011)
- Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO”, 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France (2011)
- L. Blin, Sh. Dolev, M. Potop‑Butucaru, S. Rovedakis : “Construction auto-stabilisante d’un arbre couvrant de poids minimum”, 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Cap Estérel, France (2011)
- 2010