LADC - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 340

2024

Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, LADC 2024, Recife, Brazil, November 26-29, 2024ACM, 2024. [doi]

An Approach Toward Enhancing OT and IoT SecurityGustavo Almeida, Patrick Taraborelli, Hebert Silva. ladc 2024: 28-29 [doi]

Extending State Machine Replication through CompositionCaroline Martins Alves, Thaís Bardini Idalino, Odorico Mendizabal. ladc 2024: 231-240 [doi]

Post-Quantum Algorithms on ARM Trusted Execution Environment (TEE): findings of this industrial challengeEwerton R. Andrade, Cristiano Coimbra Goes, Janislley Oliveira de Sousa. ladc 2024: 192-195 [doi]

Automated Severity Driven Patch ManagementCarlos Eduardo De Schuller Banjar, Miguel Angelo Santos Bicudo, Lucas Miranda 0001, Cainã Figueiredo Pereira, Lucas Senos Coutinho, Daniel Sadoc Menasché, Gaurav Kumar Srivastava, Enrico Lovat, Anton Kocheturov, Matheus Martins, Leandro Pfleger de Aguiar. ladc 2024: 179-183 [doi]

Assessing Satellite Resilience: SPN and CTMC Models for Availability EvaluationEsau Bermudez, Paulo Maciel 0001. ladc 2024: 175-178 [doi]

A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical ThingsThiago Valentim Bezerra, Gustavo Callou, Cleunio França, Eduardo Antonio Guimarães Tavares. ladc 2024: 210-219 [doi]

Risk Aggregation Using the Poisson Shot Noise Model: What is the Impact of the Window Size?Miguel Angelo Santos Bicudo, Daniel Sadoc Menasché. ladc 2024: 32-37 [doi]

Generic MulticastJosé Augusto Bolina, Pierre Sutra, Douglas Antunes Rocha, Lásaro J. Camargos. ladc 2024: 81-90 [doi]

Availability and Performance Analysis of Cloud ServicesGustavo Callou, Marco Vieira. ladc 2024: 262-271 [doi]

How Context Impacts Vulnerability Severity: An Analysis of Product-Specific CVSS ScoresLucas Senos Coutinho, Daniel S. Menasché, Lucas Miranda 0001, Enrico Lovat, Srivastava Gaurav Kumar, Abhishek Ramchandran, Anton Kocheturov, Tobias Limmer. ladc 2024: 17-27 [doi]

A Flexible Framework for Evaluating Cyber Security Maturity and Risks in Electric Power Generation OrganizationsMilton de Lima, Geraldo da Cruz Junior, David da Cunha, Jimmy Paul Souza Barreto. ladc 2024: 171-174 [doi]

Selecting Blockchain Consensus Algorithms Integrations for IoT-based EnviromentsAnderson Melo de Morais, Fernando Antônio Aires Lins, Nelson Souto Rosa. ladc 2024: 116-125 [doi]

Disaster-FD: A Failure Detector for Disaster-Prone EnvironmentsAbadio de Paulo Silva, Anubis Graciela de Moraes Rossetto, Pierre Sens 0001, Luciana Arantes, Rafael Pasquini, Paulo R. S. L. Coelho. ladc 2024: 200-209 [doi]

Stochastic Petri Net Models for Availability and Performance Evaluation of Nextcloud Service hosted in Apache CloudstackWenderson de Souza Leonardo, Thiago Valentim Bezerra, Gustavo Callou. ladc 2024: 165-170 [doi]

Deep-TEMPEST: Using Deep Learning to Eavesdrop on HDMI from its Unintended Electromagnetic EmanationsSantiago Fernández, Emilio Martínez, Jorge Varela, Pablo Musé, Federico Larroca. ladc 2024: 91-100 [doi]

Reincarnation Daemon: improving dependability on LinuxAlexandre Beletti Ferreira, Caio Augusto R. Dos Santos, Fabricio Guerra da Silva. ladc 2024: 114-115 [doi]

nMatrix: A New Decoding Algorithm for the Matrix ECCDavid C. C. Freitas, Lirida Alves de Barros Naviner, João Cesar Moura Mota, Jarbas Silveira, César A. M. Marcon, David Freitas Moura Mota, Alexandre Coelho. ladc 2024: 220-230 [doi]

