Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Security and privacy → Formal methods and theory of security"'
Autor:
Gaboardi, Marco, van Raamsdonk, Femke
LIPIcs, Volume 260, FSCD 2023, Complete Volume
LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), pages 1-658
LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), pages 1-658
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::603f7fe1e8cc5998c955dbe46fbe587a
https://drops.dagstuhl.de/opus/volltexte/2023/17983/
https://drops.dagstuhl.de/opus/volltexte/2023/17983/
We introduce a new symbolic reflection API for implementing tool-independent summaries for the symbolic execution of C programs. We formalise the proposed API as a symbolic semantics and extend two state-of-the-art symbolic execution tools with suppo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e08b78c28e260cd81df2ab8a3a71a8a
The artifact contains the extended versions of the tools angr and AVD with support for the symbolic reflection API proposed in the paper. Additionally, the artifact contains the source code of SumBoundVerify, our novel tool for the bounded-verificati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3397d6fb657a7750f7acc4f4d877f38c
Autor:
Gaboardi, Marco, van Raamsdonk, Femke
Front Matter, Table of Contents, Preface, Conference Organization
LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), pages 0:i-0:xviii
LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), pages 0:i-0:xviii
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66e61de0bd7a314830af6d0477319d2a
Autor:
Sterling, Jonathan, Harper, Robert
Publikováno v:
Sterling, J & Harper, R 2022, Sheaf Semantics of Termination-Insensitive Noninterference . in A P Felty (ed.), 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022 ., 5, Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Leibniz International Proceedings in Informatics, LIPIcs, vol. 228, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, Israel, 02/08/2022 . https://doi.org/10.4230/LIPIcs.FSCD.2022.5
We propose a new sheaf semantics for secure information flow over a space of abstract behaviors, based on synthetic domain theory: security classes are open/closed partitions, types are sheaves, and redaction of sensitive information corresponds to r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::119de6864d3b1398c5f4881c4fc43503
WebAssembly (Wasm) is a new binary instruction format that allows targeted compiled code written in high-level languages to be executed by the browser’s JavaScript engine with near-native speed. Despite its clear performance advantages, Wasm opens
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99be369b65023685e0ff1f463f702bcd
Autor:
Celis, L. Elisa
Front Matter, Table of Contents, Preface, Conference Organization
LIPIcs, Vol. 218, 3rd Symposium on Foundations of Responsible Computing (FORC 2022), pages 0:i-0:x
LIPIcs, Vol. 218, 3rd Symposium on Foundations of Responsible Computing (FORC 2022), pages 0:i-0:x
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3d252c54787a86f87dfc3942b6690dc
This artifact contains the implementation of WASP, a symbolic execution engine for Wasm, and WASP-C, a symbolic execution framework for testing C programs built using WASP . WASP works directly on Wasm code and was built on top of a standard-complian
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9b9fab212293fb40a4402b3a40fb2a4
Autor:
Dargaye, Zaynah, Schneidewind, Clara
Front Matter, Table of Contents, Preface, Conference Organization
OASIcs, Vol. 105, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022), pages 0:i-0:xii
OASIcs, Vol. 105, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022), pages 0:i-0:xii
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5faf7f4bfafa33682025f5d82fbf9e10
Autor:
Felty, Amy P.
LIPIcs, Volume 228, FSCD 2022, Complete Volume
LIPIcs, Vol. 228, 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), pages 1-652
LIPIcs, Vol. 228, 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), pages 1-652
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69dc4e51778c4fbb025215e8cbf56cb3