Christian Wachsmann

Christian Wachsmann

Intel Corporation
在 intel.com 的电子邮件经过验证
被引用次数：4335
Secure Debug Security Verification Static RTL Analysis Formal Verification
Mikael Asplund

Mikael Asplund

Linköping University
在 liu.se 的电子邮件经过验证
被引用次数：1109
Security verification Cyber-physical security Automated security Dependability
Ioana Boureanu

Ioana Boureanu

Professor, University of Surrey
在 surrey.ac.uk 的电子邮件经过验证
被引用次数：901
Provable Security Security Verification Formal Verification Applied Cryptography
S P Suresh

SP Suresh

Associate Professor, Chennai Mathematical Institute
在 cmi.ac.in 的电子邮件经过验证
被引用次数：488
Security Verification Concurrent Programming Distributed Computing Functional Programming Type Theory
Sahar Mohajerani

Sahar Mohajerani

Chalmers University of Technology
在 chalmers.se 的电子邮件经过验证
被引用次数：404
Formal methods Formal Verification Cyber-Physical Systems Security Verification
Ali Azarpeyvand

Ali Azarpeyvand

PhD, Researcher @ TalTech, and Assoc. Prof. of Computer Architecture @ ZNU
在 taltech.ee 的电子邮件经过验证
被引用次数：295
Security Verification Hardware Acceleration Approximate Computing Reliability
Kamal Mohammadi ASL

Kamal Mohammadi ASL

Payam Noor University
在 pnu.ac.ir 的电子邮件经过验证
被引用次数：35
Security Verification
Abubakar-Sadiq Shehu

Abubakar-Sadiq Shehu

Department of Information Technology, Bayero University Kano
在 buk.edu.ng 的电子邮件经过验证
被引用次数：31
Identity management systems Self-sovereign identity Security verification Authorisation
Sincy Ann Saji

Sincy Ann Saji

Pre-Silicon Validation Engineer, Intel India Pvt. Ltd.
在 intel.com 的电子邮件经过验证
被引用次数：14
Formal Verification Security Verification
Shuvagata Saha

Shuvagata Saha

Graduate Research Assistant, University of Florida
在 ufl.edu 的电子邮件经过验证
被引用次数：7
Hardware Security Emulation Security Verification SoC Security Verification Logic Locking
1 - 10