Biblio

Export 10 results:
Filters: Author is Miguel Castro  [Clear All Filters]
2022
Shamis A, Pietzuch P, Canakci B, Castro M, Fournet C, Ashton E, Chamayou A, Clebsch S, Delignat-Lavaud A, Kerner M et al..  2022.  IA-CCF: Individual Accountability for Permissioned Ledgers. 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). :467--491.
2014
Dragojević A, Narayanan D, Castro M, Hodson O.  2014.  FaRM: Fast Remote Memory. 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). :401--414.
2010
Castro M, Snoeren AC.  2010.  Opening Remarks and Awards Presentation. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10).
2006
Castro M, Costa M, Harris T.  2006.  Securing Software by Enforcing Data-flow Integrity. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
2005
Castro M, Costa M, Rowstron A.  2005.  Debunking Some Myths About Structured and Unstructured Overlays. 2nd Symposium on Networked Systems Design & Implementation (NSDI 05).
2000
Castro M, Liskov B.  2000.  Proactive Recovery in a Byzantine-Fault-Tolerant System. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
1999
Castro M, Liskov B.  1999.  Practical Byzantine Fault Tolerance. 3rd Symposium on Operating Systems Design and Implementation (OSDI 99).
1996
Costa M, Guedes P, Sequeira M, Neves N, Castro M.  1996.  Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. USENIX 2nd Symposium on OS Design and Implementation (OSDI 96).