Andrei Mogage

According to our database, Andrei Mogage authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Logical Specification and Checking of Evasive Malware.

Andrei Mogage, Dorel Lucanu

Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), 2024

A Formal Tainting-Based Framework for Malware Analysis.

Andrei Mogage, Dorel Lucanu

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Full Transparency in DBI frameworks.

Vlad Craciun, Andrei Mogage, Dorel Lucanu

CoRR, 2023

2022

Malware in the SGX Supply Chain: Be Careful When Signing Enclaves!

Vlad Craciun, Pascal Felber, Andrei Mogage, Emanuel Onica, Rafael Pires

IEEE Trans. Dependable Secur. Comput., 2022

2021

Building Deobfuscated Applications from Polymorphic Binaries.

Vlad Constantin Craciun, Andrei-Catalin Mogage

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2021

2019

Statistical Analysis and Anonymity of TOR's Path Selection.

Andrei Mogage, Emil Simion

IACR Cryptol. ePrint Arch., 2019

Supply Chain Malware Targets SGX: Take Care of what you Sign.

Andrei Mogage, Rafael Pires, Vlad Craciun, Emanuel Onica, Pascal Felber

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

2018

Trends in design of ransomware viruses.

Vlad Constantin Craciun, Andrei Mogage, Emil Simion

IACR Cryptol. ePrint Arch., 2018