Maria Potop-Butucaru

Orcid: 0000-0001-6488-8326

Affiliations:
  • Sorbonne University, Paris, France


According to our database1, Maria Potop-Butucaru authored at least 176 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Blockchain-based decentralized identity system: Design and security analysis.
IACR Cryptol. ePrint Arch., 2024

Data Poisoning Attacks in Gossip Learning.
Proceedings of the Advanced Information Networking and Applications, 2024

2023
Lower and upper bounds for deterministic convergecast with labeling schemes.
Theor. Comput. Sci., March, 2023

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.
Theor. Comput. Sci., 2023

Game Theoretical Analysis of DAG-Ledgers Backbone.
IACR Cryptol. ePrint Arch., 2023

TenderTee: Increasing the Resilience of Tendermint by using Trusted Environments.
Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023

2022
Distributed Blockchain Price Oracle.
IACR Cryptol. ePrint Arch., 2022

Composable Dynamic Secure Emulation.
IACR Cryptol. ePrint Arch., 2022

TenderTee: Secure Tendermint.
IACR Cryptol. ePrint Arch., 2022

Special issue on blockchain networks and distributed protocols.
Ann. des Télécommunications, 2022

Dynamic Probabilistic Input Output Automata.
Proceedings of the 36th International Symposium on Distributed Computing, 2022

Brief Announcement: Composable Dynamic Secure Emulation.
Proceedings of the SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11, 2022

Foremost Non-stop Journey Arrival in Linear Time.
Proceedings of the Structural Information and Communication Complexity, 2022

Brief Announcement: Probabilistic Dynamic Input/Output Automata.
Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

Topological Evolution Analysis of Payment Channels in the Lightning Network.
Proceedings of the IEEE Latin-American Conference on Communications, 2022

PCNsim: A Flexible and Modular Simulator for Payment Channel Networks.
Proceedings of the IEEE INFOCOM 2022, 2022

Securing Wireless Payment-Channel Networks With Minimum Lock Time Windows.
Proceedings of the IEEE International Conference on Communications, 2022

Resilience of IOTA Consensus.
Proceedings of the IEEE International Conference on Communications, 2022

2021
Principles of Blockchain Systems
Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01807-7, 2021

R-SWAP: Relay based atomic cross-chain swap protocol.
IACR Cryptol. ePrint Arch., 2021

Probabilistic Dynamic Input Output Automata.
IACR Cryptol. ePrint Arch., 2021

2020
Game theoretical framework for analyzing Blockchains Robustness.
IACR Cryptol. ePrint Arch., 2020

Rational Behavior in Committee-Based Blockchains.
IACR Cryptol. ePrint Arch., 2020

Parameterized verification of algorithms for oblivious robots on a ring.
Formal Methods Syst. Des., 2020

Self-stabilizing gathering of mobile robots under crash or Byzantine faults.
Distributed Comput., 2020

Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN.
Ad Hoc Networks, 2020

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness.
Proceedings of the 34th International Symposium on Distributed Computing, 2020

On Fairness in Committee-Based Blockchains.
Proceedings of the 2nd International Conference on Blockchain Economics, 2020

Rational Behaviors in Committee-Based Blockchains.
Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020

Blockchains and the Commons.
Proceedings of the Networked Systems - 8th International Conference, 2020

Wireless Broadcast with Short Labels.
Proceedings of the Networked Systems - 8th International Conference, 2020

On the Encoding and Solving of Partial Information Games.
Proceedings of the Networked Systems - 8th International Conference, 2020

Atomic cross chain swaps via relays and adapters.
Proceedings of the CryBlock@MOBICOM 2020: Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, 2020

Cross hyperledger fabric transactions.
Proceedings of the CryBlock@MOBICOM 2020: Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, 2020

Game Theoretical Analysis of Cross-Chain Swaps.
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

E-IOTA: an efficient and fast metamorphism for IOTA.
Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020

Rational vs Byzantine Players in Consensus-based Blockchains.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Formal Methods for Mobile Robots.
Proceedings of the Distributed Computing by Mobile Entities, 2019

Fault-Tolerant Mobile Robots.
Proceedings of the Distributed Computing by Mobile Entities, 2019

Approximate Agreement under Mobile Byzantine Faults.
Theor. Comput. Sci., 2019

On asynchronous rendezvous in general graphs.
Theor. Comput. Sci., 2019

Metamorphic IOTA.
CoRR, 2019

Rationals vs Byzantines in Consensus-based Blockchains.
CoRR, 2019

Wireless Broadcast with optimal labelling.
CoRR, 2019

Atomic Swapping Bitcoins and Ethers.
Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

HyperPubSub: Blockchain Based Publish/Subscribe.
Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

Scalable lightning factories for Bitcoin.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Blockchain abstract data type: poster.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Dissecting Tendermint.
Proceedings of the Networked Systems - 7th International Conference, 2019

