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.

Y
Mobile and Smart Device Security
System and Software Security
Advanced Malware Detection Techniques
Security and Verification in Computing
+3
Z
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
+4
F
Augmented, Virtual & Mixed Reality
Human-Computer Interaction
Security & Privacy
Privacy, Security, and Data Protection
+4
D
Architecture & Parallel Computing
Operating & Distributed Systems
Security & Privacy
Security and Verification in Computing
+4
D
Computing Education Research
Programming Languages
Parallel Computing and Optimization Techniques
Distributed Systems and Fault Tolerance
+3
P
Security / Privacy (cryptography)
Cryptography and Data Security
Cryptographic Implementations and Security
Security and Verification in Computing
+2
S
Security / Privacy (systems Security)
Software Testing and Debugging Techniques
Software Engineering Research
Advanced Malware Detection Techniques
+2
E
High-Performance Computing (scalable Systems)
Programming Languages (formal Verification and Testing)
Security / Privacy (systems Security)
Systems (networking, Scalable Systems)
+5
A
Systems (operating Systems)
Security and Verification in Computing
Cryptography and Data Security
Coding Theory and Cryptography
+2
R
Heterogeneous Computing
Re-Configurability
Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
+3
W
Distributed Systems and Fault Tolerance
Embedded Systems Design Techniques
Interconnection Networks and Systems
Parallel Computing and Optimization Techniques
+1
S
Stephanie Weirich

Professor ENIAC President's Distinguished Professor Computer and Information Science

Computer Science

University of Pennsylvania

Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Security and Verification in Computing
+1
J
Jonathan M. Smith

Professor Olga and Alberico Pompa Professor Computer and Information Science Primary Electrical and Systems Engineering

Department of Electrical and Systems Engineering

University of Pennsylvania

Advanced Data Storage Technologies
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
J
Advanced Data Storage Technologies
Embedded Systems Design Techniques
Numerical Methods and Algorithms
Parallel Computing and Optimization Techniques
+1
C
Cynthia Sturton

Associate Professor and Peter Thacher Grauer Scholar

Computer Science

University of North Carolina at Chapel Hill

Applied Formal Methods for Software Security
Computer and Hardware Security
Security and Verification in Computing
Advanced Malware Detection Techniques
+3
M
Applied Cryptography
Computer and Network Security
Distributed Systems
Distributed Systems and Fault Tolerance
+4
K
Computer Science Education and Pedagogy
Hardware Security
Symbolic Execution
Security and Verification in Computing
+4
D
Computer Security
Concurrent Programming
File Systems
Operating Systems
+6
A
Security and Applied Cryptography
Security and Verification in Computing
Cryptographic Implementations and Security
Advanced Malware Detection Techniques
+2
S
Applied Cryptography
Computer Security
Privacy
Cryptography and Data Security
+4
V
Vassil Roussev, Ph.D.

Professor, Department Chair, Director of LSU New Orleans Cyber Center

Computer Science

University of New Orleans

Advanced Data Storage Technologies
Advanced Malware Detection Techniques
Digital and Cyber Forensics
Digital Media Forensic Detection
+1
D
Advanced Malware Detection Techniques
Formal Methods in Verification
Security and Verification in Computing
Software Engineering Research
+1
N
Advanced Data Storage Technologies
Advanced Malware Detection Techniques
Chaos-Based Image/signal Encryption
Cloud Data Security Solutions
+1
R
Rohit Chadha

Director, Cybersecurity Center at Mizzou; Associate Professor

Computer Science

University of Missouri

Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Privacy-Preserving Technologies in Data
+1
Previous
1

...

68

...

15
Next