Muhammad Hassan

Universität Bremen - Bremen / Germany

Others

AD Scientific Index ID: 4576610

University of Bremen

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Universität Bremen

Muhammad Hassan's MOST POPULAR ARTICLES

1-) Enhanced Virtual Prototyping Cham: Springer, 2020

2-) Early SoC security validation by VP-based static information flow analysis 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 400-407, 2017

3-) TriviA: A fast and secure authenticated encryption scheme International Workshop on Cryptographic Hardware and Embedded Systems, 330-353, 2015

4-) Llm-guided formal verification coupled with mutation testing 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-2, 2024

5-) Security validation of VP-based SoCs using dynamic information flow tracking it-Information Technology 61 (1), 45-58, 2019

ARTICLES

Add your articles