MQTT-VET: Exploring MQTT Protocol VulnerabilitiesAna Vitoria Freitas, Silvio Romero de Araújo Júnior, Hebert Silva. ladc 2024: 111-113 [doi]

Supporting continuous vulnerability compliance through automated identity provisioningDiego Gama, Andrey Brito, André Martin, Christof Fetzer. ladc 2024: 101-110 [doi]

Allocating ECC parity bits into BF16-encoded CNN parameters: A practical experience reportJoaquin Gracia-Moran, Juan Carlos Ruiz 0001, David de Andrés, Luis J. Saiz-Adalid. ladc 2024: 75-80 [doi]

Mining Vulnerability and Code Repositories to Study Software SecurityJoão Rafael Henriques, José D'Abruzzo Pereira, Marco Vieira. ladc 2024: 11-16 [doi]

Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous VehiclesJosé Luis Conradi Hoffmann, Antônio Augusto Fröhlich, Marcus Völp, Paolo Milazzo. ladc 2024: 55-64 [doi]

Stochastic Petri Nets for Drone Surveillance: Modeling Availability and ReliabilityLuan Lins, Erick Nascimento, Jamilson Dantas, Jean Araujo 0001, Paulo Romero Martins Maciel. ladc 2024: 65-74 [doi]

Adversary-Augmented Simulation to evaluate order-fairness on HyperLedger FabricErwan Mahe, Rouwaida Abdallah, Sara Tucci Piergiovanni, Pierre-Yves Piriou. ladc 2024: 126-135 [doi]

Consent validation for personal data access control using ABACMaria Molina, Gustavo Betarte, Carlos Daniel Luna. ladc 2024: 30-31 [doi]

Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective ValidationErick Nascimento, Eduardo Antonio Guimarães Tavares, Jamilson Dantas, Paulo Romero Martins Maciel. ladc 2024: 38-48 [doi]

Comparision of Machine Learning Algorithms for Detecting Software Aging in SQL ServerMaria Gizele Nascimento, Rafael José Moura, Fumio Machida, Emerson Andrade. ladc 2024: 159-164 [doi]

Impact of Data Anonymization in Machine Learning ModelsIvo A. Pimenta, Douglas Silva, Evellin S. Moura, Matheus Monteiro Silveira, Rafael Lopes Gomes. ladc 2024: 188-191 [doi]

Multi-Platform and Vault-Free Attestation of Confidential VMsDavi Pontes, Fernando Silva, Anderson Melo, Asm Asadujjaman, Eduardo De Lucena Falcão, Andrey Brito, Carlos Filho. ladc 2024: 241-251 [doi]

The Role of TCP Congestion Control in the Throughput ForecastingAriel L. C. Portela, Maria Melo Linhares, Francisco Valderlan Jorge Nobre, Rafael A. Menezes, Maria C. Mesquita, Rafael Lopes Gomes. ladc 2024: 196-199 [doi]

IT-SPIRE: Improving the Resilience of the SPIFFE/SPIRE Architecture with an Intrusion-Tolerant ServerBeatriz Michelson Reichert, Rafael R. Obelheiro. ladc 2024: 252-261 [doi]

Capturing the security expert knowledge in feature selection for web application attack detectionAmanda Riverol, Gustavo Betarte, Rodrigo Martínez, Alvaro Pardo. ladc 2024: 153-158 [doi]

A Hierarchical Adaptive Leader Election Algorithm for Crash-Recovery Distributed SystemsLuiz Antonio Rodrigues, Allan Edgard Silva Freitas, Elias Procópio Duarte Jr., Vinicius Fulber Garcia. ladc 2024: 136-145 [doi]

Automation of Security Controls for Continuous Compliance in Vulnerability ManagementRaiff Silva, Andrey Brito, Jan Paulo de Lima Filho. ladc 2024: 1-10 [doi]

Assessment of Availability and Reliability of a Textile Manufacturing 4.0 Using Stochastic ModelsEdson Moura Silva, Rafael Melo Macieira, Danilo Ricardo Barbosa de Araújo, Ermeson Carneiro de Andrade. ladc 2024: 146-152 [doi]

