Maria Potop-Butucaru

171 papers A* 3A 11B 18C 11Misc 6Journal 84Unranked 32
YearRankTypeTitle / Venue / Authors
2026 J jnl
Byzantine reliable broadcast and tendermint consensus with trusted components.
Theor. Comput. Sci.
Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru
2025 B conf
ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated Learning.
SPAA
Tengfei An, Serge Fdida, Maria Potop-Butucaru, Sébastien Tixeuil
2025 B conf
Asynchronous Byzantine Consensus with Trusted Monotonic Counters.
SIROCCO
Yackolley Amoussou-Guenou, Maurice Herlihy, Maria Potop-Butucaru
2025 J jnl
Blockchain-based Secure D2D localisation with adaptive precision.
IACR Cryptol. ePrint Arch.
Gewu Bu, Bilel Zaghdoudi, Maria Potop-Butucaru, Serge Fdida
2025 J jnl
Byzantine Reliable Broadcast and Tendermint Consensus with trusted components.
IACR Cryptol. ePrint Arch.
Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru
2025 — conf
Distributed Computation of Temporal Twins in Periodic Undirected Time-Varying Graphs.
NETYS
Massinissa Tighilt, Lina Azerouk, Camille Palisoc, Binh-Minh Bui-Xuan, Maria Potop-Butucaru
2025 — conf
HEAL: Resilient and Self-* Hub-Based Learning.
AINA (2)
Mohamed Amine Legheraba, Stefan Galkiewicz, Maria Potop-Butucaru, Sébastien Tixeuil
2025 — conf
LIFT: Byzantine Resilient Hub-Sampling.
CANDAR
Mohamed Amine Legheraba, Nour Rachdi, Maria Potop-Butucaru, Sébastien Tixeuil
2025 — conf
Mitigating Balancing Attack on Ethereum PoS.
AINA (2)
Ahmad Atwi, Yackolley Amoussou-Guenou, Maria Potop-Butucaru, Bilel Zaghdoudi
2025 B conf
Mobile Byzantine Agreement in a Trusted World.
OPODIS
Bo Pan, Maria Potop-Butucaru
2025 J jnl
Mobile Byzantine Agreement in a Trusted World.
IACR Cryptol. ePrint Arch.
Bo Pan, Maria Potop-Butucaru
2025 — conf
Secure Lineage Storage on Public and Private Blockchains.
NETYS
Bilel Zaghdoudi, Maria Potop-Butucaru
2025 J jnl
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults.
CoRR
Shlomi Dolev, Amit Hendin, Maurice Herlihy, Maria Potop-Butucaru, Elad Michael Schiller
2025 J jnl
The Smart Contract Model.
CoRR
Yackolley Amoussou-Guenou, Maurice Herlihy, Sucharita Jayanti, Maria Potop-Butucaru, Sergio Rajsbaum
2024 J jnl
A Survey on Blockchain Scalability: From Hardware to Layer-Two Protocols.
IEEE Commun. Surv. Tutorials
Gabriel Antonio F. Rebello, Gustavo Franco Camilo, Lucas Airam C. de Souza, Maria Potop-Butucaru, Marcelo Dias de Amorim, Miguel Elias M. Campista, Luís Henrique M. K. Costa
2024 J jnl
Asynchronous Byzantine Consensus with Trusted Monotonic Counters.
IACR Cryptol. ePrint Arch.
Yackolley Amoussou-Guenou, Maurice Herlihy, Maria Potop-Butucaru
2024 J jnl
Blockchain-based decentralized identity system: Design and security analysis.
IACR Cryptol. ePrint Arch.
Gewu Bu, Serge Fdida, Maria Potop-Butucaru, Bilel Zaghdoudi
2024 C conf
Brief Announcement: A Self-* and Persistent Hub Sampling Service.
SSS
Mohamed Amine Legheraba, Maria Potop-Butucaru, Sébastien Tixeuil
2024 C conf
Byzantine Reliable Broadcast with One Trusted Monotonic Counter.
SSS
Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru
2024 J jnl
Byzantine Reliable Broadcast with One Trusted Monotonic Counter.
IACR Cryptol. ePrint Arch.
Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru
2024 — conf
Challenger: Blockchain-based Massively Multiplayer Online Game Architecture.
NETYS
Boris Chan Yip Hon, Bilel Zaghdoudi, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 J jnl
Challenger: Blockchain-based Massively Multiplayer Online Game Architecture.
IACR Cryptol. ePrint Arch.
Boris Chan Yip Hon, Bilel Zaghdoudi, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 — conf
Data Poisoning Attacks in Gossip Learning.
AINA (2)
Alexandre Pham, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 J jnl
Data Poisoning Attacks in Gossip Learning.
CoRR
Alexandre Pham, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 J jnl
Distributed computation of temporal twins in periodic undirected time-varying graphs.
CoRR
Lina Azerouk, Binh-Minh Bui-Xuan, Camille Palisoc, Maria Potop-Butucaru, Massinissa Tighilt
2024 J jnl
Elevator: Self-* and Persistent Hub Sampling Service in Unstructured Peer-to-Peer Networks.
CoRR
Mohamed Amine Legheraba, Maria Potop-Butucaru, Sébastien Tixeuil
2024 B conf
Emergent Peer-to-Peer Multi-Hub Topology.
NCA
Mohamed Amine Legheraba, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 C conf
Invited Paper: The Smart Contract Model.
SSS
Yackolley Amoussou-Guenou, Maurice Herlihy, Maria Potop-Butucaru, Sergio Rajsbaum
2024 J jnl
Public vs Private Blockchains lineage storage.
IACR Cryptol. ePrint Arch.
Bilel Zaghdoudi, Maria Potop-Butucaru
2024 — conf
Secure Data Traceability for Mobile Data Collectors.
FPS (1)
Bilel Zaghdoudi, Christine Hennebert, Maria Potop-Butucaru
2023 J jnl
Game Theoretical Analysis of DAG-Ledgers Backbone.
IACR Cryptol. ePrint Arch.
Simone Galimberti, Maria Potop-Butucaru
2023 J jnl
Lower and upper bounds for deterministic convergecast with labeling schemes.
Theor. Comput. Sci.
Gewu Bu, Zvi Lotker, Maria Potop-Butucaru, Mikaël Rabie
2023 J jnl
Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.
Theor. Comput. Sci.
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2023 Misc conf
TenderTee: Increasing the Resilience of Tendermint by using Trusted Environments.
ICDCN
Lionel Beltrando, Maria Potop-Butucaru, José Alfaro
2022 B conf
Brief Announcement: Composable Dynamic Secure Emulation.
SPAA
Pierre Civit, Maria Potop-Butucaru
2022 A* conf
Brief Announcement: Probabilistic Dynamic Input/Output Automata.
PODC
Pierre Civit, Maria Potop-Butucaru
2022 J jnl
Composable Dynamic Secure Emulation.
IACR Cryptol. ePrint Arch.
Pierre Civit, Maria Potop-Butucaru
2022 — conf
Distributed Blockchain Price Oracle.
NETYS
Léonard Lys, Maria Potop-Butucaru
2022 J jnl
Distributed Blockchain Price Oracle.
IACR Cryptol. ePrint Arch.
Léonard Lys, Maria Potop-Butucaru
2022 A conf
Dynamic Probabilistic Input Output Automata.
DISC
Pierre Civit, Maria Potop-Butucaru
2022 B conf
Foremost Non-stop Journey Arrival in Linear Time.
SIROCCO
Juan Villacis-Llobet, Binh-Minh Bui-Xuan, Maria Potop-Butucaru
2022 — conf
PCNsim: A Flexible and Modular Simulator for Payment Channel Networks.
INFOCOM Workshops
Gabriel Antonio F. Rebello, Gustavo Franco Camilo, Maria Potop-Butucaru, Miguel Elias M. Campista, Marcelo Dias de Amorim, Luís Henrique M. K. Costa
2022 — conf
Resilience of IOTA Consensus.
ICC
Hamed Nazim Mamache, Gabin Mazué, Osama Rashid, Gewu Bu, Maria Potop-Butucaru
2022 — conf
Securing Wireless Payment-Channel Networks With Minimum Lock Time Windows.
ICC
Gabriel Antonio F. Rebello, Maria Potop-Butucaru, Marcelo Dias de Amorim, Otto Carlos M. B. Duarte
2022 J jnl
Special issue on blockchain networks and distributed protocols.
Ann. des Télécommunications
Maria Potop-Butucaru, Ariel Orda, Maurice Herlihy, Stefano Secci
2022 J jnl
TenderTee: Secure Tendermint.
IACR Cryptol. ePrint Arch.
Lionel Beltrando, Maria Potop-Butucaru, José Alfaro
2022 — conf
Topological Evolution Analysis of Payment Channels in the Lightning Network.
LATINCOM
Gustavo Franco Camilo, Gabriel Antonio F. Rebello, Lucas Airam C. de Souza, Maria Potop-Butucaru, Marcelo Dias de Amorim, Miguel Elias M. Campista, Luís Henrique M. K. Costa
2021 A conf
Game Theoretical Framework for Analyzing Blockchains Robustness.
DISC
Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, Stefano Secci
2021 — book
Principles of Blockchain Systems
Antonio Fernández Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru
2021 J jnl
Probabilistic Dynamic Input Output Automata.
IACR Cryptol. ePrint Arch.
Pierre Civit, Maria Potop-Butucaru
2021 — conf
R-SWAP: Relay Based Atomic Cross-Chain Swap Protocol.
ALGOCLOUD
Léonard Lys, Arthur Micoulet, Maria Potop-Butucaru
2021 J jnl
R-SWAP: Relay based atomic cross-chain swap protocol.
IACR Cryptol. ePrint Arch.
Léonard Lys, Arthur Micoulet, Maria Potop-Butucaru
2021 J jnl
Resilience of IOTA Consensus.
CoRR
Hamed Mamache, Gabin Mazué, Osama Rashid, Gewu Bu, Maria Potop-Butucaru
2020 — conf
Atomic cross chain swaps via relays and adapters.
CryBlock@MOBICOM
Léonard Lys, Arthur Micoulet, Maria Potop-Butucaru
2020 — conf
Blockchains and the Commons.
NETYS
Maria Potop-Butucaru
2020 A conf
Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness.
DISC
Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, Stefano Secci
2020 J jnl
Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN.
Ad Hoc Networks
Wafa Badreddine, Claude Chaudet, Federico Petruzzi, Maria Potop-Butucaru
2020 — conf
Cross hyperledger fabric transactions.
CryBlock@MOBICOM
Gewu Bu, Riane Haouara, Thanh Son Lam Nguyen, Maria Potop-Butucaru
2020 — conf
E-IOTA: an efficient and fast metamorphism for IOTA.
BRAINS
Gewu Bu, Wassim Hana, Maria Potop-Butucaru
2020 A conf
Game Theoretical Analysis of Cross-Chain Swaps.
ICDCS
Marianna Belotti, Stefano Moretti, Maria Potop-Butucaru, Stefano Secci
2020 J jnl
Game theoretical framework for analyzing Blockchains Robustness.
IACR Cryptol. ePrint Arch.
Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, Stefano Secci
2020 — ed.
International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2019, Paris, France, May 6-7, 2019
Tokenomics
Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru, Julien Prat, Sara Tucci Piergiovanni
2020 — conf
On Fairness in Committee-Based Blockchains.
Tokenomics
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2020 — conf
On the Encoding and Solving of Partial Information Games.
NETYS
Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil
2020 J jnl
Parameterized verification of algorithms for oblivious robots on a ring.
Formal Methods Syst. Des.
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2020 J jnl
Rational Behavior in Committee-Based Blockchains.
IACR Cryptol. ePrint Arch.
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2020 B conf
Rational Behaviors in Committee-Based Blockchains.
OPODIS
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2020 A conf
Rational vs Byzantine Players in Consensus-based Blockchains.
AAMAS
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2020 J jnl
Self-stabilizing gathering of mobile robots under crash or Byzantine faults.
Distributed Comput.
Xavier Défago, Maria Potop-Butucaru, Philippe Raipin Parvédy
2020 — conf
Wireless Broadcast with Short Labels.
NETYS
Gewu Bu, Maria Potop-Butucaru, Mikaël Rabie
2019 J jnl
Approximate Agreement under Mobile Byzantine Faults.
Theor. Comput. Sci.
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2019 B conf
Atomic Swapping Bitcoins and Ethers.
SRDS
Léonard Lys, Arthur Micoulet, Maria Potop-Butucaru
2019 B conf
Blockchain Abstract Data Type.
SPAA
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2019 B conf
Blockchain abstract data type: poster.
PPoPP
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2019 — conf
Dissecting Tendermint.
NETYS
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2019 — ch.
Fault-Tolerant Mobile Robots.
Distributed Computing by Mobile Entities
Xavier Défago, Maria Potop-Butucaru, Sébastien Tixeuil
2019 — ch.
Formal Methods for Mobile Robots.
Distributed Computing by Mobile Entities
Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain
2019 — conf
G-IOTA: Fair and confidence aware tangle.
INFOCOM Workshops
Gewu Bu, Önder Gürcan, Maria Potop-Butucaru
2019 J jnl
G-IOTA: Fair and confidence aware tangle.
CoRR
Gewu Bu, Önder Gürcan, Maria Potop-Butucaru
2019 B conf
HyperPubSub: Blockchain Based Publish/Subscribe.
SRDS
Gewu Bu, Thanh Son Lam Nguyen, Maria Potop-Butucaru, Kim Loan Thai
2019 J jnl
HyperPubSub: Blockchain based Publish/Subscribe.
CoRR
Gewu Bu, Thanh Son Lam Nguyen, Maria Potop-Butucaru, Kim Thai
2019 — conf
Impact of network delays on Hyperledger Fabric.
INFOCOM Workshops
Thanh Son Lam Nguyen, Guillaume Jourjon, Maria Potop-Butucaru, Kim Loan Thai
2019 J jnl
Impact of network delays on Hyperledger Fabric.
CoRR
Thanh Son Lam Nguyen, Guillaume Jourjon, Maria Potop-Butucaru, Kim Thai
2019 — conf
Markovian Model for Broadcast in Wireless Body Area Networks.
MobiWac
Bruno Baynat, Gewu Bu, Maria Potop-Butucaru
2019 J jnl
Markovian model for Broadcast in Wireless Body Area Networks.
CoRR
Bruno Baynat, Gewu Bu, Maria Potop-Butucaru
2019 J jnl
Metamorphic IOTA.
CoRR
Gewu Bu, Wassim Hana, Maria Potop-Butucaru
2019 J jnl
On Fairness in Committee-based Blockchains.
CoRR
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2019 J jnl
On asynchronous rendezvous in general graphs.
Theor. Comput. Sci.
Evangelos Bampas, Lélia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Maria Potop-Butucaru, Sébastien Tixeuil
2019 J jnl
Rationals vs Byzantines in Consensus-based Blockchains.
CoRR
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2019 — conf
Reliable Cross-Layer Protocol for Broadcast in Wireless Body Area Networks.
ADHOC-NOW
Wafa Badreddine, Maria Potop-Butucaru
2019 Misc conf
Scalable lightning factories for Bitcoin.
SAC
Alejandro Ranchal-Pedrosa, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2019 J jnl
Wireless Broadcast with optimal labelling.
CoRR
Gewu Bu, Maria Potop-Butucaru
2018 J jnl
BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks.
Ad Hoc Networks
Gewu Bu, Maria Potop-Butucaru
2018 J jnl
BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks.
CoRR
Gewu Bu, Maria Potop-Butucaru
2018 J jnl
Blockchain Abstract Data Type.
CoRR
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2018 J jnl
Blockchain Abstract Data Type.
IACR Cryptol. ePrint Arch.
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2018 C conf
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps.
SSS
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2018 J jnl
Correctness and Fairness of Tendermint-core Blockchains.
CoRR
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2018 J jnl
Correctness and Fairness of Tendermint-core Blockchains.
IACR Cryptol. ePrint Arch.
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2018 B conf
Correctness of Tendermint-Core Blockchains.
OPODIS
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2018 J jnl
Dissecting Tendermint.
CoRR
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2018 J jnl
FIFO Order reliable convergecast in WBAN.
Comput. Networks
Gewu Bu, Maria Potop-Butucaru
2018 J jnl
Lightning Factories.
IACR Cryptol. ePrint Arch.
Alejandro Ranchal-Pedrosa, Maria Potop-Butucaru, Sara Tucci Piergiovanni
2018 J jnl
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register.
Theor. Comput. Sci.
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
2017 B conf
BAN-GZKP: Optimal Zero Knowledge Proof Based Scheme for Wireless Body Area Networks.
MASS
Gewu Bu, Maria Potop-Butucaru
2017 C conf
Bitcoin a Distributed Shared Register.
SSS
Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel
2017 C conf
Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin.
SSS
Siamak Solat, Maria Potop-Butucaru
2017 J jnl
Convergecast in Wireless Body Area Networks.
Ad Hoc Networks
Wafa Badreddine, Nesrine Khernane, Maria Potop-Butucaru, Claude Chaudet
2017 — conf
Multi-agent patrolling in dynamic environments.
ICA
Mehdi Othmani-Guibourg, Amal El Fallah Seghrouchni, Jean-Loup Farges, Maria Potop-Butucaru
2017 B conf
Optimal Storage under Unsynchronized Mobile Byzantine Faults.
SRDS
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2017 J jnl
Optimal Storage under Unsynchrononized Mobile Byzantine Faults.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2017 J jnl
Parameterized Verification of Algorithms for Oblivious Robots on a Ring.
CoRR
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2017 B conf
Parameterized verification of algorithms for oblivious robots on a ring.
FMCAD
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2017 J jnl
Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks.
CoRR
Wafa Badreddine, Maria Potop-Butucaru
2017 Misc conf
Total Order Reliable Convergecast in WBAN.
ICDCN
Gewu Bu, Maria Potop-Butucaru
2016 J jnl
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property.
Comput. J.
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
2016 J jnl
ARMCO: Advanced topics in resource management for ubiquitous cloud computing: An adaptive approach.
Future Gener. Comput. Syst.
Florin Pop, Maria Potop-Butucaru
2016 A conf
Approximate Agreement under Mobile Byzantine Faults.
ICDCS
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 J jnl
Approximate Agreement under Mobile Byzantine Faults.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 — conf
Asynchronous Gathering in Rings with 4 Robots.
ADHOC-NOW
François Bonnet, Maria Potop-Butucaru, Sébastien Tixeuil
2016 B conf
BANZKP: A Secure Authentication Scheme Using Zero Knowledge Proof for WBANs.
MASS
Nesrine Khernane, Maria Potop-Butucaru, Claude Chaudet
2016 — conf
BANZKP: A secure authentication scheme using zero knowledge proof for WBANs.
NOTERE
Nesrine Khernane, Maria Potop-Butucaru, Claude Chaudet
2016 J jnl
BANZKP: a Secure Authentication Scheme Using Zero Knowledge Proof for WBANs.
CoRR
Nesrine Khernane, Maria Potop-Butucaru, Claude Chaudet
2016 J jnl
Broadcast Strategies and Performance Evaluation of IEEE 802.15.4 in Wireless Body Area Networks WBAN.
CoRR
Wafa Badreddine, Claude Chaudet, Federico Petruzzi, Maria Potop-Butucaru
2016 C conf
Flocking with Oblivious Robots.
SSS
Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru
2016 J jnl
Formal verification of mobile robot protocols.
Distributed Comput.
Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil
2016 A* conf
Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.
PODC
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 J jnl
Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 J jnl
Tight bound on mobile Byzantine Agreement.
Theor. Comput. Sci.
François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru
2016 Misc conf
Tight self-stabilizing mobile byzantine-tolerant atomic register.
ICDCN
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
2016 J jnl
Total Order Reliable Convergecast in WBAN.
CoRR
Gewu Bu, Maria Potop-Butucaru
2016 J jnl
ZeroBlock: Preventing Selfish Mining in Bitcoin.
CoRR
Siamak Solat, Maria Potop-Butucaru
2015 — ed.
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
ARMS-CC@PODC
Florin Pop, Maria Potop-Butucaru
2015 A conf
Broadcast Strategies in Wireless Body Area Networks.
MSWiM
Wafa Badreddine, Claude Chaudet, Federico Petruzzi, Maria Potop-Butucaru
2015 J jnl
Practically stabilizing SWMR atomic memory in message-passing systems.
J. Comput. Syst. Sci.
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2015 A conf
Stabilizing Byzantine-Fault Tolerant Storage.
IPDPS
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil
2015 J jnl
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems.
CoRR
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal
2015 A* conf
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract.
PODC
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal
2015 J jnl
Tight Mobile Byzantine Tolerant Atomic Storage.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
2014 — ed.
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
ARMS-CC@PODC
Florin Pop, Maria Potop-Butucaru
2014 — conf
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
SRDS Workshops
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil
2014 J jnl
Gathering fat mobile robots with slim omnidirectional cameras.
Theor. Comput. Sci.
Anthony Honorat, Maria Potop-Butucaru, Sébastien Tixeuil
2014 C conf
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.
SSS
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
2014 J jnl
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering.
CoRR
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
2014 A conf
Tight Bound on Mobile Byzantine Agreement.
DISC
François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru
2013 J jnl
A super-stabilizing log(
Theor. Comput. Sci.
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis
2013 C ed.
Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
SSS
Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita
2013 C conf
When Expanders Help Self-Healing Distributed R-Tree Overlays.
ISPDC
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero
2012 J jnl
Self-stabilizing byzantine asynchronous unison.
J. Parallel Distributed Comput.
Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
2011 B conf
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction.
OPODIS
François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil
2011 J jnl
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO
CoRR
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2011 — conf
Distributed Computing with Mobile Robots: An Introductory Survey.
NBiS
Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil
2011 J jnl
Dynamic FTSS in asynchronous systems: The case of unison.
Theor. Comput. Sci.
Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2011 J jnl
Emergent velocity agreement in robot networks
CoRR
Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru
2011 — conf
Enhancing Fault Tolerance of Distributed R-Tree.
LADC
Mathieu Valero, Luciana Arantes, Maria Potop-Butucaru, Pierre Sens
2011 Misc conf
Multi-resource Allocation with Unknown Participants.
ICNC
Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, François Kawala, Maria Potop-Butucaru
2011 J jnl
Physical expander in Virtual Tree Overlay
CoRR
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valero
2011 C conf
Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.
SSS
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2011 J jnl
Stabilizing data-link over non-FIFO channels with optimal fault-resilience.
Inf. Process. Lett.
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2010 J jnl
A framework for proving the self-organization of dynamic systems
CoRR
Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy
2010 A conf
Exclusive Perpetual Ring Exploration without Chirality.
DISC
Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil
2010 J jnl
Fast Self-Stabilizing Minimum Spanning Tree Construction
CoRR
Lélia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis
2010 Misc conf
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks.
ICDCN
Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Potop-Butucaru, Sébastien Tixeuil
2010 J jnl
RoboCast: Asynchronous Communication in Robot Networks
CoRR
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil
2010 B conf
RoboCast: Asynchronous Communication in Robot Networks.
OPODIS
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil
2010 J jnl
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
CoRR
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2010 J jnl
Universal Loop-Free Super-Stabilization
CoRR
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
2009 A conf
A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property.
DISC
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
2009 J jnl
Byzantine Convergence in Robots Networks: The Price of Asynchrony
CoRR
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil
2009 J jnl
Optimal byzantine resilient convergence in oblivious robot networks
CoRR
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil
2009 J jnl
Optimal deterministic ring exploration with oblivious asynchronous robots
CoRR
Anissa Lamani, Maria Potop-Butucaru, Sébastien Tixeuil