Články se zplnomocněním k veřejnému přístupu - Bryan ParnoDalší informace
Dostupné někde: 35
Komodo: Using verification to disentangle secure-enclave hardware from software
A Ferraiuolo, A Baumann, C Hawblitzel, B Parno
Proceedings of the 26th Symposium on Operating Systems Principles, 287-305, 2017
Zplnomocnění: US National Science Foundation
SoK: Computer-aided cryptography
M Barbosa, G Barthe, K Bhargavan, B Blanchet, C Cremers, K Liao, ...
2021 IEEE symposium on security and privacy (SP), 777-795, 2021
Zplnomocnění: US National Science Foundation, US Department of Defense, Fundação para a …
Evercrypt: A fast, verified, cross-platform cryptographic provider
J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ...
2020 IEEE Symposium on Security and Privacy (SP), 983-1002, 2020
Zplnomocnění: US Department of Defense, European Commission
Hash first, argue later: Adaptive verifiable computations on outsourced data
D Fiore, C Fournet, E Ghosh, M Kohlweiss, O Ohrimenko, B Parno
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
Zplnomocnění: US National Science Foundation, European Commission, Government of Spain
Storing and retrieving secrets on a blockchain
V Goyal, A Kothapalli, E Masserova, B Parno, Y Song
IACR International Conference on Public-Key Cryptography, 252-282, 2022
Zplnomocnění: US National Science Foundation, US Department of Energy, US Department of …
A verified, efficient embedding of a verifiable assembly language
A Fromherz, N Giannarakis, C Hawblitzel, B Parno, A Rastogi, N Swamy
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
Zplnomocnění: US Department of Defense
{SketchLib}: Enabling efficient sketch-based monitoring on programmable switches
H Namkung, Z Liu, D Kim, V Sekar, P Steenkiste
19th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2022
Zplnomocnění: US National Science Foundation, US Department of Defense
Finding invariants of distributed systems: It's a small (enough) world after all
T Hance, M Heule, R Martins, B Parno
18th USENIX symposium on networked systems design and implementation (NSDI …, 2021
Zplnomocnění: US National Science Foundation
Storage Systems are Distributed Systems (So Verify Them That {Way!})
T Hance, A Lattuada, C Hawblitzel, J Howell, R Johnson, B Parno
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020
Zplnomocnění: US National Science Foundation
Armada: low-effort verification of high-performance concurrent programs
JR Lorch, Y Chen, M Kapritsos, B Parno, S Qadeer, U Sharma, JR Wilcox, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
Zplnomocnění: US National Science Foundation
{Provably-Safe} multilingual software sandboxing using {WebAssembly}
J Bosamiya, WS Lim, B Parno
31st USENIX Security Symposium (USENIX Security 22), 1975-1992, 2022
Zplnomocnění: US Department of Defense
Talek: Private group messaging with hidden access patterns
R Cheng, W Scott, E Masserova, I Zhang, V Goyal, T Anderson, ...
Proceedings of the 36th Annual Computer Security Applications Conference, 84-99, 2020
Zplnomocnění: US Department of Defense
A security model and fully verified implementation for the IETF QUIC record layer
A Delignat-Lavaud, C Fournet, B Parno, J Protzenko, T Ramananandro, ...
2021 IEEE Symposium on Security and Privacy (SP), 1162-1178, 2021
Zplnomocnění: US National Science Foundation, US Department of Defense
Mswasm: Soundly enforcing memory-safe execution of unsafe code
AE Michael, A Gollamudi, J Bosamiya, E Johnson, A Denlinger, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 425-454, 2023
Zplnomocnění: US National Science Foundation, US Department of Defense, Federal Ministry …
Linear types for large-scale systems verification
J Li, A Lattuada, Y Zhou, J Cameron, J Howell, B Parno, C Hawblitzel
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022
Zplnomocnění: US National Science Foundation
Algebraic reductions of knowledge
A Kothapalli, B Parno
Annual International Cryptology Conference, 669-701, 2023
Zplnomocnění: US National Science Foundation, US Department of Defense
Don't Yank My Chain: Auditable {NF} Service Chaining
G Liu, H Sadok, A Kohlbrenner, B Parno, V Sekar, J Sherry
18th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2021
Zplnomocnění: US National Science Foundation, US Department of Defense
Sharding the state machine: Automated modular reasoning for complex concurrent systems
T Hance, Y Zhou, A Lattuada, R Achermann, A Conway, R Stutsman, ...
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023
Zplnomocnění: Natural Sciences and Engineering Research Council of Canada
Owl: Compositional verification of security protocols via an information-flow type system
J Gancher, S Gibson, P Singh, S Dharanikota, B Parno
2023 IEEE Symposium on Security and Privacy (SP), 1130-1147, 2023
Zplnomocnění: US National Science Foundation
Raregan: Generating samples for rare classes
Z Lin, H Liang, G Fanti, V Sekar
Proceedings of the AAAI Conference on Artificial Intelligence 36 (7), 7506-7515, 2022
Zplnomocnění: US National Science Foundation, US Department of Defense
Informace o publikování a financování jsou automaticky vybírány počítačovým programem