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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    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
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Gradual Security Types and Gradual Guarantees
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-16
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automating Audit with Policy Inference
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-16
2021
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An In-Depth Symbolic Security Analysis of the ACME Standard
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, p.2601-2617
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Information Flow Control in WebKit’s JavaScript Bytecode
Principles of Security and Trust, p.159-178
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Tainted Secure Multi-Execution to Restrict Attacker Influence
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, p.1732-1745
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
WebPol: Fine-Grained Information Flow Policies for Web Browsers
Computer Security - ESORICS 2017, 2017, Vol.10492, p.242-259
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Contextual and Granular Policy Enforcement in Database-backed Applications
Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, 2020, p.432-444
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Security Architecture for Virtual Machines
Algorithms and Architectures for Parallel Processing, p.218-229
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    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-15
2014
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
1 – 15 von 15
Suche als RSS-Feed
Aktive Filter
Nur zeigenMit Volltextzugriff
Suchergebnisse filtern
Filter anzeigen