Digital Security by Design (DSbD) Technology Platform Prototype

Computer Science

1. Models 100%
2. Semantics 95%
3. Computer Architecture 81%
4. Specifications 69%
5. Concurrency 54%
6. Hypervisor 27%
7. Arm Architecture 27%
8. Extended Version 27%
9. Security Properties 27%
10. Programs 23%
11. Hardware 22%
12. Architecture Definition 22%
13. Complexity 22%
14. Operating Systems 18%
15. Real World 18%
16. Symbolic Execution 14%
17. Good Specification 13%
18. Oriented Architecture 13%
19. Vulnerabilities 13%
20. Protection 13%
21. Essential Property 13%
22. Instruction Sequence 13%
23. System Software 13%
24. Security Vulnerability 13%
25. Processor Architectures 13%
26. Testing 13%
27. Conventional Architecture 13%
28. Critical Infrastructure 13%
29. Memory Protection 13%
30. Evaluation 13%
31. Compartmentalization 13%
32. Design 13%
33. Classes 13%
34. Instruction Fetch 13%
35. User 9%
36. Computing 9%
37. Address Translation 9%
38. Software Verification 9%
39. System Functionality 9%
40. Function Pointer 9%
41. Inline Function 9%
42. World Architecture 9%
43. Inline Assembly 9%
44. Vectors 9%
45. Automated Reasoning 9%
46. Validation 9%
47. Underlying Architecture 9%
48. Formal Specification 9%
49. Internal Model 9%
50. Test Generation 5%
51. Reasoning 5%
52. Memory Model 5%
53. Virtual Memory 5%
54. Execution Engine 5%