<div class="csl-bib-body">
<div class="csl-entry">Bastys, I., Algehed, M., Sjösten, A., & Sabelfeld, A. (2022). SecWasm: Information Flow Control for WebAssembly. In <i>Static Analysis</i> (pp. 74–103). Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-031-22308-2_5</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/150314
-
dc.description.abstract
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.
en
dc.description.sponsorship
Europäischer Forschungsrat (ERC)
-
dc.description.sponsorship
Wirtschaftsagentur Wien
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Information
en
dc.subject
Flow
en
dc.subject
Control
en
dc.subject
Web
en
dc.subject
Assembly
en
dc.title
SecWasm: Information Flow Control for WebAssembly
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
Chalmers University of Technology
-
dc.contributor.affiliation
Chalmers University of Technology
-
dc.contributor.affiliation
Chalmers University of Technology
-
dc.relation.isbn
978-3-031-22308-2
-
dc.relation.doi
10.1007/978-3-031-22308-2
-
dc.relation.issn
0302-9743
-
dc.description.startpage
74
-
dc.description.endpage
103
-
dc.relation.grantno
771527
-
dc.relation.grantno
ViSP
-
dc.rights.holder
The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Static Analysis
-
tuw.container.volume
13790
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer Nature Switzerland AG
-
tuw.relation.publisherplace
Cham, Switzerland
-
tuw.project.title
Foundations and Tools for Client-Side Web Security
-
tuw.project.title
Forschungszentrum für Cybersicherheit und Datenschutz in Wien
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-06 - Forschungsbereich Security and Privacy
-
tuw.publisher.doi
10.1007/978-3-031-22308-2_5
-
dc.description.numberOfPages
30
-
tuw.author.orcid
0000-0002-3052-4185
-
tuw.author.orcid
0000-0002-1666-9994
-
tuw.event.name
29th International Symposium on Static Analysis (SAS 2022)
en
dc.description.sponsorshipexternal
Program (WASP) funded by the Knut and Alice Wallenberg Foundation