![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 2
Konferenzbeitrag
Gobbi, Matías F. 
ORCID: https://orcid.org/0009-0003-8823-0029 und Kinder, Johannes ORCID: https://orcid.org/0000-0002-8594-7839
(2023):
Poster: Using CodeQL to Detect Malware in npm.
CCS '23: ACM SIGSAC Conference on Computer and Communications Security, Copenhagen Denmark, November 26 - 30, 2023.
Meng, Weizhi; Jensen, Christian D.; Cremers, Cas und Kirda, Engin (Hrsg.):
In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
New York, NY, United States: Association for Computing Machinery. S. 3519-3521
ORCID: https://orcid.org/0009-0003-8823-0029 und Kinder, Johannes ORCID: https://orcid.org/0000-0002-8594-7839
(2023):
Poster: Using CodeQL to Detect Malware in npm.
CCS '23: ACM SIGSAC Conference on Computer and Communications Security, Copenhagen Denmark, November 26 - 30, 2023.
Meng, Weizhi; Jensen, Christian D.; Cremers, Cas und Kirda, Engin (Hrsg.):
In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
New York, NY, United States: Association for Computing Machinery. S. 3519-3521
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