Journal article
Securify
-
Tsankov, Petar
ETH Zurich, Zurich, Switzerland
-
Dan, Andrei
ETH Zurich, Zurich, Switzerland
-
Drachsler-Cohen, Dana
ETH Zurich, Zurich, Switzerland
-
Gervais, Arthur
Imperial College London, London, United Kingdom
-
Bünzli, Florian
ETH Zurich, Zurich, Switzerland
-
Vechev, Martin
ETH Zurich, Zurich, Switzerland
Show more…
Published in:
- Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. - ACM. - 2018
-
Language
-
-
Open access status
-
closed
-
Identifiers
-
-
Persistent URL
-
https://folia.unifr.ch/global/documents/213434
Statistics
Document views: 25
File downloads: