E-LIB Suche - Ergebnisse für: Kinder, Johannes

1

Poster: Using CodeQL to Detect Malware in npm:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Gobbi, Matías F. ; Kinder, Johannes - p. 3519-3521 , 2023

Link: https://dl.acm.org/doi/1..

2

Differential Static Analysis for Detecting Malicious Update..:

, In: Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses,

Froh, Fabian Niklas ; Gobbi, Matías Federico ; Kinder, Johannes - p. 41-49 , 2023

Link: https://dl.acm.org/doi/1..

3

Poster: Privacy Risks from Misconfigured Android Content Pr..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Lenk, Christopher ; Kinder, Johannes - p. 3579-3581 , 2023

Link: https://dl.acm.org/doi/1..

4

Are Machine Learning Models for Malware Detection Ready for..:

Cavallaro, Lorenzo ; Kinder, Johannes ; Pendlebury, Feargus.
IEEE Security & Privacy. 21 (2023) 2 - p. 53-56 , 2023

Link: https://doi.org/10.1109/..

5

XFL: Naming Functions in Binaries with Extreme Multi-label ..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),

Patrick-Evans, James ; Dannehl, Moritz ; Kinder, Johannes - p. 2375-2390 , 2023

Link: https://doi.org/10.1109/..

6

Cats vs. Spectre: An Axiomatic Approach to Modeling Specula..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),

Ponce-de-Leon, Hernan ; Kinder, Johannes - p. 235-248 , 2022

Link: https://doi.org/10.1109/..

7

Probabilistic Naming of Functions in Stripped Binaries:

, In: Annual Computer Security Applications Conference,

Patrick-Evans, James ; Cavallaro, Lorenzo ; Kinder, Johannes - p. 373-385 , 2020

Link: https://dl.acm.org/doi/1..

8

On the Application of Formal Techniques for Dependable Conc..:

Saissi, Habib , 2019

Link: https://nbn-resolving.de..

9

Sound regular expression semantics for dynamic symbolic exe..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Loring, Blake ; Mitchell, Duncan ; Kinder, Johannes - p. 425-438 , 2019

Link: https://dl.acm.org/doi/1..

10

A Formal Model for Checking Cryptographic API Usage in Java..:

, In: Lecture Notes in Computer Science; Computer Security – ESORICS 2019,

Mitchell, Duncan ; Kinder, Johannes - p. 341-360 , 2019

Link: https://doi.org/10.1007/..

11

Proceedings of the 18th ACM Workshop on Privacy in the Elec..:

Cavallaro, Lorenzo ; Kinder, Johannes ; Domingo-Ferrer, Josep , 2019

Link: https://dl.acm.org/doi/1..

12

Proceedings of the ACM Workshop on Cyber-Physical Systems S..:

Cavallaro, Lorenzo ; Kinder, Johannes ; Holz, Thorsten , 2019

Link: https://dl.acm.org/doi/1..

13

Proceedings of the 12th ACM Workshop on Artificial Intellig..:

Cavallaro, Lorenzo ; Kinder, Johannes ; Afroz, Sadia... , 2019

Link: https://dl.acm.org/doi/1..

14

Proceedings of the 2019 ACM SIGSAC Conference on Computer a..:

Cavallaro, Lorenzo ; Kinder, Johannes ; Wang, XiaoFeng. , 2019

Link: https://dl.acm.org/doi/1..

15

Proceedings of the 3rd ACM Workshop on Forming an Ecosystem..:

Cavallaro, Lorenzo ; Kinder, Johannes ; Doupé, Adam. , 2019

Link: https://dl.acm.org/doi/1..