Datenquellen im TIB-Portal   Hilfe zur Suche

Unser Tipp: Melden Sie sich an, um alle Funktionen im TIB-Portal optimal nutzen zu können!

NetSheriff: Sheltering Software-Defined Networks from Rogue Switches (Englisch)

In: Networked systems   ;  2021

Wie erhalte ich diesen Titel?

Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.

3
On Network Topologies and the Decidability of Reachability Problem
Aiswarya, C. | 2021
11
Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks
Meuser, Hide Tobias / Ojo, Oluwasegun Taiwo / Bischoff, Daniel / Anta, Antonio Fernández / Stavrakakis, loannis / Steinmetz, Ralf | 2021
28
Blockchains and the Commons
Potop-Butucaru, Maria | 2021
47
On the State Reachability Problem for Concurrent Programs Under Power
Abdulla, Parosh Aziz / Atig, Mohamed Faouzi / Bouajjani, Ahmed / Derevenetc, Egor / Leonardsson, Carl / Meyer, Roland | 2021
60
On the Encoding and Solving of Partial Information Games
Amoussou-Guenou, Yackolley / Baarir, Souheib / Potop-Butucaru, Maria / Sznajder, Nathalie / Tible, Léo / Tixeuil, Sébastien | 2021
77
Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory
Anjana, Parwat Singh / Attiya, Hagit / Kumari, Sweta / Peri, Sathya / Somani, Archit | 2021
94
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution
Bannour, Boutheina / Lapitre, Arnault / Gall, Pascale Le | 2021
112
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults
Bonomi, Silvia / Farina, Giovanni / Tixeuil, Sébastien | 2021
129
Infinite Grid Exploration by Disoriented Robots
Bramas, Quentin / Devismes, Stéphane / Lafourcade, Pascal | 2021
146
Wireless Broadcast with Short Labels
Bu, Gewu / Potop-Butucaru, Maria / Rabie, Mikaël | 2021
170
The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders
Damaskinos, Georgios / Guerraoui, Rachid / Merrer, Erwan Le / Neumann, Christoph | 2021
183
Byzantine k-Set Agreement
Delporte-Gallet, Carole / Fauconnier, Hugues / Safir, Mouna | 2021
192
Fissile Locks
Dice, Dave / Kogan, Alex | 2021
209
Verifying Safety of Parameterized Heard-Of Algorithms
Eles,, Zeinab Ganjei, Ahmed Rezine, Petru / Peng, Zebo | 2021
227
Staleness and Local Progress in Transactional Memory
Attiya, Hagit / Fatourou, Panagiota / Hans, Sandeep / Kanellou, Eleni | 2021
244
Framework for Optimization of Local Dissemination in Wireless Networks
Kowalski, Generic Dariusz R. / Mosteiro, Miguel A. / Wadhwa, Krutika | 2021
261
Venfying Weakly Consistent Transactional Programs Using Symbolic Execution
Ozkan, Burcu Kulahcioglu | 2021
279
NetSheriff: Sheltering Software-Defined Networks from Rogue Switches
Laffranchini, Paolo / Miranda, Joao / Machado, Nuno / Rodrigues, Luis / Riviere, Etienne / Sadre, Ramin | 2021
296
Self-stabilizing Uniform Reliable Broadcast
Lundstrom, Oskar / Raynal, Michel / Schiller, Elad M. | 2021
314
Fully Anonymous Consensus and Set Agreement Algorithms
Raynal, Michel / Taubenfeld, Gadi | 2021
329
Cutoffs for Symmetric Point-to-Point Distributed Algorithms
Tran, Thanh-Hai / Konnov, Igor / Widder, Josef | 2021
349
Stateless Distributed Ledgers
Bonnet, Francois / Bramas, Quentin / Defago, Xavier | 2021
355
Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract)
Cholvi, Vicent / Echagüe, Juan / Anta, Antonio Fernández / Caro, Christopher Thraves | 2021
361
Contents Collaborative Filtering: Comparative Study Between Matrix Factorization and Neural Network Method
Alaoui, Driss El / Riffi, Jamal / Aghoutane, Badraddine / Sabri, Abdelouahed / Yahyaouy, Ali / Tairi, Hamid | 2021
368
Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract)
Sevilla, Andrés / Anta, Antonio Fernández | 2021

Wie erhalte ich diesen Titel?

Feedback