Accepted papers & Videos presentations

Authors Talks are Available on the NETYS2021 Youtube Channel

Regular papers:

Jean-Philippe Abegg, Quentin Bramas and Thomas Noel. Blockchain using Proof-of-Interaction (video link)

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz and Andreas Podelski. Separating Map Variables in a Logic-based Intermediate Verification Language (video link)

Imane El Abid and Yahya Benkaouz. LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System (video link)

Florian Furbach and Peter Chini. Petri Net Invariant Synthesis (video link)

Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal and Elad Michael Schiller. Loosely-self-stabilizing Byzantine-tolerant Binary Consensus for Signature-free Message-passing Systems (video link)

Vojtěch Havlena, Ondrej Lengal and Barbora Šmahlíková. Deciding S1S: Down the Rabbit Hole and Through the Looking Glass (video link)

Lukáš Holík and Martin Hruska. Towards Efficient and General Entailment for Separation Logic via Tree Automata (video link)

Georgios Karlos, Wan Fokkink and Per Fuchs. Fault-Tolerant Termination Detection with Safra’s Algorithm (video link)

Michalis Kokologiannakis and Viktor Vafeiadis. BAM: Efficient Model Checking for Barriers (video link)

Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu and Viktor Vafeiadis. Verifying and Optimizing the HMCS Lock for Arm Servers (video link)

Joseph Oglio, Kendric Hood, Gokarna Sharma and Mikhail Nesterenko. Byzantine Geoconsensus (video link)

Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade and Anissa Lamani. Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots without Common Chirality (video link)

Amaury Bouchra Pilet, Davide Frey and Francois Taiani. AUCCCR: Agent Utility Centered Clustering for Cooperation Recommendation (video link)

Karla Vargas, Michel Raynal and Sergio Rajsbaum. Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability (video link)

Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae and Annette Bieniusa. On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-available File System (video link)

Short papers:

Zahra Bayramzadeh, Ajay Kshemkalyani, Anisur Rahaman Molla and Gokarna Sharma. Weak Amnesiac Flooding of Multiple Messages (video link)

Quentin Bramas. Efficient and Secure TSA for the Tangle (video link)


All deadlines are at 23:59 AoE

March 5th, 2021, March 19th, 2021

Abstract submission deadline

March 12th, 2021 March 26th, 2021

Paper submission deadline

April 26th, 2021 April 30th, 2021

Acceptance notification

May 10th, 2021

Camera ready

May 10th, 2021

Pre-recorded talk


Revised selected papers will be published as a post-proceedings in Springer's LNCS "Lecture Notes in Computer Science"

Partners & Sponsors