Empirical observation of Execution Throttling as MQTT Broker defense against Memory Denial of Service AttacksMatheus F. Torquato, Bruno Jesus, Francisco Airton Silva, Eduardo Cerqueira. ladc 2024: 184-187 [doi]

Practical Challenges and Pitfalls of Bluetooth Mesh Data Collection Experiments with ESP32 MicrocontrollersMarcelo Paulon J. V., Bruno José Olivieri de Souza, Thiago de Souza Lamenza, Markus Endler. ladc 2024: 49-54 [doi]

2023

12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023ACM, 2023. [doi]

Using IoT Mesh Networks to Extend Wireless Coverage in Industrial EnvironmentsCarlos A. Aquino, Antonio M. Neto, Vanessa C. Lima, Evellin S. Moura, Yanne A. Oliveira, Rafael Lopes Gomes. ladc 2023: 204-207 [doi]

Evaluation of Machine Learning for Intrusion Detection in Microservice ApplicationsIury Araújo, Nuno Antunes, Marco Vieira. ladc 2023: 126-135 [doi]

Intrusion Detection and Tolerance for Microservice ApplicationsIury Araújo, Nuno Antunes, Marco Vieira. ladc 2023: 176-181 [doi]

Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure PredictionJoão R. Campos, Rodrigo Machado, Marco Vieira. ladc 2023: 70-79 [doi]

Generating Realistic Attack Data for Microservices: Framework and Case StudyJessica Castro, Nuno Laranjeiro, Marco Vieira. ladc 2023: 60-69 [doi]

Loom: A Closed-Box Disaggregated Database SystemFábio Coelho, Ana Nunes Alonso, Luís Meruje Ferreira, José Pereira 0001, Rui Oliveira 0001. ladc 2023: 30-39 [doi]

Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict AnalysisJefferson Pereira da Silva, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone. ladc 2023: 110-119 [doi]

Efficient Synchronization of CRDTs using VCube-PSLeonardo de Freitas Galesky, Luiz Antonio Rodrigues, Elias Procópio Duarte Jr., Luciana Arantes. ladc 2023: 50-59 [doi]

Towards a Novel Model for Availability as a ServiceJosé Wilson Vieira Flauzino, Elias Procópio Duarte Jr.. ladc 2023: 170-175 [doi]

A distributed software architecture based on reactive microservices for the Smart Building contextGustavo Freire, Herminio Paucar, Júlio Cezar Estrella. ladc 2023: 168-169 [doi]

On Design Autonomic Behavior for Blockchain platformsAllan Edgard Silva Freitas. ladc 2023: 166-167 [doi]

An Artificial Intelligence Framework for the Representation and Reuse of Cybersecurity Incident Resolution KnowledgePatrick Andrei Caron Guerra, Fabio André Barcelos, Raul Ceretta Nunes, Edison Pignaton de Freitas, Luís Alvaro de Lima Silva. ladc 2023: 136-145 [doi]

Using Formal Methods for On-The-Fly Time Series VerificationJosé Luis Conradi Hoffmann, Leonardo Passig Horstmann, Antônio Augusto Fröhlich. ladc 2023: 21-29 [doi]

A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot OverheadEveraldo Gomes Junior, Eduardo Alchieri, Fernando Luís Dotti, Odorico Machado Mendizabal. ladc 2023: 100-109 [doi]

Optimization of Heterogeneous Data in Sensor Networks to Industrial InternetJanine Kniess. ladc 2023: 200-203 [doi]

Software defined wireless networks with real-time constraintsAndrés Llinás, Matias Micheletto, Rodrigo M. Santos, Sergio F. Ochoa. ladc 2023: 226-229 [doi]

Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning AlgorithmsClayton Matias, Naghmeh Ivaki, Regina Moraes. ladc 2023: 120-125 [doi]

Identification of High Delay Links in Internet Service ProvidersFrancisco Valderlan Nobre, Danielle Santos, Silvio Ribeiro, Maria C. Mesquita, Rafael Lopes Gomes, Thelmo P. de Araujo. ladc 2023: 192-195 [doi]

