Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Georges, Aïna Linn"'
Autor:
Thibault, Jérémy, Blanco, Roberto, Lee, Dongjae, Argo, Sven, de Amorim, Arthur Azevedo, Georges, Aïna Linn, Hritcu, Catalin, Tolmach, Andrew
Undefined behavior in C often causes devastating security vulnerabilities. One practical mitigation is compartmentalization, which allows developers to structure large programs into mutually distrustful compartments with clearly specified privileges
Externí odkaz:
http://arxiv.org/abs/2401.16277
Autor:
Georges, Aïna Linn1 algeorges@mpi-sws.org, Guéneau, Armaël2 armael.gueneau@inria.fr, Van Strydonck, Thomas3 thomas.vanstrydonck@cs.kuleuven.be, Timany, Amin4 timany@cs.au.dk, Trieu, Alix5 alix.trieu@ssi.gouv.fr, Devriese, Dominique3 dominique.devriese@kuleuven.be, Birkedal, Lars4 birkedal@cs.au.dk
Publikováno v:
Journal of the ACM. Feb2024, Vol. 71 Issue 1, p1-59. 59p.
Autor:
Georges, Aïna Linn
Publikováno v:
Georges, A L 2023, Designing and Proving Robust Safety of Efficient Capability Machine Programs .
Memory safety vulnerabilities have plagued the computer security field for decades. High level languages such as Rust enforce memory safety through type systems and abstract representations of memory pointers. Unfortunately, these languages are compi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::247f1edfe37f58bd8359cd904351ddd1
https://pure.au.dk/portal/da/publications/designing-and-proving-robust-safety-of-efficient-capability-machine-programs(b26eff7e-b43d-4013-b365-ab7555821c5e).html
https://pure.au.dk/portal/da/publications/designing-and-proving-robust-safety-of-efficient-capability-machine-programs(b26eff7e-b43d-4013-b365-ab7555821c5e).html
Autor:
Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Devriese, Dominique, Birkedal, Lars
A capability machine is a type of CPU allowing fine-grained privilege separation using capabilities, machine words that represent certain kinds of authority. We present a mathematical model and accompanying proof methods that can be used for formal v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::1cff7364922398b7cb44bb4b949e8da2
https://hal.science/hal-03826854/document
https://hal.science/hal-03826854/document