Markovian Model for Broadcast in Wireless Body Area Networks.
Proceedings of the 17th ACM International Symposium on Mobility Management and Wireless Access, 2019

Impact of network delays on Hyperledger Fabric.
Proceedings of the IEEE INFOCOM 2019, 2019

G-IOTA: Fair and confidence aware tangle.
Proceedings of the IEEE INFOCOM 2019, 2019

Reliable Cross-Layer Protocol for Broadcast in Wireless Body Area Networks.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2019

2018
On time complexity for connectivity-preserving scattering of mobile robots.
Theor. Comput. Sci., 2018

Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register.
Theor. Comput. Sci., 2018

Lightning Factories.
IACR Cryptol. ePrint Arch., 2018

Blockchain Abstract Data Type.
IACR Cryptol. ePrint Arch., 2018

Correctness and Fairness of Tendermint-core Blockchains.
IACR Cryptol. ePrint Arch., 2018

FIFO Order reliable convergecast in WBAN.
Comput. Networks, 2018

BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks.
Ad Hoc Networks, 2018

Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Correctness of Tendermint-Core Blockchains.
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017
Optimal Storage under Unsynchrononized Mobile Byzantine Faults.
CoRR, 2017

Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks.
CoRR, 2017

Convergecast in Wireless Body Area Networks.
Ad Hoc Networks, 2017

Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Bitcoin a Distributed Shared Register.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Optimal Storage under Unsynchronized Mobile Byzantine Faults.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Total Order Reliable Convergecast in WBAN.
Proceedings of the 18th International Conference on Distributed Computing and Networking, 2017

Multi-agent patrolling in dynamic environments.
Proceedings of the IEEE International Conference on Agents, 2017

2016
Tight bound on mobile Byzantine Agreement.
Theor. Comput. Sci., 2016

ARMCO: Advanced topics in resource management for ubiquitous cloud computing: An adaptive approach.
Future Gener. Comput. Syst., 2016

Formal verification of mobile robot protocols.
Distributed Comput., 2016

ZeroBlock: Preventing Selfish Mining in Bitcoin.
CoRR, 2016

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -.
CoRR, 2016

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.
CoRR, 2016

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property.
Comput. J., 2016

Flocking with Oblivious Robots.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

BANZKP: A secure authentication scheme using zero knowledge proof for WBANs.
Proceedings of the 13th International Conference on New Technologies for Distributed Systems, 2016

Tight self-stabilizing mobile byzantine-tolerant atomic register.
Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

Asynchronous Gathering in Rings with 4 Robots.
Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 15th International Conference, 2016

2015
Practically stabilizing SWMR atomic memory in message-passing systems.
J. Comput. Syst. Sci., 2015

Tight Mobile Byzantine Tolerant Atomic Storage.
CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems.
CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Broadcast Strategies in Wireless Body Area Networks.
Proceedings of the 18th ACM International Conference on Modeling, 2015

Stabilizing Byzantine-Fault Tolerant Storage.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2014
Gathering fat mobile robots with slim omnidirectional cameras.
Theor. Comput. Sci., 2014

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

2013
A super-stabilizing log(<i>n</i>)log(n)-approximation algorithm for dynamic Steiner trees.
Theor. Comput. Sci., 2013

When Expanders Help Self-Healing Distributed R-Tree Overlays.
Proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing, 2013

2012
Self-stabilizing byzantine asynchronous unison.
J. Parallel Distributed Comput., 2012

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Crash Resilient and Pseudo-Stabilizing Atomic Registers.
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

2011
Self-stabilizing minimum connected covers of query regions in sensor networks.
Wirel. Commun. Mob. Comput., 2011

Dynamic FTSS in asynchronous systems: The case of unison.
Theor. Comput. Sci., 2011

Self-stabilizing minimum degree spanning tree within one from the optimal degree.
J. Parallel Distributed Comput., 2011

Stabilizing data-link over non-FIFO channels with optimal fault-resilience.
Inf. Process. Lett., 2011

Emergent velocity agreement in robot networks
CoRR, 2011

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO
CoRR, 2011

Physical Expander in Virtual Tree Overlay.
Proceedings of the Distributed Computing - 25th International Symposium, 2011

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Distributed Computing with Mobile Robots: An Introductory Survey.
Proceedings of the 14th International Conference on Network-Based Information Systems, 2011

Enhancing Fault Tolerance of Distributed R-Tree.
Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

Multi-resource Allocation with Unknown Participants.
Proceedings of the Second International Conference on Networking and Computing, 2011

2010
Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing.
IEEE Trans. Parallel Distributed Syst., 2010

Optimal Byzantine-resilient convergence in uni-dimensional robot networks.
Theor. Comput. Sci., 2010