A case study on the development of an ontology for maintenance services of heavy machinery electronic componentsLuiza Bartels Oliveira, Marco Antônio Araújo, Mário Antônio Dantas. ladc 2023: 188-191 [doi]

ALR-LoRaWAN: An Application-Level Retransmission Management Algorithm for LoRaWAN NetworksJoão Pastório, Álvaro Ricieri Castro e Souza, Fabio A. Spanhol, Alexandre Huff, Edson Tavares De Camargo. ladc 2023: 11-20 [doi]

Context-aware monitoring for IoT: an approach based on Agents, and Federated LearningHerminio Paucar, Júlio Cezar Estrella. ladc 2023: 164-165 [doi]

Attesting AMD SEV-SNP Virtual Machines with SPIREDavi Pontes, Fernando Silva, Eduardo De Lucena Falcão, Andrey Brito. ladc 2023: 1-10 [doi]

Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car SimulationNawshin Mannan Proma, Rob Alexander. ladc 2023: 208-213 [doi]

Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomyMarcelo Rodríguez, Gustavo Betarte, Daniel Calegari. ladc 2023: 146-155 [doi]

Enhancing Malware Family Classification in the Microsoft Challenge Dataset via Transfer LearningMarcelo Invert Palma Salas, Paulo L. de Geus, Marcus Botacin. ladc 2023: 156-163 [doi]

Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging PerformanceJoão Lucas Scharf, Luiz Gustavo Coutinho Xavier, Odorico M. Mendizabal. ladc 2023: 90-99 [doi]

Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy LeaksNicolás Serrano, Gustavo Betarte, Juan Diego Campo. ladc 2023: 80-89 [doi]

Scalable Detection of SQL Injection in Cyber Physical SystemsMichael Silva, Silvio Ribeiro, Vanessa Carvalho, Francisco Cardoso, Rafael Lopes Gomes. ladc 2023: 220-225 [doi]

An Anonymization Service for Privacy in Data MiningMatheus M. Silveira, Danielle Santos, Michael S. Souza, Douglas Silva, Maria C. Mesquita, Jonas Neto, Rafael Lopes Gome. ladc 2023: 214-219 [doi]

Diamond-P-vCube: An Eventually Perfect Hierarchical Failure Detector for Asynchronous Distributed SystemsGabriela Stein, Luiz Antonio Rodrigues, Elias Procópio Duarte Jr., Luciana Arantes. ladc 2023: 40-49 [doi]

MonTh: A Tool for Automated Monitoring of ThreatsArthur Urbano, Douglas Silva, Maria C. Mesquita, Yago Melo Costa, Mariana Cirino, Rafael Lopes Gomes. ladc 2023: 196-199 [doi]

Advanced Machine Learning for Runtime Data GenerationBukhtawar Zamir, João R. Campos, Marco Vieira. ladc 2023: 182-187 [doi]

2022

Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022ACM, 2022. [doi]

Do dependable systems need good user interfaces?Andreia R. Casare, Celmar Guimarães da Silva, Regina Moraes. ladc 2022: 21-28 [doi]

Detecting DoS Attacks in Microservice Applications: Approach and Case StudyJessica Castro, Nuno Laranjeiro, Marco Vieira. ladc 2022: 73-78 [doi]

An Ontology for Context-aware Middleware for Dependable Medical SystemsJorsiele Cerqueira. ladc 2022: 79-83 [doi]

Application of Concurrent Engineering for G.O.L.D.S Constellation as a Cyber-Physical System-of-SystemsMoisés Cirilo de Brito Souto, Lucas Rafael Leandro Silva, Andréa Zotovici, Larissa Martins, Maria de Fátima Mattiello-Francisco, Geilson Loureiro. ladc 2022: 99-108 [doi]

Efficient CRDT Synchronization at Scale using a Causal Multicast over a Virtual Hypercube OverlayLeonardo de Freitas Galesky, Luiz Antonio Rodrigues. ladc 2022: 84-88 [doi]

Combination of Models for Denial-Of-Service Classification over Different NetworksLeonardo H. de Melo, Gustavo de Carvalho Bertoli, Osamu Saotome, Marcelo F. Domingues, Lourenço Alves Pereira Jr.. ladc 2022: 137-142 [doi]

