GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Security and Verification in Computing

Security and Verification in Computing

354 faculty research Security and Verification in Computing on GradNova.

N
Cryptographic Implementations and Security
Cryptography and Data Security
Physical Unclonable Functions (pufs) and Hardware Security
Privacy-Preserving Technologies in Data
+1
J
Advanced Data Storage Technologies
Cloud Computing and Resource Management
Cloud Data Security Solutions
Security and Verification in Computing
S
3D IC and Tsv Technologies
Cryptographic Implementations and Security
Integrated Circuits and Semiconductor Failure Analysis
Physical Unclonable Functions (pufs) and Hardware Security
+1
M
Advanced Data Storage Technologies
Cryptography and Data Security
Embedded Systems Design Techniques
Parallel Computing and Optimization Techniques
+1
H
Adversarial Robustness in Machine Learning
Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
+1
K
Cryptographic Implementations and Security
Embedded Systems Design Techniques
Formal Methods in Verification
Physical Unclonable Functions (pufs) and Hardware Security
+1
F
Advanced Malware Detection Techniques
Advanced Memory and Neural Computing
Adversarial Robustness in Machine Learning
Parallel Computing and Optimization Techniques
+1
M
Adversarial Robustness in Machine Learning
Cryptography and Data Security
Privacy-Preserving Technologies in Data
Security and Verification in Computing
+1
C
Advanced Malware Detection Techniques
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
F
Access Control and Trust
Advanced Malware Detection Techniques
Adversarial Robustness in Machine Learning
Cryptography and Data Security
+1
D
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
R
Rozhin Yasaei

Assistant Professor of Cyber Operations, Intelligence, and Technology Assistant Professor, School of Electrical, Computing, and Software Engineering

School of Electrical, Computing, and Software Engineering

University of Arizona

Advanced Malware Detection Techniques
Adversarial Robustness in Machine Learning
Integrated Circuits and Semiconductor Failure Analysis
Physical Unclonable Functions (pufs) and Hardware Security
+1
N
Confidentialité De L'information
Systèmes D'information
Technologies D'amélioration De La Confidentialité
Technologies De La Cybersécurité Et De La Confidentialité
+6
M
Criminologie
Cybercriminalité
Internet Des Objets
Langages De Programmation Et Génie Logiciel
+11
B
Algèbre
Fondements, Logique Et Théorie Des Ensembles En Mathématique
Langages De Programmation Et Génie Logiciel
Langages De Programmation Et Génie Logiciel, N.c.a.
+7
Q
Analyse Dynamique De Programmes: Concolic Testing, Fuzzing
Analyse Statique De Programmes: Interprétation Abstraite, Systèmes De Typage, Vérification
Interpréteurs, Langages D'ordres Supérieurs, Langages Fonctionnels
Sécurité Des Applications
+5
M
Advanced Malware Detection Techniques
Blockchain Technology Applications and Security
Internet of Things and AI
Network Security and Intrusion Detection
+1
W
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
E
Computer Architecture
Security and Privacy
Systems and Networking
Parallel Computing and Optimization Techniques
+4
J
Jeyavijayan "JV" Rajendran

Associate Professor, Electrical & Computer Engineering; Lauderdale Family Engineering Excellence Professor; ASCEND Fellow

Department of Electrical and Computer Engineering

Texas A&M University

Cryptographic Implementations and Security
Physical Unclonable Functions (pufs) and Hardware Security
Radiation Effects in Electronics
Security and Verification in Computing
+1
L
Context-Aware Activity Recognition Systems
Human Pose and Action Recognition
Reliability and Maintenance Optimization
Security and Verification in Computing
+1
N
Intrusion Detection
Software Security
Web Security and Privacy
Advanced Malware Detection Techniques
+3
D
Compilers
Computer Architecture
Operating Systems
Privacy-Preserving Computing
+6
O
Omar Chowdhury

Associate Professor, SUNY Empire Innovation Scholar

Computer Science

Stony Brook University

Network Security
Privacy
Program Analysis
Program Verification
+9
Previous
124

...

15
Next