UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 81

Sortiert nach

Progress in Cryptology - INDOCRYPT 2020: 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings

1st Edition 2020, 2020

Link zum Volltext

Verfügbarkeit prüfen

Progress in Cryptology – INDOCRYPT 2020: 21st International Conference on Cryptology in India, Bangalore, India, December 13–16, 2020, Proceedings

Link zum Volltext

Verfügbarkeit prüfen

Defensive JavaScript: Building and Verifying Secure Web Components

Foundations of Security Analysis and Design VII, 2014, Vol.8604, p.88-123

2014

Link zum Volltext

Verfügbarkeit prüfen

Towards Unified Authorization for Android

Engineering Secure Software and Systems, p.42-57

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

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

Foundations of WebAssembly (Dagstuhl Seminar 23101)

2023

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

An advisor for web services security policies

Proceedings of the 2005 workshop on secure web services, 2005, p.1-9

2005

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

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

Service Combinators for Farming Virtual Machines

Trustworthy Global Computing, Vol.4912, p.22-22

Link zum Volltext

Verfügbarkeit prüfen

Engineering Secure Software and Systems: 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

1, 2013

Link zum Volltext

Verfügbarkeit prüfen