Acceso público

Algorand: Scaling byzantine agreements for cryptocurrencies

Y Gilad, R Hemo, S Micali, G Vlachos, N Zeldovich

Proceedings of the 26th symposium on operating systems principles, 51-68, 2017

Órdenes: US National Science Foundation

Stadium: A distributed metadata-private messaging system

N Tyagi, Y Gilad, D Leung, M Zaharia, N Zeldovich

Proceedings of the 26th Symposium on Operating Systems Principles, 423-440, 2017

Órdenes: US National Science Foundation

Karaoke: Distributed private messaging immune to passive traffic analysis

D Lazar, Y Gilad, N Zeldovich

13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2018

Órdenes: US National Science Foundation

Sieve: Cryptographically enforced access control for user data in untrusted clouds

F Wang, J Mickens, N Zeldovich, V Vaikuntanathan

13th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2016

Órdenes: US National Science Foundation

Alpenhorn: Bootstrapping secure communication without leaking metadata

D Lazar, N Zeldovich

12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016

Órdenes: US National Science Foundation

Verifying concurrent, crash-safe systems with Perennial

T Chajed, J Tassarotti, MF Kaashoek, N Zeldovich

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 243-258, 2019

Órdenes: US National Science Foundation

Verifying a high-performance crash-safe file system using a tree specification

H Chen, T Chajed, A Konradi, S Wang, A İleri, A Chlipala, MF Kaashoek, ...

Proceedings of the 26th Symposium on Operating Systems Principles, 270-286, 2017

Órdenes: US National Science Foundation

Scaling a file system to many cores using an operation log

SS Bhat, R Eqbal, AT Clements, MF Kaashoek, N Zeldovich

Proceedings of the 26th Symposium on Operating Systems Principles, 69-86, 2017

Órdenes: US National Science Foundation

[PDF] iacr.org

Vault: Fast bootstrapping for the algorand cryptocurrency

D Leung, A Suhl, Y Gilad, N Zeldovich

Cryptology ePrint Archive, 2018

Órdenes: US National Science Foundation

[PDF] arxiv.org

Report on the NSF workshop on formal methods for security

S Chong, J Guttman, A Datta, A Myers, B Pierce, P Schaumont, ...

arXiv preprint arXiv:1608.00678, 2016

Órdenes: US National Science Foundation

Yodel: strong metadata security for voice calls

D Lazar, Y Gilad, N Zeldovich

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 211-224, 2019

Órdenes: US National Science Foundation

GoJournal: a verified, concurrent, crash-safe journaling system

T Chajed, J Tassarotti, M Theng, R Jung, MF Kaashoek, N Zeldovich

15th {USENIX} Symposium on Operating Systems Design and Implementation …, 2021

Órdenes: US National Science Foundation, European Commission

Notary: A device for secure transaction approval

A Athalye, A Belay, MF Kaashoek, R Morris, N Zeldovich

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 97-113, 2019

Órdenes: US National Science Foundation

Verifying concurrent software using movers in {CSPEC}

T Chajed, F Kaashoek, B Lampson, N Zeldovich

13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2018

Órdenes: US National Science Foundation

Verifying hardware security modules with {Information-Preserving} refinement

A Athalye, MF Kaashoek, N Zeldovich

16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022

Órdenes: US National Science Foundation

Proving confidentiality in a file system using {disksec}

A Ileri, T Chajed, A Chlipala, F Kaashoek, N Zeldovich

13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2018

Órdenes: US National Science Foundation

Verifying the {DaisyNFS} concurrent and crash-safe file system with sequential reasoning

T Chajed, J Tassarotti, M Theng, MF Kaashoek, N Zeldovich

16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022

Órdenes: US National Science Foundation

Argosy: Verifying layered storage systems with recovery refinement

T Chajed, J Tassarotti, MF Kaashoek, N Zeldovich

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019

Órdenes: US National Science Foundation

Grove: a separation-logic library for verifying distributed systems

U Sharma, R Jung, J Tassarotti, F Kaashoek, N Zeldovich

Proceedings of the 29th Symposium on Operating Systems Principles, 113-129, 2023

Órdenes: US National Science Foundation