![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2023
Anzahl der Publikationen: 1
2023
Murray, Toby 
ORCID: https://orcid.org/0000-0002-8271-0289; Tiwari, Mukesh ORCID: https://orcid.org/0000-0001-5373-9659; Ernst, Gidon ORCID: https://orcid.org/0000-0002-3289-5764 und Naumann, David A. ORCID: https://orcid.org/0000-0002-7634-6150
(2023):
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.
30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS), Copenhagen, Denmark, 26. - 30. November 2023.
Meng, Weizhi und Jensen, Christian D. (Hrsg.):
In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
New York: Association for Computing Machinery. S. 1746-1760
ORCID: https://orcid.org/0000-0002-8271-0289; Tiwari, Mukesh ORCID: https://orcid.org/0000-0001-5373-9659; Ernst, Gidon ORCID: https://orcid.org/0000-0002-3289-5764 und Naumann, David A. ORCID: https://orcid.org/0000-0002-7634-6150
(2023):
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.
30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS), Copenhagen, Denmark, 26. - 30. November 2023.
Meng, Weizhi und Jensen, Christian D. (Hrsg.):
In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
New York: Association for Computing Machinery. S. 1746-1760