


default search action
11th LADC 2022: Fortaleza, CE, Brazil
- Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022. ACM 2022, ISBN 978-1-4503-9737-7
- José Bernardi S. Nunes
, Andrey Brito
:
A taxonomy on privacy and confidentiality. 1-10 - Jeferson L. R. Souza
, Frank Siqueira
:
Analysing and Modelling Inaccessibility in Dependable Real-Time Networks✱. 11-20 - Andreia R. Casare
, Celmar Guimarães da Silva
, Regina Moraes
:
Do dependable systems need good user interfaces? 21-28 - Jorge Reis
, Jarbas Silveira
, César A. M. Marcon
:
Impact of failures in a MPSoC with shared coprocessors to extend the RISC-V ISA. 29-34 - Giovanni Venâncio
, Elias P. Duarte Jr.
:
NHAM: An NFV High Availability Architecture for Building Fault-Tolerant Stateful Virtual Functions and Services. 35-44 - José D'Abruzzo Pereira
, Nuno Lourenço
, Marco Vieira
:
On the Use of Deep Graph CNN to Detect Vulnerable C Functions. 45-50 - Leandro Pacheco
, Fernando Luís Dotti, Fernando Pedone
:
Strengthening Atomic Multicast for Partitioned State Machine Replication. 51-60 - Lucas V. Ruchel
, Luiz Antonio Rodrigues
, Rogério C. Turchetti
, Luciana Arantes
, Elias P. Duarte Jr.
, Edson Tavares de Camargo:
A Leaderless Hierarchical Atomic Broadcast Algorithm. 61-66 - Eduardo F. Felix
, Fernando Antônio Aires Lins
, Obionor O. Nóbrega
, Diego R. Gomes
, Bruno A. Jesus
, Marco Vieira
:
Compliance Evaluation of Cryptographic Security Requirements on IoT Gateways. 67-72 - Jessica Castro
, Nuno Laranjeiro
, Marco Vieira
:
Detecting DoS Attacks in Microservice Applications: Approach and Case Study. 73-78 - Jorsiele Cerqueira
:
An Ontology for Context-aware Middleware for Dependable Medical Systems. 79-83 - Leonardo de Freitas Galesky
, Luiz Antonio Rodrigues
:
Efficient CRDT Synchronization at Scale using a Causal Multicast over a Virtual Hypercube Overlay. 84-88 - José D'Abruzzo Pereira
, João David Ribeiro
, João Pires
, Pedro Moita
, Nuno Laranjeiro
, Marco Vieira
:
On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect. 89-90 - Eduardo E. P. Mosca
, Silvio E. S. B. Ribeiro
, Arthur Urbano
, Danielle S. Silva
, Rafael L. R. Gomes
:
Evaluation of Security Techniques in Heterogeneous IoT Devices. 91-94 - Matheus Monteiro Silveira
, Danielle S. Silva
, Sandra J. R. Rodriguez
, Rafael L. R. Gomes
:
Searchable Symmetric Encryption for Private Data Protection in Cloud Environments. 95-98 - Moisés Cirilo de Brito Souto
, Lucas Rafael Leandro Silva
, Andréa Zotovici
, Larissa Martins
, Maria de Fátima Mattiello-Francisco
, Geilson Loureiro
:
Application of Concurrent Engineering for G.O.L.D.S Constellation as a Cyber-Physical System-of-Systems. 99-108 - Mihály Dobos-Kovács
, András Vörös
:
Evaluation of SMT solvers in abstraction-based software model checking. 109-116 - Samuel Rodriguez Gonzalez
, Juan Betancourt Osorio
, Germán Pardo González
, Daniel Cuellar
, Camilo Gomez
, Francesco Mariotti
, Leonardo Montecchi
, Paolo Lollini
:
Modeling attacker behavior in Cyber-Physical-Systems. 117-124 - Pedro Ângelo Vaz De Carvalho
, André A. S. Ivo
, Guilherme Venticinque
, Gustavo Vicari Duarte
, Matheus Miranda
, Fátima Mattiello-Francisco
:
Simplifying Operational Scenario Simulation for CubeSat Mission Analysis Purposes. 125-130 - Lisa Verlande
, Ulrike Lechner
, Steffi Rudel:
Design of a Federated Learning System for IT Security: Towards Secure Human Resource Management. 131-136 - Leonardo H. de Melo
, Gustavo de Carvalho Bertoli
, Osamu Saotome
, Marcelo F. Domingues
, Lourenço Alves Pereira Jr.
:
Combination of Models for Denial-Of-Service Classification over Different Networks. 137-142 - Vinicius Fulber-Garcia
, Fábio Engel De Camargo
, Elias P. Duarte Jr.
:
Sk-Greedy: A Heuristic Scheduling Algorithm for Wireless Networks under the SINR Model. 143-148 - Marcela Alves Pereira
, Alirio Santos de Sá
:
VCBP: A Reliable and Real-Time Group Communication Protocol for Vehicular Ad Hoc Networks. 149-154

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.