E-LIB Suche - Ergebnisse für: Ivaki, Naghmeh

1

Vulnerability detection techniques for smart contracts: A s..:

Vidal, Fernando Richter ; Ivaki, Naghmeh ; Laranjeiro, Nuno
Journal of Systems and Software. 217 (2024) - p. 112160 , 2024

Link: https://doi.org/10.1016/..

2

OpenSCV: an open hierarchical taxonomy for smart contract v..:

Vidal, Fernando Richter ; Ivaki, Naghmeh ; Laranjeiro, Nuno
Empirical Software Engineering. 29 (2024) 4 - p. , 2024

Link: https://doi.org/10.1007/..

3

A Taxonomy for Python Vulnerabilities:

Bogaerts, Frédéric C. G. ; Ivaki, Naghmeh ; Fonseca, José
IEEE Open Journal of the Computer Society. 5 (2024) - p. 368-379 , 2024

Link: https://doi.org/10.1109/..

4

A Physics-Based Fault Tolerance Mechanism for UAVs' Flight ..:

, In: Communications in Computer and Information Science; Dependable Computing – EDCC 2024 Workshops,

Costa, Diogo ; Khan, Anamta ; Ivaki, Naghmeh. - p. 22-35 , 2024

Link: https://doi.org/10.1007/..

5

Trustworthiness models to categorize and prioritize code fo..:

Medeiros, Nadia ; Ivaki, Naghmeh ; Costa, Pedro.
Journal of Systems and Software. 198 (2023) - p. 111621 , 2023

Link: https://doi.org/10.1016/..

6

Advancing Blockchain Security: from Vulnerability Detection..:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S),

Vidal, Fernando Richter ; Ivaki, Naghmeh ; Laranjeiro, Nuno - p. 179-181 , 2023

Link: https://doi.org/10.1109/..

7

Exploring the Impact of Homomorphic Encryption on the Perfo..:

, In: Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing,

Matias, Clayton ; Ivaki, Naghmeh ; Moraes, Regina - p. 120-125 , 2023

Link: https://dl.acm.org/doi/1..

8

Integration of U-space Safety Assessment Methodologies With..:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W),

Asghari, Omid ; Ivaki, Naghmeh ; Madeira, Henrique - p. 72-75 , 2023

Link: https://doi.org/10.1109/..

9

Using AI to Inject Vulnerabilities in Python Code:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W),

Frederic Bogaerts, C. G. ; Ivaki, Naghmeh ; Fonseca, Jose - p. 223-230 , 2023

Link: https://doi.org/10.1109/..

10

Savery: A Framework for the Assessment and Comparison of Mo..:

, In: 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C),

Donato, Jose ; Ivaki, Naghmeh ; Antunes, Nuno - p. 582-592 , 2023

Link: https://doi.org/10.1109/..

11

A Machine Learning driven Fault Tolerance Mechanism for UAV..:

, In: 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC),

Khan, Anamta ; Campos, Joao R. ; Ivaki, Naghmeh. - p. 217-227 , 2023

Link: https://doi.org/10.1109/..

12

Lead Time Analysis for UAVs' Failure Prediction in U-space:

, In: 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC),

Asghari, Omid ; Ivaki, Naghmeh ; Madeira, Henrique - p. 123-133 , 2023

Link: https://doi.org/10.1109/..

13

Classifying Fault Category and Severity of UAV Flight Contr..:

, In: 2022 6th International Conference on System Reliability and Safety (ICSRS),

Khan, Anamta ; Ferramosca, Maria Lucia ; Ivaki, Naghmeh. - p. 45-54 , 2022

Link: https://doi.org/10.1109/..

14

Assessment of the Impact of U-space Faulty Conditions on Dr..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Khan, Anamta ; Jiménez, Carlos A. Chuquitarco ; Pablo, Morcillo-Pallarés... - p. 237-251 , 2022

Link: https://doi.org/10.1007/..

15

Are UAVs' Flight Controller Software Reliable?:

, In: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC),

Khan, Anamta ; Ivaki, Naghmeh ; Madeira, Henrique - p. 194-204 , 2022

Link: https://doi.org/10.1109/..