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.

T
Advanced Malware Detection Techniques
Adversarial Robustness in Machine Learning
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
A
AI-Driven Malware Analysis
Reverse Engineering
Vulnerability Detection
Advanced Malware Detection Techniques
+4
F
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Integrated Circuits and Semiconductor Failure Analysis
Physical Unclonable Functions (pufs) and Hardware Security
+1
D
Advanced Data Storage Technologies
Distributed Systems and Fault Tolerance
Particle Physics Theoretical and Experimental Studies
Scientific Computing and Data Management
+1
M
Advanced Malware Detection Techniques
Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
Smart Grid Security and Resilience
+1
A
Atul Prakash

Richard H. Orenstein Division Chair of Computer Science and Engineering; Professor, EECS – Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Algorithmic Fairness
Computer Systems Security
Designing Efficient and Scalable Systems
Security and Privacy of Machine Learning Models
+6
P
Peter M. Chen

Arthur F. Thurnau Professor; Professor, EECS – Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Computer Security
Fault-Tolerant Computing
Operating Systems
Virtual Machines
+5
W
William Arthur

Lecturer IV, EECS – Computer Science and Engineeing

Computer Science and Engineering

University of Michigan

Advanced Malware Detection Techniques
Chaos Control and Synchronization
Diamond and Carbon-Based Materials Research
Network Security and Intrusion Detection
+1
O
Advanced Malware Detection Techniques
Integrated Circuits and Semiconductor Failure Analysis
IoT and Edge/fog Computing
Physical Unclonable Functions (pufs) and Hardware Security
+1
A
Advanced Malware Detection Techniques
Cryptography and Data Security
Logic, Programming, and Type Systems
Physical Unclonable Functions (pufs) and Hardware Security
+1
X
Computer Security and Privacy
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Advanced Malware Detection Techniques
+2
Y
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Software Testing and Debugging Techniques
+1
D
Complexity and Algorithms in Graphs
Cryptographic Implementations and Security
Cryptography and Data Security
Privacy-Preserving Technologies in Data
+1
N
Cryptographic Implementations and Security
Integrated Circuits and Semiconductor Failure Analysis
Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
+1
G
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Security and Verification in Computing
+1
D
Complexity and Algorithms in Graphs
Cryptographic Implementations and Security
Cryptography and Data Security
Formal Methods in Verification
+1
C
Carl Gunter

George and Ann Fisher Distinguished Professor in Engineering

Computer Science

University of Illinois Urbana-Champaign

Access Control and Trust
Advanced Malware Detection Techniques
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
A
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Scientific Computing and Data Management
Security and Verification in Computing
+1
V
Vikram Adve

Donald B. Gillies Professor in Computer Science

Computer Science

University of Illinois Urbana-Champaign

Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
T
Automated Model Extraction
Automated Verification
Formal Methods
Software Testing and Debugging Techniques
+4
M
Mark Tehranipoor

Dean, Intel Charles E. Young Endowed Chair Professor in Cybersecurity

Department of Electrical & Computer Engineering

University of Florida

Electronics Supply Chain Security
Hardware Security and Trust
IoT Security
Reliable and Testable VLSI Design
+5
S
Automotives and IoT
Formal Methods
Post-Silicon Validation
Trustworthy Computing
+5
F
Design Automation
Formal Methods
Post-Silicon Validation
Physical Unclonable Functions (pufs) and Hardware Security
+4
S
Adaptive and Energy-Efficient Computing
Food and Medicine Safety
Hardware and Systems Security
Wearable and Implantable Systems
+5
Previous
13

...

15
Next