Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Post-Dominator Analysis for Precisely Handling Implicit Flows
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.2, p.787-789
2015
    Datensatz exportieren als...
  • BibTeX
Permissive runtime information flow control in the presence of exceptions
Journal of computer security, 2021-01, Vol.29 (4), p.361-401
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Exception handling for dynamic information flow control
Companion Proceedings of the 36th International Conference on software engineering, 2014, p.718-720
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations
2022 IEEE Symposium on Security and Privacy (SP), 2022, p.107-124
2022
    Datensatz exportieren als...
  • BibTeX
Practical dynamic information flow control
2018
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Information Flow Control in WebKit’s JavaScript Bytecode
Principles of Security and Trust, p.159-178
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Compositional Information Flow Monitoring for Reactive Programs
2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P), 2022, p.467-486
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
WebPol: Fine-Grained Information Flow Policies for Web Browsers
Computer Security - ESORICS 2017, 2017, Vol.10492, p.242-259
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
text^: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
2021 IEEE European Symposium on Security and Privacy (EuroS&P), 2021, p.523-542
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Security Architecture for Virtual Machines
Algorithms and Architectures for Parallel Processing, p.218-229
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Layered Symbolic Security Analysis in DY⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf {DY}^\star $$\end{document}
Computer Security – ESORICS 2023, p.3-21
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Proceedings of the Ninth Workshop on programming languages and analysis for security, 2014, p.15-24
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Tutorial-Style Introduction to DY⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textsf {DY}^\star $$\end{document}
Protocols, Strands, and Logic, 2021, p.77-97
2021
Link zum Volltext
Verfügbarkeit prüfen
1 – 13 von 13
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen