???global.info.a_carregar???
Naghmeh Ramezani Ivaki é professor auxiliar na Universidade de Coimbra no departamento de Engenharia Informática. Ela é um membro do grupo de investigação SSE no Centro de Informatica e Sistemas (CISUC).
Identification

Personal identification

Full name
Naghmeh Ramezani Ivaki

Citation names

  • Ivaki, Naghmeh

Author identifiers

Ciência ID
0D16-A2DF-9DAC
ORCID iD
0000-0001-8376-6711

Telephones

Mobile phone
  • 918754514 (Personal)

Addresses

  • Departamento de Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, Pólo II - Pinhal de Marrocos, , 3030-290 , Coimbra, Coimbra, Portugal (Professional)

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
Education
Degree Classification
2009/02/01 - 2016/09/01
Concluded
 Engenharia Informática (Doutoramento)
Universidade de Coimbra, Portugal
2006/09 - 2008/12/01
Concluded
 Information Technology Engineering (Master)
Tarbiat Modares University, Iran
2001/09 - 2005/12/01
Concluded
 Software Engineering (Bachelor)
Alzahra University, Iran
Affiliation

Science

Category
Host institution 		Employer
2019/03/10 - 2022/03/09 Contracted Researcher (Research) Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2022/03/10 - Current Invited Assistant Professor (University Teacher) Universidade de Coimbra, Portugal
2021/02/01 - 2021/09/01 Invited Assistant Professor (University Teacher) Instituto Politécnico de Coimbra Instituto Superior de Contabilidade e Administração de Coimbra, Portugal
2018/09/17 - 2019/02/16 Invited Assistant Professor (University Teacher) Instituto Politécnico de Viseu Escola Superior de Tecnologia e Gestão de Viseu, Portugal
Projects

Grant

Designation Funders
2016/12/01 - 2017/11 EUBrasilCloudFORUM: Fostering an International dialogue between Europe and Brazil
info:eu-repo/grantAgreement/EC/Horizon 2020 Framework Programme/689495/EU
Post-doc Fellow
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
 European Commission
Concluded
2013/01 - 2015/12/31 iCIS – Intelligent Computing in the Internet of Services
CENTRO-07-ST24 FEDER-002003
Concluded
2009/02/01 - 2010/04/01 EDGeS - Enabling Desktop Grids for e-Science
info:eu-repo/grantAgreement/EC/SEVENTH FRAMEWORK PROGRAMME/211727/EU
PhD Student Fellow
European Commission
Concluded

Contract

Designation Funders
2019/01/01 - Current ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
info:eu-repo/grantAgreement/EC/Horizon 2020 Framework Programme/823788/EU
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
 European Commission
Ongoing
2018/08 - Current METRICS - Monitoring and Measuring the Trustworthiness of Critical Cloud Systems
POCI-01-0145-FEDER-032504
Researcher
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
Ongoing
2017/11/01 - Current ATMOSPHERE - Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud Computing
info:eu-repo/grantAgreement/EC/Horizon 2020 Framework Programme/777154/EU
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
 European Commission
Ongoing
2014/01/01 - Current DEVASSES - DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS
info:eu-repo/grantAgreement/EC/SEVENTH FRAMEWORK PROGRAMME/612569/EU
 European Commission
Concluded
2016/12/01 - 2017/12/01 EUBra-BIGSEA - EUrope-BRAzil Collaboration on BIG Data Scientific REsearch through Cloud-Centric Applications
info:eu-repo/grantAgreement/EC/Horizon 2020 Framework Programme/690116/EU
Researcher
European Commission
Concluded
Outputs

Publications

Book chapter
  1. "Connection Handler: A Design Pattern for Recovery from Connection Crashes". 2020.
    10.1007/978-3-030-33624-0_9
