Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(22333)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(3727)
Fakultät für Elektrotechnik und Informationstechnik
(2103)
Fakultät für Humanwissenschaften
(2338)
Fakultät für Informatik
(3417)
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
(319)
INF 2 - Institut für Softwaretechnologie
(945)
INF 3 - Institut für Technische Informatik
(995)
INF 4 - Institut für Angewandte Informatik
(285)
INF 5 - Institut für Anwendungssicherheit
(353)
INF 6 - Institut für Systemsicherheit
(182)
INF 7 - Institut für Datensicherheit
(270)
INF 8 - Institut für Schutz und Zuverlässigkeit
(21)
Fakultät für Luft- und Raumfahrttechnik
(5439)
Fakultät für Staats- und Sozialwissenschaften
(2717)
Fakultät für Wirtschafts- und Organisationswissenschaften
(2620)
Fakultäten (HAW)
(1790)
Forschungszentren und -initiativen
(2212)
Weitere Einrichtungen
(17)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit
Sortieren nach:
Autoren
Autoren (absteigend)
Forschungszentren01
Forschungszentren01 (absteigend)
Titel
Titel (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
und:
Autoren
Autoren (absteigend)
Forschungszentren01
Forschungszentren01 (absteigend)
Titel
Titel (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
zurück
weiter
Artikel pro Seite
5
10
15
20
25
50
Bucur, Stefan; Kinder, Johannes; Candea, George:
Making Automated Testing of Cloud Applications an Integral Component of PaaS
, New York, NY
, ACM
. In: APSys '13 Proceedings of the 4th Asia-Pacific Workshop on Systems,
2013
. - S. 18:1-18:7
Konferenzbeitrag / Conference Paper
Katzenbeisser, Stefan; Kinder, Johannes; Veith, Helmut:
Malware Detection
, New York ; Heidelberg
, Springer
. In: Encyclopedia of Cryptography and Security,
2011
. - S. 752-755
Sammelbandbeitrag / Paper in Collective Volume
Christodorescu, Mihai; Kinder, Johannes; Jha, Somesh; Katzenbeisser, Stefan; Veith, Helmut:
Malware Normalization
, Madison, WI, USA
2005
Technischer Report / Technical Report
Mundt, Michael; Baier, Harald:
Mapping Cyber-Physical Threats for Critical Infrastructures
, Cham, Switzerland
, Springer
. In: Critical Information Infrastructures Security,
2023
. - S. 164–179
Konferenzbeitrag / Conference Paper
Godefroid, Patrice; Kinder, Johannes
[Microsoft Corporation]:
Memory Safety of Floating-Point Computations
; (US8782625B2). -
22.12.2011
Patent
Homescu, Andrei; Stewart, Michael; Larsen, Per; Brunthaler, Stefan; Franz, Michael:
Microgadgets: Size Does Matter in Turing-Complete Return-Oriented Programming
. In: WOOT'12: Proceedings of the 6th USENIX conference on Offensive Technologies,
2012
. - S. 64-76
Konferenzbeitrag / Conference Paper
Kinder, Johannes:
Model Checking Malicious Code
, München
2005
Monografie / Monograph
Repel, Dusan; Kinder, Johannes; Cavallaro, Lorenzo:
Modular Synthesis of Heap Exploits
, New York
, ACM
. In: PLAS '17 Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security ,
2017
. - S. 25-35
Konferenzbeitrag / Conference Paper
Brunthaler, Stefan:
Multi-Level Quickening
2021
. Vortrag bei PLAS seminar, School of Computing, University of Kent, 25 October 2021
Vortrag / Presentation
Brunthaler, Stefan:
Next Challenges in Python Performance Optimziation
2024
. Vortrag bei Vortrag beim 40. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
Vortrag / Presentation
Sortieren nach:
Autoren
Autoren (absteigend)
Forschungszentren01
Forschungszentren01 (absteigend)
Titel
Titel (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
und:
Autoren
Autoren (absteigend)
Forschungszentren01
Forschungszentren01 (absteigend)
Titel
Titel (absteigend)
Dokumenttyp
Dokumenttyp (absteigend)
Jahr
Jahr (absteigend)
zurück
weiter