You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (10)

Journals (0)

1-10 of 10 results for cryptographic soundness

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Computational soundness of symbolic zero-knowledge proofs *

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

Select article: Guessing attacks and the computational soundness of static equivalence

Retricted access

Research article

First published 2010-8-16

Guessing attacks and the computational soundness of static equivalence

Mathieu Baudet, Bogdan Warinschi, Martín Abadi

Journal of Computer Security

Select article: Perturbation-Based Schemes with Ultra-Lightweight Computation to Protect User Privacy in Smart Grid

Open access

Research article

First published 2013-3

Perturbation-Based Schemes with Ultra-Lightweight Computation to Protect User Privacy in Smart Grid

Wei Ren, Liangli Ma, Yi Ren

International Journal of Distributed Sensor Networks

Select article: Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage

Retricted access

Research article

First published 2009-10-12

Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage

Pedro Adão, Gergei Bana, Jonathan Herzog [...]

Journal of Computer Security

Select article: Completeness theorems for the Abadi–Rogaway language of encrypted expressions 1

Retricted access

Research article

First published 2004-1-1

Completeness theorems for the Abadi–Rogaway language of encrypted expressions 1

Daniele Micciancio, Bogdan Warinschi

Journal of Computer Security

Select article: In search of multiple domain key recovery

Retricted access

Research article

First published 1998-10-1

In search of multiple domain key recovery

Lars R. Knudsen, Keith M. Martin

Journal of Computer Security

Select article: Symbolic bisimulation for the applied pi calculus *

Retricted access

Research article

First published 2010-3-22

Symbolic bisimulation for the applied pi calculus *

Stéphanie Delaune, Steve Kremer, Mark D. Ryan

Journal of Computer Security

Select article: A computational analysis of the Needham–Schroeder–(Lowe) protocol

Retricted access

Research article

First published 2005-8-24

A computational analysis of the Needham–Schroeder–(Lowe) protocol

Bogdan Warinschi

Journal of Computer Security

Select article: A decision procedure and typing result for alpha-beta privacy

Open access

Research article

First published 2026-1

A decision procedure and typing result for alpha-beta privacy

Laouen Fernet, Sebastian Mödersheim, Luca Viganò

Journal of Computer Security

Select article: Temporal logic of common knowledge and its resolution-based proof method

Retricted access

Research article

First published 2018-11-20

Temporal logic of common knowledge and its resolution-based proof method

Hadi Farahani, Saman Moshiri

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

1
10 / page

Article type

Publication date

Subjects

Access