Robust composition: towards a unified approach to access control and concurrency control

By J. Shapiro, Mark S. Miller. 2006

406 citations recorded by the source corpus.

Subfields: Privacy & Security

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Privacy & Security

1. David A. Wagner
2. Adrian Matthew Mettler
3. H. S. Anderson
4. Peter Eckersley
5. Matthew Finifter
6. Naveen Sastry
7. Jacob Steinhardt
8. Gregory Valiant

Citations in the corpus

• The Malicious Use of Artificial Intelligence: Forecasting, Prevention, and Mitigation (2018, background): “For example, could AI systems be used to refactor existing code bases or new software to adhere more closely to principle of least authority (Miller, 2006) or other security best practices? See Appendix B for more commentary on and questions about these sub-areas.”
• Verifiable functional purity in java (2008, methodology): “We use a unified approach to achieving both goals, based on object capabilities [18].”
• CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization (2015, methodology): “, downloaded code in a web browser) [25], [19], [35], [48], [42].”