Search results

Articles (6)

Journals (0)

1-6 of 6 results for Symbolic cryptography

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2014-7-11

Guiding a general-purpose C verifier to prove cryptographic protocols

François Dupressoir, Andrew D. Gordon, Jan Jürjens [...]

Journal of Computer Security

Retricted access

Research article

First published 2016-3-1

Symbolic universal composability

Florian Böhl, Dominique Unruh

Journal of Computer Security

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

Retricted access

Research article

First published 2023-10-13

Symbolic protocol verification with dice 1

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer

Journal of Computer Security

Retricted access

Research article

First published 2022-8-25

Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication 1

Sebastian Paul, Patrik Scheible, Friedrich Wiemer

Journal of Computer Security

Retricted access

Research article

First published 2008-10-13

Key-dependent message security under active attacks – BRSIM/UC-soundness of Dolev–Yao-style encryption with key cycles

Michael Backes, Birgit Pfitzmann, Andre Scedrov

Journal of Computer Security