Conference paper
  1. Khan, Anamta; Diogo Costa; Ivaki, Naghmeh; Madeira, Henrique. "A Physics-based Fault Tolerance Mechanism for UAVs' Flight Controller". Paper presented in International Workshop on Safe Autonomous Systems (SafeAutonomy) in EDCC'22, Leuven, 2024.
    Published • 10.1007/978-3-031-56776-6_3
  2. Clayton Matias; Naghmeh Ivaki; Regina Moraes. "Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning Algorithms". 2023.
    10.1145/3615366.3615376
  3. Khan, Anamta; Campos, João R.; Ivaki, Naghmeh; Madeira, Henrique. "A Machine Learning driven Fault Tolerance Mechanism for UAVs’ Flight Controller". 2023.
    10.1109/prdc59308.2023.00034
  4. Asghari, Omid; Ivaki, Naghmeh; Madeira, Henrique. "Lead Time Analysis for UAVs’ Failure Prediction in U-space". 2023.
    10.1109/prdc59308.2023.00024
  5. Asghari, Omid; Ivaki, Naghmeh; Madeira, Henrique. "Integration of U-space Safety Assessment Methodologies With Experimentation". 2023.
    10.1109/dsn-w58399.2023.00033
  6. Vidal, Fernando Richter; Ivaki, Naghmeh; Laranjeiro, Nuno. "Advancing Blockchain Security: from Vulnerability Detection to Transaction Revocation". 2023.
    10.1109/dsn-s58398.2023.00048
  7. Frédéric Bogaerts, C. G.; Ivaki, Naghmeh; Fonseca, José. "Using AI to Inject Vulnerabilities in Python Code". 2023.
    10.1109/dsn-w58399.2023.00060
  8. Frederic Bogaerts, C.G.; Ivaki, N.; Fonseca, J.. "Using AI to Inject Vulnerabilities in Python Code". 2023.
    10.1109/DSN-W58399.2023.00060
  9. Asghari, O.; Ivaki, N.; Madeira, H.. "Lead Time Analysis for UAVs' Failure Prediction in U-space". 2023.
    10.1109/PRDC59308.2023.00024
  10. Vidal, F.R.; Ivaki, N.; Laranjeiro, N.. "Advancing Blockchain Security: from Vulnerability Detection to Transaction Revocation". 2023.
    10.1109/DSN-S58398.2023.00048
  11. Khan, A.; Ferramosca, M.L.; Ivaki, N.; Madeira, H.. "Classifying Fault Category and Severity of UAV Flight Controllers' Reported Issues". 2022.
    10.1109/ICSRS56243.2022.10067593
  12. Khan, A.; Ivaki, N.; Madeira, H.. "Are UAVs' Flight Controller Software Reliable?". 2022.
    10.1109/PRDC55274.2022.00033
  13. Khan, A.; Jiménez, C.A.C.; Pablo, M.-P.; Ivaki, N.; Tejedor, J.V.B.; Madeira, H.. "Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate". 2022.
    10.1007/978-3-031-14835-4_16
  14. Vidal, F.R.; Ivaki, N.; Laranjeiro, N.. "Revocation Mechanisms for Blockchain Applications: A Review". 2021.
    10.1109/LADC53747.2021.9672577
  15. Medeiros, N.; Ivaki, N.; Costa, P.; Vieira, M.. "An Empirical Study on Software Metrics and Machine Learning to Identify Untrustworthy Code". 2021.
    10.1109/EDCC53658.2021.00020
  16. Dia, B.; Ivaki, N.; Laranjeiro, N.. "An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools". 2021.
    10.1109/PRDC53464.2021.00013
  17. Ivaki, N.; Antunes, N.. "SIDE: Security-aware Integrated Development Environment". 2020.
    10.1109/ISSREW51248.2020.00056
  18. Ivaki, Naghmeh. "Effects of GPS Spoofing on Unmanned Aerial Vehicles". 2018.
    10.1109/prdc.2018.00026
  19. Ivaki, Naghmeh. "Software Metrics as Indicators of Security Vulnerabilities". 2017.
    10.1109/issre.2017.11
  20. Ivaki, Naghmeh. "Design Patterns for Reliable One-Way Messaging". 2017.
    10.1109/scc.2017.40
  21. Ivaki, Naghmeh. "Analyzing Gossip Protocols for Reliable MANET Applications". 2017.
    10.1109/ieee.edge.2017.21
  22. Ivaki, Naghmeh. "Towards designing reliable messaging patterns". 2016.
    10.1109/nca.2016.7778618
  23. Laranjeiro, N.; Ivaki, N.; Vieira, M.. "The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016)". 2016.
    10.1109/SERVICES.2016.34
  24. Ivaki, N.; Laranjeiro, N.; Araujo, F.. "A Design Pattern for Reliable HTTP-Based Applications". 2015.
    10.1109/SCC.2015.94
  25. Ivaki, N.; Laranjeiro, N.; Araujo, F.. "A taxonomy of reliable request-response protocols". 2015.
    10.1145/2695664.2695898
  26. Ivaki, N.; Araujo, F.; Barros, F.. "Session-based fault-tolerant design patterns". 2014.
    10.1109/PADSW.2014.7097875
  27. Ivaki, N.; Boychenko, S.; Araujo, F.. "A Fault-Tolerant session layer with reliable one-way messaging and server migration facility". 2014.
    10.1109/NCCA.2014.20
  28. Ivaki, N.; Araujo, F.. "Fault-Tolerant bi-directional communications in web-based applications". 2014.
    10.1109/PADSW.2014.7097891
  29. Ivaki, N.; Araujo, F.; Barros, F.. "Design of multi-threaded fault-tolerant connection-oriented communication". 2014.
    10.1109/PRDC.2014.10
  30. Ivaki, N.; Laranjeiro, N.; Vieira, M.. "Towards evaluating the impact of data quality on service applications". 2013.
    10.1109/DSNW.2013.6615509
  31. Ivaki, N.; Araujo, F.; Barbosa, R.. "A middleware for exactly-once semantics in request-response interactions". 2012.
    10.1109/PRDC.2012.23
