SecWasm: Information Flow Control for WebAssembly
Paper i proceeding, 2022
We introduce SecWasm, the first general purpose information-flow control system for WebAssembly (Wasm), thus extending the safety guarantees offered by Wasm with guarantees that applications manipulate sensitive data in a secure way. SecWasm is a hybrid system enforcing termination-insensitive noninterference which overcomes the challenges posed by the uncommon characteristics for machine languages of Wasm in an elegant and thorough way.
Författare
Iulia Bastys
Chalmers, Data- och informationsteknik, Informationssäkerhet
Maximilian Algehed
Chalmers, Data- och informationsteknik, Funktionell programmering
Alexander Sjösten
Technische Universität Wien
Andrei Sabelfeld
Chalmers, Data- och informationsteknik, Informationssäkerhet
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 13790 LNCS 74-1039783031223075 (ISBN)
29th International Static Analysis Symposium, SAS 2022
Auckland, New Zealand,
Auckland, New Zealand,
Ämneskategorier
Inbäddad systemteknik
Datorsystem
Annan elektroteknik och elektronik
DOI
10.1007/978-3-031-22308-2_5