
doi: 10.5281/zenodo.2587492 , 10.5281/zenodo.1166002 , 10.5281/zenodo.3369657 , 10.5281/zenodo.1420977 , 10.5281/zenodo.5637217 , 10.5281/zenodo.3541795 , 10.5281/zenodo.2565854 , 10.5281/zenodo.883115 , 10.5281/zenodo.5183324 , 10.5281/zenodo.2544610 , 10.5281/zenodo.1044390 , 10.5281/zenodo.1207220 , 10.5281/zenodo.2623490 , 10.5281/zenodo.844693 , 10.5281/zenodo.1404228 , 10.5281/zenodo.1042117 , 10.5281/zenodo.1069333 , 10.5281/zenodo.998177 , 10.5281/zenodo.2555450 , 10.5281/zenodo.1016087 , 10.5281/zenodo.3302344 , 10.5281/zenodo.1479083 , 10.5281/zenodo.1145448 , 10.5281/zenodo.1133295 , 10.5281/zenodo.897922 , 10.5281/zenodo.4675676 , 10.5281/zenodo.2550232 , 10.5281/zenodo.2591411 , 10.5281/zenodo.3760441 , 10.5281/zenodo.1211064 , 10.5281/zenodo.2547591 , 10.5281/zenodo.3566956 , 10.5281/zenodo.2574474 , 10.5281/zenodo.842014 , 10.5281/zenodo.1120290 , 10.5281/zenodo.1341581 , 10.5281/zenodo.1463087 , 10.5281/zenodo.3243342 , 10.5281/zenodo.3341792 , 10.5281/zenodo.1038131 , 10.5281/zenodo.1117823 , 10.5281/zenodo.1336632 , 10.5281/zenodo.2593327 , 10.5281/zenodo.3250614 , 10.5281/zenodo.1418681 , 10.5281/zenodo.1035855 , 10.5281/zenodo.1253615 , 10.5281/zenodo.4289390 , 10.5281/zenodo.1230532 , 10.5281/zenodo.1251986 , 10.5281/zenodo.1495847 , 10.5281/zenodo.1160745 , 10.5281/zenodo.804056 , 10.5281/zenodo.1099602 , 10.5281/zenodo.3935569 , 10.5281/zenodo.3701573 , 10.5281/zenodo.1154247 , 10.5281/zenodo.3714564 , 10.5281/zenodo.1210057 , 10.5281/zenodo.1045579 , 10.5281/zenodo.1467653 , 10.5281/zenodo.1134755 , 10.5281/zenodo.3237497 , 10.5281/zenodo.1323772 , 10.5281/zenodo.3201134 , 10.5281/zenodo.819846 , 10.5281/zenodo.1284322 , 10.5281/zenodo.839803 , 10.5281/zenodo.2527005 , 10.5281/zenodo.2523490 , 10.5281/zenodo.1411728 , 10.5281/zenodo.1226439 , 10.5281/zenodo.1237740 , 10.5281/zenodo.2538075 , 10.5281/zenodo.3356895 , 10.5281/zenodo.1011170 , 10.5281/zenodo.2635105 , 10.5281/zenodo.2706489 , 10.5281/zenodo.1402643 , 10.5281/zenodo.2581784 , 10.5281/zenodo.5719531 , 10.5281/zenodo.4108282 , 10.5281/zenodo.2587662 , 10.5281/zenodo.809224 , 10.5281/zenodo.1287789 , 10.5281/zenodo.2576231 , 10.5281/zenodo.2591425 , 10.5281/zenodo.3597914 , 10.5281/zenodo.1248999 , 10.5281/zenodo.3355237 , 10.5281/zenodo.1944550 , 10.5281/zenodo.1165129 , 10.5281/zenodo.837241 , 10.5281/zenodo.843993 , 10.5281/zenodo.1186620 , 10.5281/zenodo.3870742 , 10.5281/zenodo.1315014 , 10.5281/zenodo.3522400 , 10.5281/zenodo.4020666 , 10.5281/zenodo.1256102 , 10.5281/zenodo.1241390 , 10.5281/zenodo.1009090 , 10.5281/zenodo.3606025 , 10.5281/zenodo.1475911 , 10.5281/zenodo.1319100 , 10.5281/zenodo.3255287 , 10.5281/zenodo.2566527 , 10.5281/zenodo.4087839 , 10.5281/zenodo.1194725 , 10.5281/zenodo.1305298 , 10.5281/zenodo.804355 , 10.5281/zenodo.834240 , 10.5281/zenodo.3368850 , 10.5281/zenodo.1215451 , 10.5281/zenodo.1183521 , 10.5281/zenodo.3723183 , 10.5281/zenodo.2613814 , 10.5281/zenodo.1307821 , 10.5281/zenodo.814275 , 10.5281/zenodo.1090838 , 10.5281/zenodo.1134423 , 10.5281/zenodo.891203 , 10.5281/zenodo.826436 , 10.5281/zenodo.1311472 , 10.5281/zenodo.3630261 , 10.5281/zenodo.1216877 , 10.5281/zenodo.1022202 , 10.5281/zenodo.3353420 , 10.5281/zenodo.1203265 , 10.5281/zenodo.1217554 , 10.5281/zenodo.2602804 , 10.5281/zenodo.4675549 , 10.5281/zenodo.1298354 , 10.5281/zenodo.1064960 , 10.5281/zenodo.3766169 , 10.5281/zenodo.5655388 , 10.5281/zenodo.849080 , 10.5281/zenodo.3978221 , 10.5281/zenodo.832909 , 10.5281/zenodo.1250273 , 10.5281/zenodo.3351261 , 10.5281/zenodo.2704427 , 10.5281/zenodo.888411 , 10.5281/zenodo.3925331 , 10.5281/zenodo.2560070 , 10.5281/zenodo.1169113 , 10.5281/zenodo.1172585 , 10.5281/zenodo.4022372 , 10.5281/zenodo.1292052 , 10.5281/zenodo.5703214 , 10.5281/zenodo.1206384 , 10.5281/zenodo.3239063 , 10.5281/zenodo.884458 , 10.5281/zenodo.4675630 , 10.5281/zenodo.804055 , 10.5281/zenodo.3497544 , 10.5281/zenodo.1244075 , 10.5281/zenodo.3236026 , 10.5281/zenodo.1343624 , 10.5281/zenodo.2539662 , 10.5281/zenodo.2605527 , 10.5281/zenodo.5742242 , 10.5281/zenodo.822687 , 10.5281/zenodo.1136180
doi: 10.5281/zenodo.2587492 , 10.5281/zenodo.1166002 , 10.5281/zenodo.3369657 , 10.5281/zenodo.1420977 , 10.5281/zenodo.5637217 , 10.5281/zenodo.3541795 , 10.5281/zenodo.2565854 , 10.5281/zenodo.883115 , 10.5281/zenodo.5183324 , 10.5281/zenodo.2544610 , 10.5281/zenodo.1044390 , 10.5281/zenodo.1207220 , 10.5281/zenodo.2623490 , 10.5281/zenodo.844693 , 10.5281/zenodo.1404228 , 10.5281/zenodo.1042117 , 10.5281/zenodo.1069333 , 10.5281/zenodo.998177 , 10.5281/zenodo.2555450 , 10.5281/zenodo.1016087 , 10.5281/zenodo.3302344 , 10.5281/zenodo.1479083 , 10.5281/zenodo.1145448 , 10.5281/zenodo.1133295 , 10.5281/zenodo.897922 , 10.5281/zenodo.4675676 , 10.5281/zenodo.2550232 , 10.5281/zenodo.2591411 , 10.5281/zenodo.3760441 , 10.5281/zenodo.1211064 , 10.5281/zenodo.2547591 , 10.5281/zenodo.3566956 , 10.5281/zenodo.2574474 , 10.5281/zenodo.842014 , 10.5281/zenodo.1120290 , 10.5281/zenodo.1341581 , 10.5281/zenodo.1463087 , 10.5281/zenodo.3243342 , 10.5281/zenodo.3341792 , 10.5281/zenodo.1038131 , 10.5281/zenodo.1117823 , 10.5281/zenodo.1336632 , 10.5281/zenodo.2593327 , 10.5281/zenodo.3250614 , 10.5281/zenodo.1418681 , 10.5281/zenodo.1035855 , 10.5281/zenodo.1253615 , 10.5281/zenodo.4289390 , 10.5281/zenodo.1230532 , 10.5281/zenodo.1251986 , 10.5281/zenodo.1495847 , 10.5281/zenodo.1160745 , 10.5281/zenodo.804056 , 10.5281/zenodo.1099602 , 10.5281/zenodo.3935569 , 10.5281/zenodo.3701573 , 10.5281/zenodo.1154247 , 10.5281/zenodo.3714564 , 10.5281/zenodo.1210057 , 10.5281/zenodo.1045579 , 10.5281/zenodo.1467653 , 10.5281/zenodo.1134755 , 10.5281/zenodo.3237497 , 10.5281/zenodo.1323772 , 10.5281/zenodo.3201134 , 10.5281/zenodo.819846 , 10.5281/zenodo.1284322 , 10.5281/zenodo.839803 , 10.5281/zenodo.2527005 , 10.5281/zenodo.2523490 , 10.5281/zenodo.1411728 , 10.5281/zenodo.1226439 , 10.5281/zenodo.1237740 , 10.5281/zenodo.2538075 , 10.5281/zenodo.3356895 , 10.5281/zenodo.1011170 , 10.5281/zenodo.2635105 , 10.5281/zenodo.2706489 , 10.5281/zenodo.1402643 , 10.5281/zenodo.2581784 , 10.5281/zenodo.5719531 , 10.5281/zenodo.4108282 , 10.5281/zenodo.2587662 , 10.5281/zenodo.809224 , 10.5281/zenodo.1287789 , 10.5281/zenodo.2576231 , 10.5281/zenodo.2591425 , 10.5281/zenodo.3597914 , 10.5281/zenodo.1248999 , 10.5281/zenodo.3355237 , 10.5281/zenodo.1944550 , 10.5281/zenodo.1165129 , 10.5281/zenodo.837241 , 10.5281/zenodo.843993 , 10.5281/zenodo.1186620 , 10.5281/zenodo.3870742 , 10.5281/zenodo.1315014 , 10.5281/zenodo.3522400 , 10.5281/zenodo.4020666 , 10.5281/zenodo.1256102 , 10.5281/zenodo.1241390 , 10.5281/zenodo.1009090 , 10.5281/zenodo.3606025 , 10.5281/zenodo.1475911 , 10.5281/zenodo.1319100 , 10.5281/zenodo.3255287 , 10.5281/zenodo.2566527 , 10.5281/zenodo.4087839 , 10.5281/zenodo.1194725 , 10.5281/zenodo.1305298 , 10.5281/zenodo.804355 , 10.5281/zenodo.834240 , 10.5281/zenodo.3368850 , 10.5281/zenodo.1215451 , 10.5281/zenodo.1183521 , 10.5281/zenodo.3723183 , 10.5281/zenodo.2613814 , 10.5281/zenodo.1307821 , 10.5281/zenodo.814275 , 10.5281/zenodo.1090838 , 10.5281/zenodo.1134423 , 10.5281/zenodo.891203 , 10.5281/zenodo.826436 , 10.5281/zenodo.1311472 , 10.5281/zenodo.3630261 , 10.5281/zenodo.1216877 , 10.5281/zenodo.1022202 , 10.5281/zenodo.3353420 , 10.5281/zenodo.1203265 , 10.5281/zenodo.1217554 , 10.5281/zenodo.2602804 , 10.5281/zenodo.4675549 , 10.5281/zenodo.1298354 , 10.5281/zenodo.1064960 , 10.5281/zenodo.3766169 , 10.5281/zenodo.5655388 , 10.5281/zenodo.849080 , 10.5281/zenodo.3978221 , 10.5281/zenodo.832909 , 10.5281/zenodo.1250273 , 10.5281/zenodo.3351261 , 10.5281/zenodo.2704427 , 10.5281/zenodo.888411 , 10.5281/zenodo.3925331 , 10.5281/zenodo.2560070 , 10.5281/zenodo.1169113 , 10.5281/zenodo.1172585 , 10.5281/zenodo.4022372 , 10.5281/zenodo.1292052 , 10.5281/zenodo.5703214 , 10.5281/zenodo.1206384 , 10.5281/zenodo.3239063 , 10.5281/zenodo.884458 , 10.5281/zenodo.4675630 , 10.5281/zenodo.804055 , 10.5281/zenodo.3497544 , 10.5281/zenodo.1244075 , 10.5281/zenodo.3236026 , 10.5281/zenodo.1343624 , 10.5281/zenodo.2539662 , 10.5281/zenodo.2605527 , 10.5281/zenodo.5742242 , 10.5281/zenodo.822687 , 10.5281/zenodo.1136180
Create a patch that implements the changes (and more) to the LSM framework suggested in the paper: Verifying the reliability of operating system-level information flow control systems in linux, Georget et al., ACM/IEEE Workshop on Formal Methods in Software Engineering (FormliSE'17) 2017.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
