A Formal Model for Checking Cryptographic API Usage in JavaScript. / Mitchell, Duncan; Kinder, Johannes.
ESORICS'19: Proceedings of the 24th European Symposium on Research in Computer Security. Vol. 11735 Springer, 2019. p. 341-360.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 497 KB, PDF document
Original language | English |
---|---|
Title of host publication | ESORICS'19 |
Subtitle of host publication | Proceedings of the 24th European Symposium on Research in Computer Security |
Publisher | Springer |
Pages | 341-360 |
Number of pages | 20 |
Volume | 11735 |
ISBN (Electronic) | 978-3-030-29959-0 |
ISBN (Print) | 978-3-030-29958-3 |
DOIs | |
Publication status | E-pub ahead of print - 15 Sep 2019 |
Event | ESORICS'19: 24th European Symposium on Research in Computer Security - Parc Alvisse Hotel, Luxembourg City, Luxembourg Duration: 23 Sep 2019 → 27 Sep 2019 Conference number: 24 https://esorics2019.uni.lu |
Conference | ESORICS'19 |
---|---|
Abbreviated title | ESORICS'19 |
Country | Luxembourg |
City | Luxembourg City |
Period | 23/09/19 → 27/09/19 |
Internet address |
ID: 34218110