Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Sam Lasser"'
Publikováno v:
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::126c75c28fd6a6ea54f2bee6f12ea042
https://doi.org/10.1145/3497775.3503694
https://doi.org/10.1145/3497775.3503694
Publikováno v:
PLDI
Parsers are security-critical components of many software systems, and verified parsing therefore has a key role to play in secure software design. However, existing verified parsers for context-free grammars are limited in their expressiveness, term
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f81d51c5529973b34f6cf2a0e1eeab7e
https://doi.org/10.1145/3453483.3454053
https://doi.org/10.1145/3453483.3454053
Publikováno v:
SP Workshops
Lexers and parsers are often used as front ends to connect input from the outside world with th e internals of a larger software system. These front ends are natural targets for attackers who w ish to compromise the larger system. A formally verified
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9b37ceb70551f08cce641916e38c55d
https://doi.org/10.1109/spw53761.2021.00022
https://doi.org/10.1109/spw53761.2021.00022