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)