1. Blog
    Item seperator
  2. Majid Salehi
Majid Salehi

Majid Salehi

Researcher - Security and Privacy

Antwerp, Belgium

New Image

Biography

Majid Salehi is a senior research scientist at Nokia Bell Labs, working on Zero-Knowledge Proofs in the Decentralized/Trustless Systems workstream.
He obtained his Ph.D. on "Securing Bare-metal Embedded Systems Against Remote Code Execution" at the imec-DistriNet research group at KU Leuven. Before joining DistriNet, Majid was a research assistant at Data and Network Security Laboratory, located at the Department of Computer Engineering at the Sharif University of Technology.
Currently, his research focuses on computer security and privacy, especially on Blockchain Security, Zero Knowledge Proof (ZKP), Secure Multiparty Computation (MPC), and Homomorphic Encryption (HE).

Education
  • Ph.D., Computer Science, KU Leuven, Belgium
  • M.Sc., Computer Engineering, Sharif University of Technology, Iran
Selected Articles and Publications

Peer-reviewed international conference papers

  • Salehi, M., Hughes, D., and Crispo, B. μSBS: Static Binary Sanitization of Bare-metal Embedded Devices for Fault Observability. In Proceedings of the International Symposium on Research in Attacks, Intrusions and Defenses (RAID) (2020), USENIX Association, pp. 381–395.
  • Salehi, M., Hughes, D., and Crispo, B. Microguard: Securing Bare-metal Microcontrollers against Code-reuse Attacks. In Proceedings of the IEEE Conference on Dependable and Secure Computing (DSC) (2019), IEEE, pp. 1–8.
  • Salehi, M., Amini, M., and Crispo, B. Detecting Malicious Applications using System Services Request Behavior. In Proceedings of the EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous) (2019), ACM, pp. 200–209.

Peer-reviewed international journal articles

  • Salehi, M., Degani, L., Roveri, M., Hughes, D., and Crispo, B. Discovery and Identification of Memory Corruption Vulnerabilities on Bare-metal Embedded Devices. IEEE Transactions on Dependable and Secure Computing (TDSC) (2022), IEEE.
  • Salehi, M., Borger, G. D., Hughes, D., and Crispo, B. Nemesisguard: Mitigating Interrupt Latency Side Channel Attacks with Static Binary Rewriting. Computer Networks 205 (2022), Elsevier.

 

On this page

Biography

Blogs/Articles

Education

Selected Articles and Publications

LinkedIn LinkedIn
Google Scholar Google Scholar
GitHub GitHub
Website Website
X (Twitter) X (Twitter)