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.

A
Formal Methods
Program Analysis & Verification
Programming Languages
Software Engineering
+5
A
Security & Privacy
Systems & Networking
Security and Verification in Computing
COVID-19 Digital Contact Tracing
+3
R
Program Analysis & Verification
Programming Languages
Logic, Programming, and Type Systems
Software Engineering Research
+3
R
Abstract Interpretation
History of Computing
Logic in Computer Science
Program Analysis and Verification
+7
C
Computer Security
Research Ethics
Reverse Engineering
Software Protection
+5
B
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
G
Advanced Malware Detection Techniques
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Security and Verification in Computing
+1
T
Embedded Systems Design Techniques
Interconnection Networks and Systems
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
C
Advanced Malware Detection Techniques
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Security and Verification in Computing
+1
B
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
Y
Advanced Malware Detection Techniques
Formal Methods in Verification
Security and Verification in Computing
Software Engineering Research
+1
T
Advanced Software Engineering Methodologies
Formal Methods in Verification
Security and Verification in Computing
Service-Oriented Architecture and Web Services
+1
H
Computer Security
Machine Learning
Programming Languages and Software Engineering
Systems and Networks
+5
M
Architecture, Compilers, and Embedded Systems
Programming Languages and Software Engineering
Software Testing and Debugging Techniques
Software Engineering Research
+3
C
Architecture, Compilers, and Embedded Systems
Computer Security
Programming Languages and Software Engineering
Systems and Networks
+5
Z
Computer Security
Systems and Networks
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
+3
T
Access Control and Trust
Advanced Malware Detection Techniques
Cloud Data Security Solutions
Network Security and Intrusion Detection
+1
H
Advanced Malware Detection Techniques
Blockchain Technology Applications and Security
Formal Methods in Verification
Privacy, Security, and Data Protection
+1
S
Application Security
Compiler Optimizations
Compilers
Domain-Specific Programming Languages
+11
M
Dynamic Languages
Programming Languages
Type Systems
Logic, Programming, and Type Systems
+4
J
Jeffrey Foster

Professor and Chair of Computer Science

Computer Science

Tufts University

Computer Security
Programming Languages
Software Engineering
Software Testing and Debugging Techniques
+4
M
Advanced Malware Detection Techniques
Physical Unclonable Functions (pufs) and Hardware Security
Quantum Information and Cryptography
Radiation Effects in Electronics
+1
J
Parallel Computing and Optimization Techniques
Radiation Effects in Electronics
Real-Time Systems Scheduling
Security and Verification in Computing
+1
N
Access Control and Trust
Cloud Computing and Resource Management
Cloud Data Security Solutions
IoT and Edge/fog Computing
+1
Previous
1

...

911

...

15
Next