Evaluation of SMT solvers in abstraction-based software model checkingMihály Dobos-Kovács, András Vörös 0001. ladc 2022: 109-116 [doi]

Compliance Evaluation of Cryptographic Security Requirements on IoT GatewaysEduardo F. Felix, Fernando Antônio Aires Lins, Obionor O. Nóbrega, Diego R. Gomes, Bruno A. Jesus, Marco Vieira. ladc 2022: 67-72 [doi]

Sk-Greedy: A Heuristic Scheduling Algorithm for Wireless Networks under the SINR ModelVinicius Fulber Garcia, Fábio Engel De Camargo, Elias P. Duarte Jr.. ladc 2022: 143-148 [doi]

Modeling attacker behavior in Cyber-Physical-SystemsSamuel Rodriguez Gonzalez, Juan Betancourt Osorio, Germán Pardo González, Daniel Cuellar, Camilo Gomez, Francesco Mariotti, Leonardo Montecchi, Paolo Lollini. ladc 2022: 117-124 [doi]

Evaluation of Security Techniques in Heterogeneous IoT DevicesEduardo E. P. Mosca, Silvio Ribeiro, Arthur Urbano, Danielle S. Silva, Rafael L. R. Gomes. ladc 2022: 91-94 [doi]

A taxonomy on privacy and confidentialityJosé Bernardi S. Nunes, Andrey Brito. ladc 2022: 1-10 [doi]

Strengthening Atomic Multicast for Partitioned State Machine ReplicationLeandro Pacheco, Fernando Luís Dotti, Fernando Pedone. ladc 2022: 51-60 [doi]

On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnectJosé D'Abruzzo Pereira, João David Ribeiro, João Pires, Pedro Moita, Nuno Laranjeiro, Marco Vieira. ladc 2022: 89-90 [doi]

On the Use of Deep Graph CNN to Detect Vulnerable C FunctionsJosé D'Abruzzo Pereira, Nuno Lourenço 0002, Marco Vieira. ladc 2022: 45-50 [doi]

VCBP: A Reliable and Real-Time Group Communication Protocol for Vehicular Ad Hoc NetworksMarcela Alves Pereira, Alirio Santos de Sá. ladc 2022: 149-154 [doi]

Impact of failures in a MPSoC with shared coprocessors to extend the RISC-V ISAJorge Reis, Jarbas Silveira, César A. M. Marcon. ladc 2022: 29-34 [doi]

A Leaderless Hierarchical Atomic Broadcast AlgorithmLucas V. Ruchel, Luiz Antonio Rodrigues, Rogério C. Turchetti, Luciana Arantes, Elias P. Duarte Jr., Edson Tavares De Camargo. ladc 2022: 61-66 [doi]

Searchable Symmetric Encryption for Private Data Protection in Cloud EnvironmentsMatheus M. Silveira, Danielle S. Silva, Sandra J. R. Rodriguez, Rafael L. R. Gomes. ladc 2022: 95-98 [doi]

Analysing and Modelling Inaccessibility in Dependable Real-Time Networks✱Jeferson L. R. Souza, Frank Siqueira. ladc 2022: 11-20 [doi]

NHAM: An NFV High Availability Architecture for Building Fault-Tolerant Stateful Virtual Functions and ServicesGiovanni Venâncio, Elias P. Duarte Jr.. ladc 2022: 35-44 [doi]

Design of a Federated Learning System for IT Security: Towards Secure Human Resource ManagementLisa Verlande, Ulrike Lechner, Steffi Rudel. ladc 2022: 131-136 [doi]

Simplifying Operational Scenario Simulation for CubeSat Mission Analysis PurposesPedro Ângelo Vaz De Carvalho, André A. S. Ivo, Guilherme Venticinque, Gustavo Vicari Duarte, Matheus Miranda, Fátima Mattiello-Francisco. ladc 2022: 125-130 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

LADC (ladc)

Viewing Publication 1 - 100 from 340

2024

2023

2022

2021

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

LADC (ladc)

Viewing Publication 1 - 100 from 340

2024

2023

2022

2021

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1