The cost of probabilistic agreement in oblivious robot networks.
Inf. Process. Lett., 2010

A framework for proving the self-organization of dynamic systems
CoRR, 2010

Practically Stabilizing Atomic Memory
CoRR, 2010

Fast Self-Stabilizing Minimum Spanning Tree Construction
CoRR, 2010

Universal Loop-Free Super-Stabilization
CoRR, 2010

Exclusive Perpetual Ring Exploration without Chirality.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Fast Self-stabilizing Minimum Spanning Tree Construction - Using Compact Nearest Common Ancestor Labeling Scheme.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Brief Announcement: Sharing Memory in a Self-stabilizing Manner.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Dynamically Reconfigurable Filtering Architectures.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Loop-Free Super-Stabilizing Spanning Tree Construction.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

A Framework for Secure and Private P2P Publish/Subscribe.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots.
Proceedings of the Structural Information and Communication Complexity, 2010

Self-stabilizing tiny interaction protocols.
Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

Self-stabilizing Byzantine Asynchronous Unison<sup>, </sup>.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

RoboCast: Asynchronous Communication in Robot Networks.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks.
Proceedings of the Distributed Computing and Networking, 11th International Conference, 2010

Enhanced DR-Tree for Low Latency Filtering in Publish/Subscribe Systems.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009
Byzantine Convergence in Robots Networks: The Price of Asynchrony
CoRR, 2009

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks
CoRR, 2009

Optimal byzantine resilient convergence in oblivious robot networks
CoRR, 2009

A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees
CoRR, 2009

Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks.
Proceedings of the Stabilization, 2009

A Superstabilizing log(<i>n</i>)-Approximation Algorithm for Dynamic Steiner Trees.
Proceedings of the Stabilization, 2009

Byzantine Convergence in Robot Networks: The Price of Asynchrony.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Byzantine-Resilient Convergence in Oblivious Robot Networks.
Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

2008
The cost of probabilistic gathering in oblivious robot networks
CoRR, 2008

Stabilizing token schemes for population protocols
CoRR, 2008

Bounds for self-stabilization in unidirectional networks
CoRR, 2008

2007
Managed Agreement: Generalizing two fundamental distributed agreement problems.
Inf. Process. Lett., 2007

Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings.
Distributed Comput., 2007

Self* Minimum Connected Covers of Query Regions in Sensor Networks.
Proceedings of the Stabilization, 2007

Stabilizing Flocking Via Leader Election in Robot Networks.
Proceedings of the Stabilization, 2007

On the Self-stabilization of Mobile Robots in Graphs.
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Conflict Managers for Self-stabilization without Fairness Assumption.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Stabilizing Peer-to-Peer Spatial Filters.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Content-Based Publish/Subscribe Using Distributed R-Trees.
Proceedings of the Euro-Par 2007, 2007

2006
Self-* Distributed Query Region Covering in Sensor Networks.
J. Aerosp. Comput. Inf. Commun., 2006

Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

Self-stabilizing Wireless Connected Overlays.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

Self* Architecture for Trajectory Tracking in Wireless Sensor Networks.
Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006

Deterministic delta-Connected Overlay for Peer-to-Peer Networks.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

A Semantic Overlay for Self- Peer-to-Peer Publish/Subscribe.
Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

2005
Stabilizing mobile philosophers.
Inf. Process. Lett., 2005

Towards a Theory of Self-organization.
Proceedings of the Distributed Computing, 19th International Conference, 2005

Incentives for P2P Fair Resource Sharing.
Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

Distributed Self-Minimum Connected Covering of a Query Region in Sensor Networks.
Proceedings of the 8th International Symposium on Parallel Architectures, 2005

P2P Architecture for Self-Atomic Memory.
Proceedings of the 8th International Symposium on Parallel Architectures, 2005

2004
Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler.
Comput. J., 2004

Locating cache proxies in manets.
Proceedings of the 5th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2004

An Architecture for Dynamic Scalable Self-Managed Persistent Objects.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003
Self-Stabilizing Wormhole Routing on Ring Networks.
J. Inf. Sci. Eng., 2003

Anonymous Publish/Subscribe in P2P Networks.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Looking for a Common View for Mobile Worlds.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

2002
Token-Based Self-Stabilizing Uniform Algorithms.
J. Parallel Distributed Comput., 2002

Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.
Chic. J. Theor. Comput. Sci., 2002

Publish/subscribe scheme for mobile networks.
Proceedings of the 2002 Workshop on Principles of Mobile Computing, 2002

Normality versus system mobility.
Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

2001
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary.
Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

Tight Space Self-Stabilizing Uniform l-Mutual Exclusion.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
Self-stabilizing Vertex Coloration and Arbitrary Graphs.
Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler.
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

1999
Memory Space Requirements for Self-Stabilizing Leader Election Protocols.
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999


  Loading...