Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation., , , und . ASE, Seite 899-911. IEEE, (2019)ReluDiff: differential verification of deep neural networks., , und . ICSE, Seite 714-726. ACM, (2020)VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning., , , , und . CoRR, (2024)Towards Translating Real-World Code with LLMs: A Study of Translating to Rust., , , , , , , und . CoRR, (2024)Defending Web Servers Against Flash Crowd Attacks., , , , , und . ACNS (2), Volume 12727 von Lecture Notes in Computer Science, Seite 338-361. Springer, (2021)Defending Web Servers Against Flash Crowd Attacks., , , , , und . ICNP, Seite 1-2. IEEE, (2019)NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation., , , und . ASE, Seite 784-796. IEEE, (2020)CANAL: a cache timing analysis framework via LLVM transformation., , und . ASE, Seite 904-907. ACM, (2018)DiffRNN: Differential Verification of Recurrent Neural Networks., , , und . FORMATS, Volume 12860 von Lecture Notes in Computer Science, Seite 117-134. Springer, (2021)LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions., und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 357-376. Springer, (2022)