GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Security and Verification in Computing

Security and Verification in Computing

187 faculty research Security and Verification in Computing on GradNova.

W
Medical Imaging
Program Analysis
Programming Languages
Software Engineering
+6
J
Computer Security
Digital Rights Management
Electronic Voting
Information Privacy
+7
P
Applied Cryptography
Computer Security
Privacy
Systems Security
+6
K
Adversarial Machine Learning
Applied Cryptography
Blockchain
Data Security
+4
A
Advanced Malware Detection Techniques
Open Source Software Innovations
Security and Verification in Computing
Software Engineering Research
+1
P
Advanced Malware Detection Techniques
Cloud Computing and Resource Management
Context-Aware Activity Recognition Systems
IoT and Edge/fog Computing
+1
A
Cloud Computing and Resource Management
Cloud Data Security Solutions
Network Security and Intrusion Detection
Scientific Computing and Data Management
+1
M
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software Engineering Research
+1
B
Bo Luo

H.J. and Joan O. Wertz Professor

Computer Science

University of Kansas

Information Retrieval, Web and Online Social Networks
Information Security and Privacy, Database Security
Security and Privacy Issues in Smart Grid Systems
Xml and Conventional Database Systems, Data Management
+5
A
Computer Security
Computing and Software
Software Engineering Research
Advanced Malware Detection Techniques
+3
X
Advanced Memory and Neural Computing
Blockchain Technology Applications and Security
Network Security and Intrusion Detection
Parallel Computing and Optimization Techniques
+1
J
Advanced Data Storage Technologies
Advanced Memory and Neural Computing
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
W
Advanced Malware Detection Techniques
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
K
Kexin Pei

Neubauer Family Assistant Professor of Computer Science

Computer Science

University of Chicago

Advanced Malware Detection Techniques
Security and Verification in Computing
Software Engineering Research
Software Reliability and Analysis Research
+1
Y
Advanced Data Storage Technologies
Distributed Systems and Fault Tolerance
Interconnection Networks and Systems
Parallel Computing and Optimization Techniques
+1
P
Advanced Malware Detection Techniques
Advanced Software Engineering Methodologies
Security and Verification in Computing
Software Engineering Research
+1
L
Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
O
Cloud Computing and Resource Management
Cloud Data Security Solutions
Distributed Systems and Fault Tolerance
Security and Verification in Computing
+1
R
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
G
Gene Tsudik

Distinguished Professor and NetSys Co-Director

Computer Science

University of California, Irvine

Advanced Malware Detection Techniques
Cryptography and Data Security
Security and Verification in Computing
Security in Wireless Sensor Networks
+1
M
Michael Franz

Distinguished Professor and Director of UCI's Secure Systems and Software Laboratory

Computer Science

University of California, Irvine

Advanced Malware Detection Techniques
German Literature and Culture Studies
Nietzsche, Schopenhauer, and Hegel
Philosophy and Historical Thought
+1
A
Ardalan Amiri Sani

Professor and Vice Chair of Graduate Studies

Computer Science

University of California, Irvine

Advanced Malware Detection Techniques
Cloud Data Security Solutions
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
S
Computer Science
Advanced Malware Detection Techniques
Security and Verification in Computing
Physical Unclonable Functions (pufs) and Hardware Security
+2
T
Computer Science
Security and Verification in Computing
Parallel Computing and Optimization Techniques
Advanced Malware Detection Techniques
+2
Previous
124

...

8
Next