Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(22308)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(3722)
Fakultät für Elektrotechnik und Informationstechnik
(2103)
Fakultät für Humanwissenschaften
(2337)
Fakultät für Informatik
(3417)
Fakultät für Luft- und Raumfahrttechnik
(5420)
Fakultät für Staats- und Sozialwissenschaften
(2716)
Fakultät für Wirtschafts- und Organisationswissenschaften
(2621)
Fakultäten (HAW)
(1788)
Forschungszentren und -initiativen
(2205)
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.)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Autoren:
Mitchell, Duncan; van Binsbergen, L. Thomas; Loring, Blake; Kinder, Johannes
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Checking Cryptographic API Usage with Composable Annotations
Titel Konferenzpublikation:
Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM’18)
Konferenztitel:
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (2018, Los Angeles, CA)
Konferenztitel:
PEPM’18, January 8–9, 2018, Los Angeles, CA, USA
Tagungsort:
Los Angeles, CA, USA
Jahr der Konferenz:
2018
Datum Beginn der Konferenz:
08.01.2018
Datum Ende der Konferenz:
09.01.2016
Verlagsort:
New York
Verlag:
ACM
Jahr:
2018
Seiten von - bis:
53-59
Sprache:
Englisch
DOI:
10.1145/3162071
URL zum Inhalt:
https://doi.org/10.1145/3162071
Open Access ja oder nein?:
Ja / Yes
BibTeX
Vorkommen:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE