Andrew Gordon

Computer Science

1. Models 100%
2. Semantics 79%
3. Programs 66%
4. Cryptographic Protocol 55%
5. Machine Learning 50%
6. Security Properties 40%
7. Programming Language 40%
8. Malware 36%
9. Probability 32%
10. Authorization 32%
11. Design 31%
12. Security Protocol 31%
13. Web Service 30%
14. Source Codes 28%
15. Type Systems 27%
16. Encryption 24%
17. Android Malware 22%
18. Functional Program 21%
19. Virtual Machine 21%
20. Functional Languages 21%
21. Service 20%
22. Specifications 20%
23. Messages 19%
24. Natural Languages 19%
25. Cryptography 18%
26. Spreadsheet 18%
27. Algorithms 18%
28. Classifier 18%
29. Reference Implementation 18%
30. Standards 17%
31. Reasoning 17%
32. Symbolic Execution 16%
33. Software 16%
34. Invariants 16%
35. Soundness 16%
36. Application 16%
37. Security Policy 16%
38. Compiler 15%
39. Server 15%
40. Theorem Prover 15%
41. Functions 14%
42. Formal Semantics 14%
43. Probability Density Function 14%
44. Cryptographic Primitive 14%
45. Links 14%
46. User 14%
47. Markov Chain 13%
48. Testing 13%
49. Records 13%
50. Malware Family 12%