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
Progress in Cryptology - INDOCRYPT 2020: 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings
1st Edition 2020, 2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, p.365-379
2022
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Defensive JavaScript: Building and Verifying Secure Web Components
Foundations of Security Analysis and Design VII, 2014, Vol.8604, p.88-123
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Comparse: Provably Secure Formats for Cryptographic Protocols
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, p.564-578
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards Unified Authorization for Android
Engineering Secure Software and Systems, p.42-57
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verifying policy-based security for web services
Conference on Computer and Communications Security: Proceedings of the 11th ACM conference on Computer and communications security; 25-29 Oct. 2004, 2004, p.268-277
2004
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
TulaFale: A Security Tool for Web Services
Formal Methods for Components and Objects, 2004, p.197-222
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Foundations of WebAssembly (Dagstuhl Seminar 23101)
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Cryptographic Verification by Typing for a Sample Protocol Implementation
Cryptographic Verification by Typing for a Sample Protocol Implementation, 2011, Vol.6858, p.66-100
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An advisor for web services security policies
Proceedings of the 2005 workshop on Secure web services, 2005, p.1-9
2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Correction to: Security of Public Key Encryption Against Resetting Attacks
Progress in Cryptology - INDOCRYPT 2020, 2020, Vol.12578, p.C1-C1
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Principles of Security and Trust: Second International Conference, POST 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
1, 2013
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
Service Combinators for Farming Virtual Machines
Trustworthy Global Computing, Vol.4912, p.22-22
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
1, 2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Gradual typing embedded securely in JavaScript
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.425-437
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Network Event Recognition
2003
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)
    Datensatz exportieren als...
  • BibTeX
Protocol Analysis with Time
Progress in Cryptology - INDOCRYPT 2020, 2020, Vol.12578
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Electronic Voting: How Formal Methods Can Help
Progress in Cryptology - INDOCRYPT 2020, 2020, Vol.12578
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computing Expected Differential Probability of (Truncated) Differentials and Expected Linear Potential of (Multidimensional) Linear Hulls in SPN Block Ciphers
Progress in Cryptology - INDOCRYPT 2020, 2020, Vol.12578
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Non-interactive Zero-Knowledge Proofs
Progress in Cryptology - INDOCRYPT 2020, 2020, Vol.12578
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Extending the Signed Non-zero Bit and Sign-Aligned Columns Methods to General Bases for Use in Cryptography
Progress in Cryptology - INDOCRYPT 2020, 2020, Vol.12578
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Incremental Cryptography Revisited: PRFs, Nonces and Modular Design
Progress in Cryptology - INDOCRYPT 2020, 2020, Vol.12578
2020
Volltextzugriff (PDF)
1 – 25 von 80
Suche als RSS-Feed
Aktive Filter
PublikationsformArtikel
ThemaComputer Science, Theory & Methods
ThemaNetworks -- Network Protocols
Suchergebnisse filtern
Filter anzeigen