UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 93

Sortiert nach

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

Link zum Volltext

Verfügbarkeit prüfen

Discovering concrete attacks on website authorization by formal analysis

Journal of computer security, 2014-01, Vol.22 (4), p.601-657

2014

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

Secure distributed programming with value-dependent types

Journal of functional programming, 2013-07, Vol.23 (4), p.402-451

2013

Link zum Volltext

Verfügbarkeit prüfen

Discovering concrete attacks on website authorization by formal analysis1

Journal of computer security, 2014-04, Vol.22 (4), p.601-657

2014

Link zum Volltext

Verfügbarkeit prüfen

Verified interoperable implementations of security protocols

ACM transactions on programming languages and systems, 2008-12, Vol.31 (1), p.1-61

2008

Link zum Volltext

Verfügbarkeit prüfen

Comparse: Provably Secure Formats for Cryptographic Protocols

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, p.564-578

2023

Link zum Volltext

Verfügbarkeit prüfen

Session details: Session 1B: Security

SIGPLAN notices, 2015-05, Vol.50 (1)

Bhargavan, Karthikeyan

2015

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

Refinement types for secure implementations

ACM transactions on programming languages and systems, 2011-01, Vol.33 (2)

2011

Link zum Volltext

Verfügbarkeit prüfen

A secure compiler for session abstractions

Journal of computer security, 2008-01, Vol.16 (5), p.573-636

2008

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

Verified Cryptographic Implementations for TLS

ACM transactions on information and system security, 2012-03, Vol.15 (1), p.1-32

2012

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

Progress in Cryptology - INDOCRYPT 2020, 2020, Vol.12578

2020

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 93

Suche als RSS-Feed

Aktive Filter

PublikationsformBücher

ThemaComputer Science, Theory & Methods

ThemaSoftware

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(11)
Mit Volltextzugriff
(91)

Publikationsform

Sprache

Englisch
(93)

Erscheinungsjahr

n.n

Zeitschrift / Serie

2 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello

Discovering concrete attacks on website authorization by formal analysis

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

Defensive JavaScript: Building and Verifying Secure Web Components

Secure distributed programming with value-dependent types

Discovering concrete attacks on website authorization by formal analysis1

Verified interoperable implementations of security protocols

Comparse: Provably Secure Formats for Cryptographic Protocols

Session details: Session 1B: Security

Towards Unified Authorization for Android

Refinement types for secure implementations

A secure compiler for session abstractions

Verifying policy-based security for web services

text^: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Foundations of WebAssembly (Dagstuhl Seminar 23101)

Cryptographic Verification by Typing for a Sample Protocol Implementation

Verified Cryptographic Implementations for TLS

Service Combinators for Farming Virtual Machines

Encrypted Key-Value Stores

Quantum Cryptanalysis on Contracting Feistel Structures and Observation on Related-Key Settings

Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing

The Multi-Base Discrete Logarithm Problem: Tight Reductions and Non-rewinding Proofs for Schnorr Identification and Signatures

Electronic Voting: How Formal Methods Can Help

Mixture Integral Attacks on Reduced-Round AES with a Known/Secret S-Box

Aktive Filter

Suchergebnisse filtern