Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Jay Bosamiya"'
Autor:
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:425-454
Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled to Wasm—and attackers can exploit buffer overflows and use-after-frees in Wasm almos
Autor:
Jonathan Protzenko, Itsaka Rakotonirina, Jay Bosamiya, Yi Zhou, Joseph Lallemand, Antoine Delignat-Lavaud, Bryan Parno, Tahina Ramananandro, Cédric Fournet
Publikováno v:
IEEE Symposium on Security and Privacy
Drawing on earlier protocol-verification work, we investigate the security of the QUIC record layer, as standardized by the IETF in draft version 30. This version features major differences compared to Google’s original protocol and early IETF draf
Publikováno v:
ACSAC
Many recent proposals to increase the resilience of the Web PKI against misbehaving CAs face significant obstacles to deployment. These hurdles include (1) the requirement of drastic changes to the existing PKI players and their interactions, (2) the
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030636173
VSTTE
VSTTE
Hand-optimized assembly language code is often difficult to formally verify. This paper combines Hoare logic with verified code transformations to make it easier to verify such code. This approach greatly simplifies existing proofs of highly optimize
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b128202ca9ac2d1537c35bf9899a6202
https://doi.org/10.1007/978-3-030-63618-0_7
https://doi.org/10.1007/978-3-030-63618-0_7