@inproceedings {278332,
	author = {Alex Shamis and Peter Pietzuch and Burcu Canakci and Miguel Castro and Cedric Fournet and Edward Ashton and Amaury Chamayou and Sylvan Clebsch and Antoine Delignat-Lavaud and Matthew Kerner and Julien Maffre and Olga Vrousgou and Christoph M. Wintersteiger and Manuel Costa and Mark Russinovich},
	title = {{IA-CCF}: Individual Accountability for Permissioned Ledgers},
	booktitle = {19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)},
	year = {2022},
	isbn = {978-1-939133-27-4},
	address = {Renton, WA},
	pages = {467--491},
	url = {https://www.usenix.org/conference/nsdi22/presentation/shamis},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {179767,
	author = {Aleksandar Dragojevi{\'c} and Dushyanth Narayanan and Miguel Castro and Orion Hodson},
	title = {{FaRM}: Fast Remote Memory},
	booktitle = {11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)},
	year = {2014},
	isbn = {978-1-931971-09-6},
	address = {Seattle, WA},
	pages = {401--414},
	url = {https://www.usenix.org/conference/nsdi14/technical-sessions/dragojevi{\'c}},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {267440,
	author = {Miguel Castro and Alex C. Snoeren},
	title = {Opening Remarks and Awards Presentation},
	booktitle = {7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10)},
	year = {2010},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/nsdi-10/opening-remarks-and-awards-presentation},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {268818,
	author = {Miguel Castro and Manuel Costa and Tim Harris},
	title = {Securing Software by Enforcing Data-flow Integrity},
	booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)},
	year = {2006},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-06/securing-software-enforcing-data-flow-integrity},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {269366,
	author = {Miguel Castro and Manuel Costa and Antony Rowstron},
	title = {Debunking Some Myths About Structured and Unstructured Overlays},
	booktitle = {2nd Symposium on Networked Systems Design \& Implementation (NSDI 05)},
	year = {2005},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/nsdi-05/debunking-some-myths-about-structured-and-unstructured-overlays},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {270450,
	author = {Atul Adya and William J. Bolosky and Miguel Castro and Gerald Cermak and Ronnie Chaiken and John R. Douceur and Jon Howell and Jacob R. Lorch and Marvin Theimer and Roger P. Wattenhofer},
	title = {{FARSITE}: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment},
	booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)},
	year = {2002},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/osdi-02/farsite-federated-available-and-reliable-storage-incompletely-trusted-environment},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {271130,
	author = {Miguel Castro and Barbara Liskov},
	title = {Proactive Recovery in a {Byzantine-Fault-Tolerant} System},
	booktitle = {Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000)},
	year = {2000},
	address = {San Diego, CA },
	url = {https://www.usenix.org/conference/osdi-2000/proactive-recovery-byzantine-fault-tolerant-system},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {271775,
	author = {Miguel Castro and Barbara Liskov},
	title = {Practical Byzantine Fault Tolerance},
	booktitle = {3rd Symposium on Operating Systems Design and Implementation (OSDI 99)},
	year = {1999},
	address = {New Orleans, LA},
	url = {https://www.usenix.org/conference/osdi-99/practical-byzantine-fault-tolerance},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {260656,
	author = {Manuel Costa and Paulo Guedes and Manuel Sequeira and Nuno Neves and Miguel Castro},
	title = {Lightweight Logging for Lazy Release Consistent Distributed Shared Memory},
	booktitle = {USENIX 2nd Symposium on OS Design and Implementation (OSDI 96)},
	year = {1996},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-96/lightweight-logging-lazy-release-consistent-distributed-shared-memory},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {252220,
	author = {Miguel Castro and Nuno Neves and Pedro Trancuso and Pedro Sousa},
	title = {{MIKE}: A Distributed object-oriented programming platform on top of the Mach micro-kernel},
	booktitle = {USENIX Mach III Symposium (USENIX Mach III Symposium)},
	year = {1993},
	address = {Santa Fe, NM},
	url = {https://www.usenix.org/conference/usenix-mach-iii-symposium/mike-distributed-object-oriented-programming-platform-top-mach},
	publisher = {USENIX Association},
	month = apr
}
