Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Marco Vassena"'
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
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-31
We show that fine-grained and coarse-grained dynamic information-flow control (IFC) systems are equally expressive. To this end, we mechanize two mostly standard languages, one with a fine-grained dynamic IFC system and the other with a coarse-graine
Autor:
Marco Vassena
Publikováno v:
Proceedings of the 15th Workshop on Programming Languages and Analysis for Security.
Publikováno v:
Proceedings of the 15th Workshop on Programming Languages and Analysis for Security.
Verification techniques have been applied to the design of secure protocols for decades. However, relatively few efforts have been made to ensure that verified designs are also implemented securely. Static code verification techniques offer one way t
Autor:
Alley Stoughton, Marco Vassena
Publikováno v:
CCS
The 15th ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2020) is co-located with the 27th ACM Conference on Computer and Communications Security (ACM CCS 2020). Over its now more than ten-year history, PLAS has provided
Dynamic information-flow control (IFC) is a principled approach to protecting the confidentiality and integrity of data in software systems. This tutorial provides a complete and homogeneous account of the latest advances in fine- and coarse-grained
Publikováno v:
CSF
Language-based information-flow control (IFC) techniques often rely on special purpose, ad-hoc primitives to address different covert channels that originate in the runtime system, beyond the scope of language constructs. Since these piecemeal soluti
Autor:
Sunjay Cauligi, Marco Vassena, Ranjit Jhala, Dean M. Tullsen, Deian Stefan, Craig Disselkoen, Rami Gökhan Kıcı, Klaus von Gleissenthall
Publikováno v:
Vassena, M, Disselkoen, C, von Gleissenthall, K, Cauligi, S, Klcl, R G, Jhala, R, Tullsen, D & Stefan, D 2021, ' Automatically eliminating speculative leaks from cryptographic code with blade ', Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 49, pp. 1-30 . https://doi.org/10.1145/3434330
Proceedings of the ACM on Programming Languages, 5(POPL):49, 1-30. Association for Computing Machinery (ACM)
Proceedings of the ACM on Programming Languages, 5(POPL):49, 1-30. Association for Computing Machinery (ACM)
We introduce Blade, a new approach to automatically and efficiently eliminate speculative leaks from cryptographic code. Blade is built on the insight that to stop leaks via speculative execution, it suffices to cut the dataflow from expressions that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::603a7cd743d1a11259db2d4e6c7c1be1
http://arxiv.org/abs/2005.00294
http://arxiv.org/abs/2005.00294
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030171377
POST
POST
We present the foundations for a new dynamic information flow control (IFC) parallel runtime system, LIO\(_{\mathrm {PAR}}\). To our knowledge, LIO\(_{\mathrm {PAR}}\) is the first dynamic language-level IFC system to (1) support deterministic parall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5cec7f5c2925e3bab7d8f0e07864ee42
https://doi.org/10.1007/978-3-030-17138-4_1
https://doi.org/10.1007/978-3-030-17138-4_1
Publikováno v:
CSF
Many state-of-the-art information-flow control (IFC) tools are implemented as Haskell libraries. A distinctive feature of this language is lazy evaluation. In his influencal paper on why functional programming matters, John Hughes proclaims:,,Lazy ev