Digital Security by Design (DSbD) Technology Platform Prototype

Computer Science

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