Foundations of language-based provenance security

Computer Science

1. Classes 100%
2. Benchmarking 94%
3. Auditing 71%
4. Semantics 71%
5. Database 56%
6. Transitions 56%
7. Application 52%
8. Data Provenance 48%
9. Computation 47%
10. System Calls 43%
11. Programs 39%
12. Concurrency 33%
13. Dynamic Slicing 33%
14. Security Analysis 29%
15. Forensics 29%
16. Subgraph Isomorphism 28%
17. Detection 28%
18. Standards 28%
19. Functional Program 28%
20. Survey 28%
21. Testing 28%
22. Records 28%
23. Algorithms 28%
24. Graph Matching 28%
25. Design 28%
26. Programming Language 28%
27. Answer Set Programming 28%
28. Updatable View 28%
29. Benchmark 28%
30. Formalization 26%
31. Real World 25%
32. Formal Definition 24%
33. Lambda Calculus 24%
34. Debugging 23%
35. Malicious Activity 23%
36. Metadata 19%
37. Reproducibility 19%
38. Historical Record 15%
39. Evaluation 15%
40. Heuristics 14%
41. Models 14%
42. Security and Privacy 14%
43. Sensitive Informations 14%
44. Functional Programming 14%
45. Scientific Workflow 14%
46. Concurrent Program 14%
47. Rapid Prototyping 14%
48. Distinctive Feature 14%
49. Exact Algorithm 14%
50. Formal Semantics 14%
51. Functional Languages 14%
52. Information Protection 14%
53. Controlling Access 14%
54. Data Source 14%
55. And-States 14%
56. Complex System 14%
57. System Configuration 14%
58. User 14%
59. Approximate Algorithm 14%
60. Reference Implementation 14%
61. Backward Slice 14%
62. Annotation 14%
63. Automated Tool 14%
64. Combinatorial Problem 14%
65. Directed Graphs 14%
66. Object Oriented Programming 14%
67. Operational Semantics 14%
68. Underlying Data 14%
69. Software Systems 14%
70. Domain-Specific Language 14%
71. Individual System 14%
72. Linux 14%
73. Data Representation 14%
74. Strong Normalization 11%
75. Transition Relation 10%
76. Events 10%
77. Representation 10%
78. Contexts 10%
79. Call by Value 9%
80. Generalization 9%
81. Explicit Substitution 9%
82. Abstract Machine 9%
83. Collect Information 9%
84. Collection Process 9%
85. Popular Approach 9%
86. Transformations 9%
87. Efficient Implementation 9%
88. Incremental Approach 9%
89. Access Control 5%
90. Execution Order 5%
91. Control 5%
92. Multiprocessing 5%
93. Computer Programming 5%
94. References 5%
95. Logical Framework 5%
96. Metatheory 5%
97. Equational Theory 5%