Journal article
  1. Fernando Richter Vidal; Naghmeh Ivaki; Nuno Laranjeiro. "Vulnerability detection techniques for smart contracts: A systematic literature review". Journal of Systems and Software (2024): https://doi.org/10.1016/j.jss.2024.112160.
    10.1016/j.jss.2024.112160
  2. Fernando Richter Vidal; Naghmeh Ivaki; Nuno Laranjeiro. "OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities". Empirical Software Engineering (2024): https://doi.org/10.1007/s10664-024-10446-8.
    10.1007/s10664-024-10446-8
  3. Medeiros, Nadia; Ivaki, Naghmeh; Costa, Pedro; Vieira, Marco. "Trustworthiness models to categorize and prioritize code for security improvement". Journal of Systems and Software 198 (2023): 111621. http://dx.doi.org/10.1016/j.jss.2023.111621.
    10.1016/j.jss.2023.111621
  4. Jose D'Abruzzo Pereira; Naghmeh Ivaki; Marco Vieira. "Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects". IEEE Access 9 (2021): 142879-142892. https://doi.org/10.1109/ACCESS.2021.3120349.
    10.1109/ACCESS.2021.3120349
  5. Nadia Medeiros; Naghmeh Ivaki; Pedro Costa; Marco Vieira. "Vulnerable Code Detection Using Software Metrics and Machine Learning". IEEE Access 8 (2020): 219174-219198. https://doi.org/10.1109/ACCESS.2020.3041181.
    10.1109/ACCESS.2020.3041181
  6. Akos Hajdu; Naghmeh Ivaki; Imre Kocsis; Attila Klenik; Laszlo Gonczy; Nuno Laranjeiro; Henrique Madeira; Andras Pataricza. "Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts". IEEE Access 8 (2020): 190760-190783. https://doi.org/10.1109/ACCESS.2020.3032239.
    10.1109/ACCESS.2020.3032239
  7. Ivaki, Naghmeh. "A survey on reliable distributed communication". Journal of Systems and Software (2018): http://dx.doi.org/10.1016/j.jss.2017.03.028.
    10.1016/j.jss.2017.03.028
  8. Ivaki, Naghmeh. "Testing data-centric services using poor quality data: from relational to NoSQL document databases". Journal of the Brazilian Computer Society (2017): http://dx.doi.org/10.1186/s13173-017-0063-x.
    10.1186/s13173-017-0063-x
  9. Ivaki, Naghmeh. "A DESIGN PATTERN FOR RECOVERING FROM TCP CONNECTION CRASHES IN HTTP APPLICATIONS". Services Transactions on Services Computing (2016): http://dx.doi.org/10.29268/stsc.2016.4.1.4.
    10.29268/stsc.2016.4.1.4
Working paper
  1. Pereira, José; Rui Filipe Rama e Silva; Ivaki, Naghmeh; Nuno Manuel dos Santos Antunes; Breno de França. 2019. "[ATMOSPHERE] D3.5 - Monitoring Instruments and Platform Implementation".

Other

Other output
  1. Vulnerability Detection for Smart Contracts: A Systematic Literature Review. 2023. Richter Vidal, F.; Ivaki, N.; Laranjeiro, N.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85165396727&partnerID=MN8TOARS.
    10.2139/ssrn.4511778
  2. Analyzing the Impact of Elusive Faults on Blockchain Reliability. 2023. Vidal, F.R.; Ivaki, N.; Laranjeiro, N.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85153871184&partnerID=MN8TOARS.
    10.48550/arXiv.2304.05520
  3. OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities. 2023. Vidal, F.R.; Ivaki, N.; Laranjeiro, N.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85160347880&partnerID=MN8TOARS.
    10.48550/arXiv.2303.14523
  4. Trustworthiness Models to Categorize and Prioritize Code for Security Improvement. 2022. Medeiros, N.; Ivaki, N.; Costa, P.; Vieira, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85179571653&partnerID=MN8TOARS.
    10.2139/ssrn.4191447
  5. Trustworthiness Models to Categorize and Prioritize Code for Security Improvement. 2022. Medeiros, N.; Ivaki, N.; Costa, P.; Vieira, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85179543213&partnerID=MN8TOARS.
    10.2139/ssrn.4117460
  6. Using fault injection to assess blockchain systems in presence of faulty smart contracts. 2020. Hajdu, Á.; Ivaki, N.; Kocsis, I.; Klenik, A.; Gönczy, L.; Laranjeiro, N.; Madeira, H.; Pataricza, A.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85169940906&partnerID=MN8TOARS.
    10.48550/arxiv.2006.11597