Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bryan Parno
@article{DBLP:journals/pacmpl/LattuadaHCBSZHPH23,
author = {Andrea Lattuada and
Travis Hance and
Chanhee Cho and
Matthias Brun and
Isitha Subasinghe and
Yi Zhou and
Jon Howell and
Bryan Parno and
Chris Hawblitzel},
title = {Verus: Verifying Rust Programs using Linear Ghost Types},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA1}},
pages = {286--315},
year = {2023},
url = {https://doi.org/10.1145/3586037},
doi = {10.1145/3586037},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LattuadaHCBSZHPH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HanceHPP23,
author = {Travis Hance and
Jon Howell and
Oded Padon and
Bryan Parno},
title = {Leaf: Modularity for Temporary Sharing in Separation Logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {31--58},
year = {2023},
url = {https://doi.org/10.1145/3622798},
doi = {10.1145/3622798},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HanceHPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MichaelGBJDDWPPVS23,
author = {Alexandra E. Michael and
Anitha Gollamudi and
Jay Bosamiya and
Evan Johnson and
Aidan Denlinger and
Craig Disselkoen and
Conrad Watt and
Bryan Parno and
Marco Patrignani and
Marco Vassena and
Deian Stefan},
title = {MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {425--454},
year = {2023},
url = {https://doi.org/10.1145/3571208},
doi = {10.1145/3571208},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MichaelGBJDDWPPVS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ZhouGCWP23,
author = {Yi Zhou and
Sydney Gibson and
Sarah Cai and
Menucha Winchell and
Bryan Parno},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Gal{\'{a}}pagos: Developing Verified Low Level Cryptography on
Heterogeneous Hardwares},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {2113--2127},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3616603},
doi = {10.1145/3576915.3616603},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ZhouGCWP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ArasuRRSFHPR23,
author = {Arvind Arasu and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Aymeric Fromherz and
Kesha Hietala and
Bryan Parno and
Ravi Ramamurthy},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {FastVer2: {A} Provably Correct Monitor for Concurrent, Key-Value Stores},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {30--46},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575687},
doi = {10.1145/3573105.3575687},
timestamp = {Fri, 13 Jan 2023 13:03:25 +0100},
biburl = {https://dblp.org/rec/conf/cpp/ArasuRRSFHPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/KothapalliP23,
author = {Abhiram Kothapalli and
Bryan Parno},
editor = {Helena Handschuh and
Anna Lysyanskaya},
title = {Algebraic Reductions of Knowledge},
booktitle = {Advances in Cryptology - {CRYPTO} 2023 - 43rd Annual International
Cryptology Conference, {CRYPTO} 2023, Santa Barbara, CA, USA, August
20-24, 2023, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {14084},
pages = {669--701},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38551-3\_21},
doi = {10.1007/978-3-031-38551-3\_21},
timestamp = {Mon, 14 Aug 2023 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/crypto/KothapalliP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZhouBTLHP23,
author = {Yi Zhou and
Jay Bosamiya and
Yoshiki Takashima and
Jessica Li and
Marijn Heule and
Bryan Parno},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {Mariposa: Measuring {SMT} Instability in Automated Program Verification},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {178--188},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_26},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_26},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ZhouBTLHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/LarischACKLMPW23,
author = {James Larisch and
Waqar Aqeel and
Taejoong Chung and
Eddie Kohler and
Dave Levin and
Bruce M. Maggs and
Bryan Parno and
Christo Wilson},
title = {No Root Store Left Behind},
booktitle = {Proceedings of the 22nd {ACM} Workshop on Hot Topics in Networks,
HotNets 2023, Cambridge, MA, USA, November 28-29, 2023},
pages = {295--301},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3626111.3630268},
doi = {10.1145/3626111.3630268},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/LarischACKLMPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/HanceZLACSZHHP23,
author = {Travis Hance and
Yi Zhou and
Andrea Lattuada and
Reto Achermann and
Alex Conway and
Ryan Stutsman and
Gerd Zellweger and
Chris Hawblitzel and
Jon Howell and
Bryan Parno},
editor = {Roxana Geambasu and
Ed Nightingale},
title = {Sharding the State Machine: Automated Modular Reasoning for Complex
Concurrent Systems},
booktitle = {17th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2023, Boston, MA, USA, July 10-12, 2023},
pages = {911--929},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/osdi23/presentation/hance},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/HanceZLACSZHHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GancherGSDP23,
author = {Joshua Gancher and
Sydney Gibson and
Pratap Singh and
Samvid Dharanikota and
Bryan Parno},
title = {Owl: Compositional Verification of Security Protocols via an Information-Flow
Type System},
booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
CA, USA, May 21-25, 2023},
pages = {1130--1147},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SP46215.2023.10179477},
doi = {10.1109/SP46215.2023.10179477},
timestamp = {Thu, 27 Jul 2023 08:17:10 +0200},
biburl = {https://dblp.org/rec/conf/sp/GancherGSDP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05491,
author = {Andrea Lattuada and
Travis Hance and
Chanhee Cho and
Matthias Brun and
Isitha Subasinghe and
Yi Zhou and
Jon Howell and
Bryan Parno and
Chris Hawblitzel},
title = {Verus: Verifying Rust Programs using Linear Ghost Types (extended
version)},
journal = {CoRR},
volume = {abs/2303.05491},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05491},
doi = {10.48550/ARXIV.2303.05491},
eprinttype = {arXiv},
eprint = {2303.05491},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-04851,
author = {Travis Hance and
Jon Howell and
Oded Padon and
Bryan Parno},
title = {Leaf: Modularity for Temporary Sharing in Separation Logic (Extended
Version)},
journal = {CoRR},
volume = {abs/2309.04851},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.04851},
doi = {10.48550/ARXIV.2309.04851},
eprinttype = {arXiv},
eprint = {2309.04851},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-04851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-09326,
author = {Zhengyao Lin and
Joshua Gancher and
Bryan Parno},
title = {WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs},
journal = {CoRR},
volume = {abs/2312.09326},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.09326},
doi = {10.48550/ARXIV.2312.09326},
eprinttype = {arXiv},
eprint = {2312.09326},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-09326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GancherGSDP23,
author = {Joshua Gancher and
Sydney Gibson and
Pratap Singh and
Samvid Dharanikota and
Bryan Parno},
title = {Owl: Compositional Verification of Security Protocols via an Information-Flow
Type System},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {473},
year = {2023},
url = {https://eprint.iacr.org/2023/473},
timestamp = {Mon, 05 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GancherGSDP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiLZCHPH22,
author = {Jialin Li and
Andrea Lattuada and
Yi Zhou and
Jonathan Cameron and
Jon Howell and
Bryan Parno and
Chris Hawblitzel},
title = {Linear types for large-scale systems verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA1}},
pages = {1--28},
year = {2022},
url = {https://doi.org/10.1145/3527313},
doi = {10.1145/3527313},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LiLZCHPH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmlr/LeinoZMFPP22,
author = {Klas Leino and
Chi Zhang and
Ravi Mangal and
Matt Fredrikson and
Bryan Parno and
Corina S. Pasareanu},
title = {Degradation Attacks on Certifiably Robust Neural Networks},
journal = {Trans. Mach. Learn. Res.},
volume = {2022},
year = {2022},
url = {https://openreview.net/forum?id=P0XO5ZE98j},
timestamp = {Fri, 19 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmlr/LeinoZMFPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LorchCKMPQSWZ22,
author = {Jacob R. Lorch and
Yixuan Chen and
Manos Kapritsos and
Haojun Ma and
Bryan Parno and
Shaz Qadeer and
Upamanyu Sharma and
James R. Wilcox and
Xueyuan Zhao},
title = {Armada: Automated Verification of Concurrent Code with Sound Semantic
Extensibility},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {44},
number = {2},
pages = {12:1--12:39},
year = {2022},
url = {https://doi.org/10.1145/3502491},
doi = {10.1145/3502491},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LorchCKMPQSWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeinoFMFPP22,
author = {Klas Leino and
Aymeric Fromherz and
Ravi Mangal and
Matt Fredrikson and
Bryan Parno and
Corina S. Pasareanu},
editor = {Omri Isac and
Radoslav Ivanov and
Guy Katz and
Nina Narodytska and
Laura Nenzi},
title = {Self-correcting Neural Networks for Safe Classification},
booktitle = {Software Verification and Formal Methods for ML-Enabled Autonomous
Systems - 5th International Workshop, FoMLAS 2022, and 15th International
Workshop, {NSV} 2022, Haifa, Israel, July 31 - August 1, and August
11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13466},
pages = {96--130},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21222-2\_7},
doi = {10.1007/978-3-031-21222-2\_7},
timestamp = {Fri, 16 Dec 2022 15:28:42 +0100},
biburl = {https://dblp.org/rec/conf/cav/LeinoFMFPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/LarischALGKTWCL22,
author = {James Larisch and
Waqar Aqeel and
Michael Lum and
Yaelle Goldschlag and
Leah Kannan and
Kasra Torshizi and
Yujie Wang and
Taejoong Chung and
Dave Levin and
Bruce M. Maggs and
Alan Mislove and
Bryan Parno and
Christo Wilson},
editor = {Heng Yin and
Angelos Stavrou and
Cas Cremers and
Elaine Shi},
title = {Hammurabi: {A} Framework for Pluggable, Logic-Based {X.509} Certificate
Validation Policies},
booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2022, Los Angeles, CA, USA, November
7-11, 2022},
pages = {1857--1870},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548606.3560594},
doi = {10.1145/3548606.3560594},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/LarischALGKTWCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/TziallaKPS22,
author = {Ioanna Tzialla and
Abhiram Kothapalli and
Bryan Parno and
Srinath T. V. Setty},
title = {Transparency Dictionaries with Succinct Proofs of Correct Operation},
booktitle = {29th Annual Network and Distributed System Security Symposium, {NDSS}
2022, San Diego, California, USA, April 24-28, 2022},
publisher = {The Internet Society},
year = {2022},
url = {https://www.ndss-symposium.org/ndss-paper/auto-draft-252/},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ndss/TziallaKPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkc/GoyalKMPS22,
author = {Vipul Goyal and
Abhiram Kothapalli and
Elisaweta Masserova and
Bryan Parno and
Yifan Song},
editor = {Goichiro Hanaoka and
Junji Shikata and
Yohei Watanabe},
title = {Storing and Retrieving Secrets on a Blockchain},
booktitle = {Public-Key Cryptography - {PKC} 2022 - 25th {IACR} International Conference
on Practice and Theory of Public-Key Cryptography, Virtual Event,
March 8-11, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13177},
pages = {252--282},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-97121-2\_10},
doi = {10.1007/978-3-030-97121-2\_10},
timestamp = {Thu, 10 Mar 2022 11:26:10 +0100},
biburl = {https://dblp.org/rec/conf/pkc/GoyalKMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BosamiyaLP22,
author = {Jay Bosamiya and
Wen Shih Lim and
Bryan Parno},
editor = {Kevin R. B. Butler and
Kurt Thomas},
title = {Provably-Safe Multilingual Software Sandboxing using WebAssembly},
booktitle = {31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston,
MA, USA, August 10-12, 2022},
pages = {1975--1992},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/usenixsecurity22/presentation/bosamiya},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/BosamiyaLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-13583,
author = {Alexandra E. Michael and
Anitha Gollamudi and
Jay Bosamiya and
Craig Disselkoen and
Aidan Denlinger and
Conrad Watt and
Bryan Parno and
Marco Patrignani and
Marco Vassena and
Deian Stefan},
title = {MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code},
journal = {CoRR},
volume = {abs/2208.13583},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.13583},
doi = {10.48550/ARXIV.2208.13583},
eprinttype = {arXiv},
eprint = {2208.13583},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-13583.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/KothapalliP22,
author = {Abhiram Kothapalli and
Bryan Parno},
title = {Algebraic Reductions of Knowledge},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {9},
year = {2022},
url = {https://eprint.iacr.org/2022/009},
timestamp = {Thu, 13 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/KothapalliP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MasserovaGMPGP22,
author = {Elisaweta Masserova and
Deepali Garg and
Ken Mai and
Lawrence T. Pileggi and
Vipul Goyal and
Bryan Parno},
title = {Logic Locking - Connecting Theory and Practice},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {545},
year = {2022},
url = {https://eprint.iacr.org/2022/545},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/MasserovaGMPGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/ChenLBGHP21,
author = {Daming D. Chen and
Wen Shih Lim and
Mohammad Bakhshalipour and
Phillip B. Gibbons and
James C. Hoe and
Bryan Parno},
editor = {Tim Sherwood and
Emery D. Berger and
Christos Kozyrakis},
title = {HerQules: securing programs via hardware-enforced message queues},
booktitle = {{ASPLOS} '21: 26th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Virtual Event,
USA, April 19-23, 2021},
pages = {773--788},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3445814.3446736},
doi = {10.1145/3445814.3446736},
timestamp = {Sat, 30 Sep 2023 09:34:47 +0200},
biburl = {https://dblp.org/rec/conf/asplos/ChenLBGHP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/FromherzLFPP21,
author = {Aymeric Fromherz and
Klas Leino and
Matt Fredrikson and
Bryan Parno and
Corina S. Pasareanu},
title = {Fast Geometric Projections for Local Robustness Certification},
booktitle = {9th International Conference on Learning Representations, {ICLR} 2021,
Virtual Event, Austria, May 3-7, 2021},
publisher = {OpenReview.net},
year = {2021},
url = {https://openreview.net/forum?id=zWy1uxjDdZJ},
timestamp = {Wed, 23 Jun 2021 17:36:39 +0200},
biburl = {https://dblp.org/rec/conf/iclr/FromherzLFPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/HanceHMP21,
author = {Travis Hance and
Marijn Heule and
Ruben Martins and
Bryan Parno},
editor = {James Mickens and
Renata Teixeira},
title = {Finding Invariants of Distributed Systems: It's a Small (Enough) World
After All},
booktitle = {18th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2021, April 12-14, 2021},
pages = {115--131},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/nsdi21/presentation/hance},
timestamp = {Thu, 12 Aug 2021 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/HanceHMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/LiuSKPSS21,
author = {Guyue Liu and
Hugo Sadok and
Anne Kohlbrenner and
Bryan Parno and
Vyas Sekar and
Justine Sherry},
editor = {James Mickens and
Renata Teixeira},
title = {Don't Yank My Chain: Auditable {NF} Service Chaining},
booktitle = {18th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2021, April 12-14, 2021},
pages = {155--173},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/nsdi21/presentation/liu-guyue},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/LiuSKPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BarbosaBBBCLP21,
author = {Manuel Barbosa and
Gilles Barthe and
Karthik Bhargavan and
Bruno Blanchet and
Cas Cremers and
Kevin Liao and
Bryan Parno},
title = {SoK: Computer-Aided Cryptography},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {777--795},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00008},
doi = {10.1109/SP40001.2021.00008},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/BarbosaBBBCLP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Delignat-Lavaud21,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Bryan Parno and
Jonathan Protzenko and
Tahina Ramananandro and
Jay Bosamiya and
Joseph Lallemand and
Itsaka Rakotonirina and
Yi Zhou},
title = {A Security Model and Fully Verified Implementation for the {IETF}
{QUIC} Record Layer},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {1162--1178},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00039},
doi = {10.1109/SP40001.2021.00039},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/Delignat-Lavaud21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/GoyalMPS21,
author = {Vipul Goyal and
Elisaweta Masserova and
Bryan Parno and
Yifan Song},
editor = {Kobbi Nissim and
Brent Waters},
title = {Blockchains Enable Non-interactive {MPC}},
booktitle = {Theory of Cryptography - 19th International Conference, {TCC} 2021,
Raleigh, NC, USA, November 8-11, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13043},
pages = {162--193},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90453-1\_6},
doi = {10.1007/978-3-030-90453-1\_6},
timestamp = {Mon, 08 Nov 2021 11:43:29 +0100},
biburl = {https://dblp.org/rec/conf/tcc/GoyalMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-11445,
author = {Klas Leino and
Aymeric Fromherz and
Ravi Mangal and
Matt Fredrikson and
Bryan Parno and
Corina S. Pasareanu},
title = {Self-Repairing Neural Networks: Provable Safety for Deep Networks
via Dynamic Repair},
journal = {CoRR},
volume = {abs/2107.11445},
year = {2021},
url = {https://arxiv.org/abs/2107.11445},
eprinttype = {arXiv},
eprint = {2107.11445},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-11445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GoyalMPS21,
author = {Vipul Goyal and
Elisaweta Masserova and
Bryan Parno and
Yifan Song},
title = {Blockchains Enable Non-Interactive {MPC}},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1233},
year = {2021},
url = {https://eprint.iacr.org/2021/1233},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GoyalMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TziallaKPS21,
author = {Ioanna Tzialla and
Abhiram Kothapalli and
Bryan Parno and
Srinath T. V. Setty},
title = {Transparency Dictionaries with Succinct Proofs of Correct Operation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1263},
year = {2021},
url = {https://eprint.iacr.org/2021/1263},
timestamp = {Mon, 05 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/TziallaKPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/0001SMZGAKP20,
author = {Raymond Cheng and
William Scott and
Elisaweta Masserova and
Irene Zhang and
Vipul Goyal and
Thomas E. Anderson and
Arvind Krishnamurthy and
Bryan Parno},
title = {Talek: Private Group Messaging with Hidden Access Patterns},
booktitle = {{ACSAC} '20: Annual Computer Security Applications Conference, Virtual
Event / Austin, TX, USA, 7-11 December, 2020},
pages = {84--99},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427228.3427231},
doi = {10.1145/3427228.3427231},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsac/0001SMZGAKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/MatsumotoBDOP20,
author = {Stephanos Matsumoto and
Jay Bosamiya and
Yucheng Dai and
Paul C. van Oorschot and
Bryan Parno},
title = {{CAPS:} Smoothly Transitioning to a More Resilient Web {PKI}},
booktitle = {{ACSAC} '20: Annual Computer Security Applications Conference, Virtual
Event / Austin, TX, USA, 7-11 December, 2020},
pages = {655--668},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427228.3427284},
doi = {10.1145/3427228.3427284},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/MatsumotoBDOP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/HanceLHHJP20,
author = {Travis Hance and
Andrea Lattuada and
Chris Hawblitzel and
Jon Howell and
Rob Johnson and
Bryan Parno},
title = {Storage Systems are Distributed Systems (So Verify Them That Way!)},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2020, Virtual Event, November 4-6, 2020},
pages = {99--115},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/osdi20/presentation/hance},
timestamp = {Tue, 02 Feb 2021 08:05:52 +0100},
biburl = {https://dblp.org/rec/conf/osdi/HanceLHHJP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LorchCKPQSWZ20,
author = {Jacob R. Lorch and
Yixuan Chen and
Manos Kapritsos and
Bryan Parno and
Shaz Qadeer and
Upamanyu Sharma and
James R. Wilcox and
Xueyuan Zhao},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Armada: low-effort verification of high-performance concurrent programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {197--210},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385971},
doi = {10.1145/3385412.3385971},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LorchCKPQSWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ProtzenkoPFHPBB20,
author = {Jonathan Protzenko and
Bryan Parno and
Aymeric Fromherz and
Chris Hawblitzel and
Marina Polubelova and
Karthikeyan Bhargavan and
Benjamin Beurdouche and
Joonwon Choi and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Natalia Kulatova and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph M. Wintersteiger and
Santiago Zanella B{\'{e}}guelin},
title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {983--1002},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00114},
doi = {10.1109/SP40000.2020.00114},
timestamp = {Thu, 21 Sep 2023 15:57:24 +0200},
biburl = {https://dblp.org/rec/conf/sp/ProtzenkoPFHPBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BosamiyaGLPH20,
author = {Jay Bosamiya and
Sydney Gibson and
Yao Li and
Bryan Parno and
Chris Hawblitzel},
editor = {Maria Christakis and
Nadia Polikarpova and
Parasara Sridhar Duggirala and
Peter Schrammel},
title = {Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly
Assembly Language},
booktitle = {Software Verification - 12th International Conference, {VSTTE} 2020,
and 13th International Workshop, {NSV} 2020, Los Angeles, CA, USA,
July 20-21, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12549},
pages = {106--123},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63618-0\_7},
doi = {10.1007/978-3-030-63618-0\_7},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BosamiyaGLPH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-08250,
author = {Raymond Cheng and
William Scott and
Elisaweta Masserova and
Irene Zhang and
Vipul Goyal and
Thomas E. Anderson and
Arvind Krishnamurthy and
Bryan Parno},
title = {Talek: Private Group Messaging with Hidden Access Patterns},
journal = {CoRR},
volume = {abs/2001.08250},
year = {2020},
url = {https://arxiv.org/abs/2001.08250},
eprinttype = {arXiv},
eprint = {2001.08250},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-08250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04742,
author = {Aymeric Fromherz and
Klas Leino and
Matt Fredrikson and
Bryan Parno and
Corina S. Pasareanu},
title = {Fast Geometric Projections for Local Robustness Certification},
journal = {CoRR},
volume = {abs/2002.04742},
year = {2020},
url = {https://arxiv.org/abs/2002.04742},
eprinttype = {arXiv},
eprint = {2002.04742},
timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChengSMZGAKP20,
author = {Raymond Cheng and
William Scott and
Elisaweta Masserova and
Irene Zhang and
Vipul Goyal and
Thomas E. Anderson and
Arvind Krishnamurthy and
Bryan Parno},
title = {Talek: Private Group Messaging with Hidden Access Patterns},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {66},
year = {2020},
url = {https://eprint.iacr.org/2020/066},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ChengSMZGAKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Delignat-Lavaud20,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Bryan Parno and
Jonathan Protzenko and
Tahina Ramananandro and
Jay Bosamiya and
Joseph Lallemand and
Itsaka Rakotonirina and
Yi Zhou},
title = {A Security Model and Fully Verified Implementation for the {IETF}
{QUIC} Record Layer},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {114},
year = {2020},
url = {https://eprint.iacr.org/2020/114},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/Delignat-Lavaud20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GoyalKMPS20,
author = {Vipul Goyal and
Abhiram Kothapalli and
Elisaweta Masserova and
Bryan Parno and
Yifan Song},
title = {Storing and Retrieving Secrets on a Blockchain},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {504},
year = {2020},
url = {https://eprint.iacr.org/2020/504},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GoyalKMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/KothapalliMP20,
author = {Abhiram Kothapalli and
Elisaweta Masserova and
Bryan Parno},
title = {A Direct Construction for Asymptotically Optimal zkSNARKs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1318},
year = {2020},
url = {https://eprint.iacr.org/2020/1318},
timestamp = {Fri, 30 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/KothapalliMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FromherzGHPRS19,
author = {Aymeric Fromherz and
Nick Giannarakis and
Chris Hawblitzel and
Bryan Parno and
Aseem Rastogi and
Nikhil Swamy},
title = {A verified, efficient embedding of a verifiable assembly language},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {63:1--63:30},
year = {2019},
url = {https://doi.org/10.1145/3290376},
doi = {10.1145/3290376},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FromherzGHPRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ProtzenkoPFHPBB19,
author = {Jonathan Protzenko and
Bryan Parno and
Aymeric Fromherz and
Chris Hawblitzel and
Marina Polubelova and
Karthikeyan Bhargavan and
Benjamin Beurdouche and
Joonwon Choi and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph M. Wintersteiger and
Santiago Zanella B{\'{e}}guelin},
title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {757},
year = {2019},
url = {https://eprint.iacr.org/2019/757},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ProtzenkoPFHPBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BarbosaBBBCLP19,
author = {Manuel Barbosa and
Gilles Barthe and
Karthikeyan Bhargavan and
Bruno Blanchet and
Cas Cremers and
Kevin Liao and
Bryan Parno},
title = {SoK: Computer-Aided Cryptography},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1393},
year = {2019},
url = {https://eprint.iacr.org/2019/1393},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BarbosaBBBCLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HawblitzelHKLPR17,
author = {Chris Hawblitzel and
Jon Howell and
Manos Kapritsos and
Jacob R. Lorch and
Bryan Parno and
Michael Lowell Roberts and
Srinath T. V. Setty and
Brian Zill},
title = {IronFleet: proving safety and liveness of practical distributed systems},
journal = {Commun. {ACM}},
volume = {60},
number = {7},
pages = {83--92},
year = {2017},
url = {https://doi.org/10.1145/3068608},
doi = {10.1145/3068608},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/HawblitzelHKLPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BhargavanBDFHHI17,
author = {Karthikeyan Bhargavan and
Barry Bond and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Chris Hawblitzel and
Catalin Hritcu and
Samin Ishtiaq and
Markulf Kohlweiss and
K. Rustan M. Leino and
Jay R. Lorch and
Kenji Maillard and
Jianyang Pan and
Bryan Parno and
Jonathan Protzenko and
Tahina Ramananandro and
Ashay Rane and
Aseem Rastogi and
Nikhil Swamy and
Laure Thompson and
Peng Wang and
Santiago Zanella B{\'{e}}guelin and
Jean Karim Zinzindohoue},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Everest: Towards a Verified, Drop-in Replacement of {HTTPS}},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {1:1--1:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.1},
doi = {10.4230/LIPICS.SNAPL.2017.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/BhargavanBDFHHI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/FerraiuoloBHP17,
author = {Andrew Ferraiuolo and
Andrew Baumann and
Chris Hawblitzel and
Bryan Parno},
title = {Komodo: Using verification to disentangle secure-enclave hardware
from software},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {287--305},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132782},
doi = {10.1145/3132747.3132782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/FerraiuoloBHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BondHKLLPRST17,
author = {Barry Bond and
Chris Hawblitzel and
Manos Kapritsos and
K. Rustan M. Leino and
Jacob R. Lorch and
Bryan Parno and
Ashay Rane and
Srinath T. V. Setty and
Laure Thompson},
editor = {Engin Kirda and
Thomas Ristenpart},
title = {Vale: Verifying High-Performance Cryptographic Assembly Code},
booktitle = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
BC, Canada, August 16-18, 2017},
pages = {917--934},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
timestamp = {Mon, 01 Feb 2021 08:42:59 +0100},
biburl = {https://dblp.org/rec/conf/uss/BondHKLLPRST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ParnoHG016,
author = {Bryan Parno and
Jon Howell and
Craig Gentry and
Mariana Raykova},
title = {Pinocchio: nearly practical verifiable computation},
journal = {Commun. {ACM}},
volume = {59},
number = {2},
pages = {103--112},
year = {2016},
url = {https://doi.org/10.1145/2856449},
doi = {10.1145/2856449},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ParnoHG016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/FioreFGKOP16,
author = {Dario Fiore and
C{\'{e}}dric Fournet and
Esha Ghosh and
Markulf Kohlweiss and
Olga Ohrimenko and
Bryan Parno},
editor = {Edgar R. Weippl and
Stefan Katzenbeisser and
Christopher Kruegel and
Andrew C. Myers and
Shai Halevi},
title = {Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced
Data},
booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Vienna, Austria, October 24-28, 2016},
pages = {1304--1316},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976749.2978368},
doi = {10.1145/2976749.2978368},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/FioreFGKOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Delignat-Lavaud16,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Markulf Kohlweiss and
Bryan Parno},
title = {Cinderella: Turning Shabby {X.509} Certificates into Elegant Anonymous
Credentials with the Magic of Verifiable Computation},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2016, San Jose, CA,
USA, May 22-26, 2016},
pages = {235--254},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SP.2016.22},
doi = {10.1109/SP.2016.22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/Delignat-Lavaud16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/FioreFGKOP16,
author = {Dario Fiore and
C{\'{e}}dric Fournet and
Esha Ghosh and
Markulf Kohlweiss and
Olga Ohrimenko and
Bryan Parno},
title = {Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced
Data},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {985},
year = {2016},
url = {http://eprint.iacr.org/2016/985},
timestamp = {Thu, 06 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/FioreFGKOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/GligorPS15,
author = {Virgil D. Gligor and
Bryan Parno and
Ji Sun Shin},
title = {Network Adversary Attacks against Secure Encryption Schemes},
journal = {{IEICE} Trans. Commun.},
volume = {98-B},
number = {2},
pages = {267--279},
year = {2015},
url = {https://doi.org/10.1587/transcom.E98.B.267},
doi = {10.1587/TRANSCOM.E98.B.267},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/GligorPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HawblitzelHKLPR15,
author = {Chris Hawblitzel and
Jon Howell and
Manos Kapritsos and
Jacob R. Lorch and
Bryan Parno and
Michael Lowell Roberts and
Srinath T. V. Setty and
Brian Zill},
editor = {Ethan L. Miller and
Steven Hand},
title = {IronFleet: proving practical distributed systems correct},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles,
{SOSP} 2015, Monterey, CA, USA, October 4-7, 2015},
pages = {1--17},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2815400.2815428},
doi = {10.1145/2815400.2815428},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/HawblitzelHKLPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/CostelloFHKKNPZ15,
author = {Craig Costello and
C{\'{e}}dric Fournet and
Jon Howell and
Markulf Kohlweiss and
Benjamin Kreuter and
Michael Naehrig and
Bryan Parno and
Samee Zahur},
title = {Geppetto: Versatile Verifiable Computation},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {253--270},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.23},
doi = {10.1109/SP.2015.23},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/CostelloFHKKNPZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Parno15,
author = {Bryan Parno},
title = {A Note on the Unsoundness of vnTinyRAM's {SNARK}},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {437},
year = {2015},
url = {http://eprint.iacr.org/2015/437},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/Parno15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0034575,
author = {Bryan Parno},
title = {Trust Extension as a Mechanism for Secure Code Execution on Commodity
Computers (dissertation, updated version)},
series = {{ACM} Books},
volume = {2},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2014},
url = {https://dl.acm.org/doi/book/10.1145/2611399},
doi = {10.1145/2611399},
isbn = {978-1-62705-477-5},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0034575.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/HawblitzelHLNPZZ14,
author = {Chris Hawblitzel and
Jon Howell and
Jacob R. Lorch and
Arjun Narayan and
Bryan Parno and
Danfeng Zhang and
Brian Zill},
editor = {Jason Flinn and
Hank Levy},
title = {Ironclad Apps: End-to-End Security via Automated Full-System Verification},
booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
pages = {165--181},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel},
timestamp = {Tue, 02 Feb 2021 08:05:58 +0100},
biburl = {https://dblp.org/rec/conf/osdi/HawblitzelHLNPZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/MillerJSPK14,
author = {Andrew Miller and
Ari Juels and
Elaine Shi and
Bryan Parno and
Jonathan Katz},
title = {Permacoin: Repurposing Bitcoin Work for Data Preservation},
booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
CA, USA, May 18-21, 2014},
pages = {475--490},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SP.2014.37},
doi = {10.1109/SP.2014.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/MillerJSPK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/HowellEPD14,
author = {Jon Howell and
Jeremy Elson and
Bryan Parno and
John R. Douceur},
editor = {Garth Gibson and
Nickolai Zeldovich},
title = {Missive: Fast Application Launch From an Untrusted Buffer Cache},
booktitle = {2014 {USENIX} Annual Technical Conference, {USENIX} {ATC} '14, Philadelphia,
PA, USA, June 19-20, 2014},
pages = {145--156},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/howell},
timestamp = {Mon, 01 Feb 2021 08:43:38 +0100},
biburl = {https://dblp.org/rec/conf/usenix/HowellEPD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/CostelloFHKKNPZ14,
author = {Craig Costello and
C{\'{e}}dric Fournet and
Jon Howell and
Markulf Kohlweiss and
Benjamin Kreuter and
Michael Naehrig and
Bryan Parno and
Samee Zahur},
title = {Geppetto: Versatile Verifiable Computation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {976},
year = {2014},
url = {http://eprint.iacr.org/2014/976},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/CostelloFHKKNPZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/usenix-login/HowellPD13,
author = {Jon Howell and
Bryan Parno and
John R. Douceur},
title = {The 10-Kilobyte Web Browser},
journal = {login Usenix Mag.},
volume = {38},
number = {6},
year = {2013},
url = {https://www.usenix.org/publications/login/december-2013-volume-38-number-6/10-kilobyte-web-browser},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/usenix-login/HowellPD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/DanezisFKP13,
author = {George Danezis and
C{\'{e}}dric Fournet and
Markulf Kohlweiss and
Bryan Parno},
editor = {Martin Franz and
Andreas Holzer and
Rupak Majumdar and
Bryan Parno and
Helmut Veith},
title = {Pinocchio coin: building zerocoin from a succinct pairing-based proof
system},
booktitle = {PETShop'13, Proceedings of the 2013 {ACM} Workshop on Language Support
for Privacy-Enhancing Technologies, Co-located with {CCS} 2013, November
4, 2013, Berlin, Germany},
pages = {27--30},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517872.2517878},
doi = {10.1145/2517872.2517878},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/DanezisFKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/FranzHMPV13,
author = {Martin Franz and
Andreas Holzer and
Rupak Majumdar and
Bryan Parno and
Helmut Veith},
editor = {Ahmad{-}Reza Sadeghi and
Virgil D. Gligor and
Moti Yung},
title = {The first workshop on language support for privacy-enhancing technologies
(PETShop'13)},
booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
CCS'13, Berlin, Germany, November 4-8, 2013},
pages = {1485--1486},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508859.2509032},
doi = {10.1145/2508859.2509032},
timestamp = {Tue, 10 Nov 2020 19:58:06 +0100},
biburl = {https://dblp.org/rec/conf/ccs/FranzHMPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/JuelsP13,
author = {Ari Juels and
Bryan Parno},
editor = {Ahmad{-}Reza Sadeghi and
Virgil D. Gligor and
Moti Yung},
title = {Fifth {ACM} cloud computing security workshop {(CCSW} 2013)},
booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
CCS'13, Berlin, Germany, November 4-8, 2013},
pages = {1487--1488},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508859.2509033},
doi = {10.1145/2508859.2509033},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/JuelsP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/GennaroGP013,
author = {Rosario Gennaro and
Craig Gentry and
Bryan Parno and
Mariana Raykova},
editor = {Thomas Johansson and
Phong Q. Nguyen},
title = {Quadratic Span Programs and Succinct NIZKs without PCPs},
booktitle = {Advances in Cryptology - {EUROCRYPT} 2013, 32nd Annual International
Conference on the Theory and Applications of Cryptographic Techniques,
Athens, Greece, May 26-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7881},
pages = {626--645},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38348-9\_37},
doi = {10.1007/978-3-642-38348-9\_37},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/GennaroGP013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SettyBVBPW13,
author = {Srinath T. V. Setty and
Benjamin Braun and
Victor Vu and
Andrew J. Blumberg and
Bryan Parno and
Michael Walfish},
editor = {Zdenek Hanz{\'{a}}lek and
Hermann H{\"{a}}rtig and
Miguel Castro and
M. Frans Kaashoek},
title = {Resolving the conflict between generality and plausibility in verified
computation},
booktitle = {Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic,
April 14-17, 2013},
pages = {71--84},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465351.2465359},
doi = {10.1145/2465351.2465359},
timestamp = {Wed, 06 Jul 2022 14:43:33 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/SettyBVBPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fast/LorchPM0S13,
author = {Jacob R. Lorch and
Bryan Parno and
James W. Mickens and
Mariana Raykova and
Joshua Schiffman},
editor = {Keith A. Smith and
Yuanyuan Zhou},
title = {Shroud: ensuring private access to large-scale data in the data center},
booktitle = {Proceedings of the 11th {USENIX} conference on File and Storage Technologies,
{FAST} 2013, San Jose, CA, USA, February 12-15, 2013},
pages = {199--214},
publisher = {{USENIX}},
year = {2013},
url = {https://www.usenix.org/conference/fast13/technical-sessions/presentation/lorch},
timestamp = {Tue, 02 Feb 2021 08:06:28 +0100},
biburl = {https://dblp.org/rec/conf/fast/LorchPM0S13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/HowellPD13,
author = {Jon Howell and
Bryan Parno and
John R. Douceur},
editor = {Nick Feamster and
Jeffrey C. Mogul},
title = {Embassies: Radically Refactoring the Web},
booktitle = {Proceedings of the 10th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2013, Lombard, IL, USA, April 2-5, 2013},
pages = {529--545},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/howell},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/HowellPD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ParnoHG013,
author = {Bryan Parno and
Jon Howell and
Craig Gentry and
Mariana Raykova},
title = {Pinocchio: Nearly Practical Verifiable Computation},
booktitle = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley,
CA, USA, May 19-22, 2013},
pages = {238--252},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SP.2013.47},
doi = {10.1109/SP.2013.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/ParnoHG013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/HowellPD13,
author = {Jon Howell and
Bryan Parno and
John R. Douceur},
editor = {Andrew Birrell and
Emin G{\"{u}}n Sirer},
title = {How to Run {POSIX} Apps in a Minimal Picoprocess},
booktitle = {2013 {USENIX} Annual Technical Conference, San Jose, CA, USA, June
26-28, 2013},
pages = {321--332},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/howell},
timestamp = {Mon, 01 Feb 2021 08:43:29 +0100},
biburl = {https://dblp.org/rec/conf/usenix/HowellPD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2013ccsw,
editor = {Ari Juels and
Bryan Parno},
title = {CCSW'13, Proceedings of the 2013 {ACM} Cloud Computing Security Workshop,
Co-located with {CCS} 2013, Berlin, Germany, November 4, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2517488},
isbn = {978-1-4503-2490-8},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/2013ccsw.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2013petshop,
editor = {Martin Franz and
Andreas Holzer and
Rupak Majumdar and
Bryan Parno and
Helmut Veith},
title = {PETShop'13, Proceedings of the 2013 {ACM} Workshop on Language Support
for Privacy-Enhancing Technologies, Co-located with {CCS} 2013, November
4, 2013, Berlin, Germany},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2517872},
isbn = {978-1-4503-2489-2},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/2013petshop.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ParnoGH013,
author = {Bryan Parno and
Craig Gentry and
Jon Howell and
Mariana Raykova},
title = {Pinocchio: Nearly Practical Verifiable Computation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {279},
year = {2013},
url = {http://eprint.iacr.org/2013/279},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ParnoGH013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Parno12,
author = {Bryan Parno},
title = {Trust extension for commodity computers},
journal = {Commun. {ACM}},
volume = {55},
number = {6},
pages = {76--85},
year = {2012},
url = {https://doi.org/10.1145/2184319.2184339},
doi = {10.1145/2184319.2184339},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Parno12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/RoesnerKMPWC12,
author = {Franziska Roesner and
Tadayoshi Kohno and
Alexander Moshchuk and
Bryan Parno and
Helen J. Wang and
Crispin Cowan},
title = {User-Driven Access Control: Rethinking Permission Granting in Modern
Operating Systems},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2012, 21-23 May 2012,
San Francisco, California, {USA}},
pages = {224--238},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SP.2012.24},
doi = {10.1109/SP.2012.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/RoesnerKMPWC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcc/ParnoRV12,
author = {Bryan Parno and
Mariana Raykova and
Vinod Vaikuntanathan},
editor = {Ronald Cramer},
title = {How to Delegate and Verify in Public: Verifiable Computation from
Attribute-Based Encryption},
booktitle = {Theory of Cryptography - 9th Theory of Cryptography Conference, {TCC}
2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7194},
pages = {422--439},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28914-9\_24},
doi = {10.1007/978-3-642-28914-9\_24},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/tcc/ParnoRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trust/VasudevanPQGP12,
author = {Amit Vasudevan and
Bryan Parno and
Ning Qu and
Virgil D. Gligor and
Adrian Perrig},
editor = {Stefan Katzenbeisser and
Edgar R. Weippl and
L. Jean Camp and
Melanie Volkamer and
Mike K. Reiter and
Xinwen Zhang},
title = {Lockdown: Towards a Safe and Practical Architecture for Security Applications
on Commodity Platforms},
booktitle = {Trust and Trustworthy Computing - 5th International Conference, {TRUST}
2012, Vienna, Austria, June 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7344},
pages = {34--54},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30921-2\_3},
doi = {10.1007/978-3-642-30921-2\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/trust/VasudevanPQGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LorchMPRS12,
author = {Jacob R. Lorch and
James W. Mickens and
Bryan Parno and
Mariana Raykova and
Joshua Schiffman},
title = {Toward Practical Private Access to Data Centers via Parallel {ORAM}},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {133},
year = {2012},
url = {http://eprint.iacr.org/2012/133},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/LorchMPRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GennaroGPR12,
author = {Rosario Gennaro and
Craig Gentry and
Bryan Parno and
Mariana Raykova},
title = {Quadratic Span Programs and Succinct NIZKs without PCPs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {215},
year = {2012},
url = {http://eprint.iacr.org/2012/215},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GennaroGPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/SettyBVBPW12,
author = {Srinath T. V. Setty and
Benjamin Braun and
Victor Vu and
Andrew J. Blumberg and
Bryan Parno and
Michael Walfish},
title = {Resolving the conflict between generality and plausibility in verified
computation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {622},
year = {2012},
url = {http://eprint.iacr.org/2012/622},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/SettyBVBPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sbcs/ParnoMP11,
author = {Bryan Parno and
Jonathan M. McCune and
Adrian Perrig},
title = {Bootstrapping Trust in Modern Computers},
series = {Springer Briefs in Computer Science},
volume = {10},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-1-4614-1460-5},
doi = {10.1007/978-1-4614-1460-5},
isbn = {978-1-4614-1459-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sbcs/ParnoMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/DouceurHPWX11,
author = {John R. Douceur and
Jon Howell and
Bryan Parno and
Michael Walfish and
Xi Xiong},
editor = {Hari Balakrishnan and
Dina Katabi and
Aditya Akella and
Ion Stoica},
title = {The web interface should be radically refactored},
booktitle = {Tenth {ACM} Workshop on Hot Topics in Networks (HotNets-X), {HOTNETS}
'11, Cambridge, MA, {USA} - November 14 - 15, 2011},
pages = {10},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2070562.2070572},
doi = {10.1145/2070562.2070572},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/DouceurHPWX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ParnoLDMM11,
author = {Bryan Parno and
Jacob R. Lorch and
John R. Douceur and
James W. Mickens and
Jonathan M. McCune},
title = {Memoir: Practical State Continuity for Protected Modules},
booktitle = {32nd {IEEE} Symposium on Security and Privacy, {SP} 2011, 22-25 May
2011, Berkeley, California, {USA}},
pages = {379--394},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SP.2011.38},
doi = {10.1109/SP.2011.38},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/ParnoLDMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ParnoRV11,
author = {Bryan Parno and
Mariana Raykova and
Vinod Vaikuntanathan},
title = {How to Delegate and Verify in Public: Verifiable Computation from
Attribute-based Encryption},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {597},
year = {2011},
url = {http://eprint.iacr.org/2011/597},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ParnoRV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Parno18,
author = {Bryan Parno},
title = {Trust Extension as a Mechanism for Secure Code Execution on Commodity
Computers},
school = {Carnegie Mellon University, {USA}},
year = {2010},
url = {https://doi.org/10.1184/r1/6724064.v1},
doi = {10.1184/R1/6724064.V1},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Parno18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/GennaroGP10,
author = {Rosario Gennaro and
Craig Gentry and
Bryan Parno},
editor = {Tal Rabin},
title = {Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted
Workers},
booktitle = {Advances in Cryptology - {CRYPTO} 2010, 30th Annual Cryptology Conference,
Santa Barbara, CA, USA, August 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6223},
pages = {465--482},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14623-7\_25},
doi = {10.1007/978-3-642-14623-7\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/crypto/GennaroGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ParnoMP10,
author = {Bryan Parno and
Jonathan M. McCune and
Adrian Perrig},
title = {Bootstrapping Trust in Commodity Computers},
booktitle = {31st {IEEE} Symposium on Security and Privacy, {SP} 2010, 16-19 May
2010, Berleley/Oakland, California, {USA}},
pages = {414--429},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SP.2010.32},
doi = {10.1109/SP.2010.32},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/ParnoMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ParnoMWAP09,
author = {Bryan Parno and
Jonathan M. McCune and
Dan Wendlandt and
David G. Andersen and
Adrian Perrig},
title = {{CLAMP:} Practical Prevention of Large-Scale Data Leaks},
booktitle = {30th {IEEE} Symposium on Security and Privacy {(SP} 2009), 17-20 May
2009, Oakland, California, {USA}},
pages = {154--169},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SP.2009.21},
doi = {10.1109/SP.2009.21},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/ParnoMWAP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GennaroGP09,
author = {Rosario Gennaro and
Craig Gentry and
Bryan Parno},
title = {Non-Interactive Verifiable Computing: Outsourcing Computation to Untrusted
Workers},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {547},
year = {2009},
url = {http://eprint.iacr.org/2009/547},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GennaroGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/McCunePPRS08,
author = {Jonathan M. McCune and
Bryan Parno and
Adrian Perrig and
Michael K. Reiter and
Arvind Seshadri},
editor = {Susan J. Eggers and
James R. Larus},
title = {How low can you go?: recommendations for hardware-supported minimal
{TCB} code execution},
booktitle = {Proceedings of the 13th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2008, Seattle, WA, USA, March 1-5, 2008},
pages = {14--25},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1346281.1346285},
doi = {10.1145/1346281.1346285},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/McCunePPRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ParnoPA08,
author = {Bryan Parno and
Adrian Perrig and
Dave G. Andersen},
editor = {Masayuki Abe and
Virgil D. Gligor},
title = {{SNAPP:} stateless network-authenticated path pinning},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2008, Tokyo, Japan, March 18-20,
2008},
pages = {168--178},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368310.1368336},
doi = {10.1145/1368310.1368336},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ParnoPA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/McCunePPRI08,
author = {Jonathan M. McCune and
Bryan Parno and
Adrian Perrig and
Michael K. Reiter and
Hiroshi Isozaki},
editor = {Joseph S. Sventek and
Steven Hand},
title = {Flicker: an execution infrastructure for tcb minimization},
booktitle = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK,
April 1-4, 2008},
pages = {315--328},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1352592.1352625},
doi = {10.1145/1352592.1352625},
timestamp = {Tue, 20 Dec 2022 17:33:10 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/McCunePPRI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/AcquistiCPP08,
author = {Alessandro Acquisti and
Nicolas Christin and
Bryan Parno and
Adrian Perrig},
editor = {Gene Tsudik},
title = {Countermeasures against Government-Scale Monetary Forgery},
booktitle = {Financial Cryptography and Data Security, 12th International Conference,
{FC} 2008, Cozumel, Mexico, January 28-31, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5143},
pages = {262--266},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85230-8\_23},
doi = {10.1007/978-3-540-85230-8\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/AcquistiCPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/JuelsPP08,
author = {Ari Juels and
Ravikanth Pappu and
Bryan Parno},
editor = {Paul C. van Oorschot},
title = {Unidirectional Key Distribution Across Time and Space with Applications
to {RFID} Security},
booktitle = {Proceedings of the 17th {USENIX} Security Symposium, July 28-August
1, 2008, San Jose, CA, {USA}},
pages = {75--90},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/sec08/tech/full\_papers/juels/juels.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/JuelsPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/Parno08,
author = {Bryan Parno},
editor = {Niels Provos},
title = {Bootstrapping Trust in a "Trusted" Platform},
booktitle = {3rd {USENIX} Workshop on Hot Topics in Security, HotSec'08, San Jose,
CA, USA, July 29, 2008, Proceedings},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotsec08/tech/full\_papers/parno/parno.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/Parno08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/JuelsPP08,
author = {Ari Juels and
Ravikanth Pappu and
Bryan Parno},
title = {Unidirectional Key Distribution Across Time and Space with Applications
to {RFID} Security},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {44},
year = {2008},
url = {http://eprint.iacr.org/2008/044},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/JuelsPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ParnoWSPMH07,
author = {Bryan Parno and
Dan Wendlandt and
Elaine Shi and
Adrian Perrig and
Bruce M. Maggs and
Yih{-}Chun Hu},
editor = {Jun Murai and
Kenjiro Cho},
title = {Portcullis: protecting connection setup from denial-of-capability
attacks},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2007 Conference on Applications,
Technologies, Architectures, and Protocols for Computer Communications,
Kyoto, Japan, August 27-31, 2007},
pages = {289--300},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1282380.1282413},
doi = {10.1145/1282380.1282413},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/ParnoWSPMH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/McCunePPRS07,
author = {Jonathan M. McCune and
Bryan Parno and
Adrian Perrig and
Michael K. Reiter and
Arvind Seshadri},
title = {Minimal {TCB} Code Execution},
booktitle = {2007 {IEEE} Symposium on Security and Privacy (S{\&}P 2007), 20-23
May 2007, Oakland, California, {USA}},
pages = {267--272},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SP.2007.27},
doi = {10.1109/SP.2007.27},
timestamp = {Thu, 21 Sep 2023 15:57:31 +0200},
biburl = {https://dblp.org/rec/conf/sp/McCunePPRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/ParnoLGP06,
author = {Bryan Parno and
Mark Luk and
Evan Gaustad and
Adrian Perrig},
editor = {Christophe Diot and
Mostafa H. Ammar},
title = {Secure sensor network routing: a clean-slate approach},
booktitle = {Proceedings of the 2006 {ACM} Conference on Emerging Network Experiment
and Technology, CoNEXT 2006, Lisboa, Portugal, December 4-7, 2006},
pages = {11},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1368436.1368452},
doi = {10.1145/1368436.1368452},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conext/ParnoLGP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/ParnoKP06,
author = {Bryan Parno and
Cynthia Kuo and
Adrian Perrig},
editor = {Giovanni Di Crescenzo and
Aviel D. Rubin},
title = {Phoolproof Phishing Prevention},
booktitle = {Financial Cryptography and Data Security, 10th International Conference,
{FC} 2006, Anguilla, British West Indies, February 27-March 2, 2006,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4107},
pages = {1--19},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889663\_1},
doi = {10.1007/11889663\_1},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/ParnoKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ParnoPG05,
author = {Bryan Parno and
Adrian Perrig and
Virgil D. Gligor},
title = {Distributed Detection of Node Replication Attacks in Sensor Networks},
booktitle = {2005 {IEEE} Symposium on Security and Privacy (S{\&}P 2005), 8-11
May 2005, Oakland, CA, {USA}},
pages = {49--63},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SP.2005.8},
doi = {10.1109/SP.2005.8},
timestamp = {Thu, 21 Sep 2023 15:57:31 +0200},
biburl = {https://dblp.org/rec/conf/sp/ParnoPG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/ParnoR04,
author = {Bryan Parno and
Mema Roussopoulos},
title = {Defending a {P2P} Digital Preservation System},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {1},
number = {4},
pages = {209--222},
year = {2004},
url = {https://doi.org/10.1109/TDSC.2004.39},
doi = {10.1109/TDSC.2004.39},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/ParnoR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lisa/ElprinP03,
author = {Nick Elprin and
Bryan Parno},
editor = {{\AE}leen Frisch},
title = {An Analysis of Database-Driven Mail Servers},
booktitle = {Proceedings of the 17th Conference on Systems Administration {(LISA}
2003), San Diego, California, USA, October 26-31, 2003},
pages = {15--22},
publisher = {{USENIX}},
year = {2003},
url = {http://www.usenix.org/publications/library/proceedings/lisa03/tech/elprin.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lisa/ElprinP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-01-13 23:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
