Ahmed Bhayat

Computer Science

1. Higher Order Logic 100%
2. Fuzzing 52%
3. Theorem Prover 47%
4. Domains 44%
5. C Program 40%
6. Algorithms 30%
7. Hybrid Approach 30%
8. Vulnerabilities 30%
9. Model Checking 27%
10. Security Vulnerability 24%
11. Reasoning 24%
12. Program Verification 22%
13. Automated Reasoning 22%
14. Polymorphism 20%
15. Lower Energy Consumption 15%
16. Extensionality 15%
17. Heuristics 15%
18. Automation 15%
19. Formalization 15%
20. Runtime Protection 15%
21. Static Program Analysis 15%
22. Protection 15%
23. Substitution Tree 10%
24. Programs 10%
25. Records 10%
26. Shared Memory 10%
27. Previous Version 10%
28. Generation 10%
29. Renaming 10%
30. Unification Algorithm 10%
31. Order Theorem Prover 10%
32. Benchmark 10%
33. Order Unification 10%
34. Filtering 10%
35. Energy Consumption 7%
36. Execution Time 7%
37. Energy Efficient 7%
38. Category Error 7%
39. Software Testing 7%
40. Detection 7%
41. Memory Corruption Bug 7%
42. Inference Rule 7%
43. Symbolic Execution 7%
44. System Software 7%
45. Programming Language 7%
46. Compiler 7%
47. Application Software 7%
48. Hardware 7%
49. Hardware Layer 7%
50. Deployment Technique 7%