Ikuti
Naghmeh Ramezani Ivaki
Naghmeh Ramezani Ivaki
Assistant Professor at the University of Coimbra
Email yang diverifikasi di dei.uc.pt - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
A comprehensive taxonomy of DDOS attacks and defense mechanism applying in a smart classification
A Asosheh, N Ivaki
WSEAS Transactions on Computers 7 (7), 281-290, 2008
832008
Software metrics as indicators of security vulnerabilities
N Medeiros, N Ivaki, P Costa, M Vieira
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
532017
Effects of GPS spoofing on unmanned aerial vehicles
D Mendes, N Ivaki, H Madeira
2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing …, 2018
402018
Vulnerable code detection using software metrics and machine learning
N Medeiros, N Ivaki, P Costa, M Vieira
IEEE Access 8, 219174-219198, 2020
382020
An empirical evaluation of the effectiveness of smart contract verification tools
B Dia, N Ivaki, N Laranjeiro
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing …, 2021
252021
Characterizing buffer overflow vulnerabilities in large c/c++ projects
JDA Pereira, N Ivaki, M Vieira
IEEE Access 9, 142879-142892, 2021
212021
Using fault injection to assess blockchain systems in presence of faulty smart contracts
Á Hajdu, N Ivaki, I Kocsis, A Klenik, L Gönczy, N Laranjeiro, H Madeira, ...
IEEE Access 8, 190760-190783, 2020
162020
A survey on reliable distributed communication
N Ivaki, N Laranjeiro, F Araujo
Journal of Systems and Software 137, 713-732, 2018
162018
Towards an approach for trustworthiness assessment of software as a service
N Medeiros, NR Ivaki, PN Da Costa, MPA Vieira
2017 IEEE International Conference on Edge Computing (EDGE), 220-223, 2017
142017
Openscv: An open hierarchical taxonomy for smart contract vulnerabilities
FR Vidal, N Ivaki, N Laranjeiro
Empirical Software Engineering 29 (4), 101, 2024
132024
Trustworthiness models to categorize and prioritize code for security improvement
N Medeiros, N Ivaki, P Costa, M Vieira
Journal of Systems and Software 198, 111621, 2023
132023
Are UAVs' Flight Controller Software Reliable?
A Khan, N Ivaki, H Madeira
The 27th IEEE Pacific Rim International Symposium on Dependable Computing …, 2022
122022
An approach for trustworthiness benchmarking using software metrics
N Medeiros, N Ivaki, P Costa, M Vieira
2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing …, 2018
122018
A fault-tolerant session layer with reliable one-way messaging and server migration facility
N Ivaki, S Boychenko, F Araujo
2014 IEEE 3rd Symposium on Network Cloud Computing and Applications (ncca …, 2014
102014
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate
A Khan, CAC Jiménez, MP Pablo, N Ivaki, JVB Tejedor, H Madeira
The 41st International Conference on Computer Safety, Reliability and …, 2022
92022
Session-based fault-tolerant design patterns
N Ivaki, F Araujo, F Barros
2014 20th IEEE International Conference on Parallel and Distributed Systems …, 2014
82014
Analyzing gossip protocols for reliable MANET applications
E Leme, N Ivaki, N Laranjeiro, R Moraes
2017 IEEE International Conference on Edge Computing (EDGE), 98-105, 2017
72017
A taxonomy of reliable request-response protocols
N Ivaki, N Laranjeiro, F Araujo
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 456-463, 2015
72015
Vulnerability detection techniques for smart contracts: A systematic literature review
FR Vidal, N Ivaki, N Laranjeiro
Journal of Systems and Software, 112160, 2024
62024
Revocation mechanisms for blockchain applications: A review
FR Vidal, N Ivaki, N Laranjeiro
2021 10th Latin-American Symposium on Dependable Computing (LADC), 01-10, 2021
62021
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20