✦ LIBER ✦

Proof Techniques for Cryptographic Processes

✍ Scribed by Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario

Book ID: 118184812
Publisher: Society for Industrial and Applied Mathematics
Year: 2001
Tongue: English
Weight: 458 KB
Volume: 31
Category: Article
ISSN: 0097-5397
DOI: 10.1137/s0097539700377864

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modal Logics for Cryptographic Processes

✍ Ulrik Frendrup; Hans Hüttel; Jesper Nyholm Jensen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Cryptographic techniques for computers:

Cryptographic techniques for computers: Substitution methods

✍ Dennie Van Tassel 📂 Article 📅 1970 🏛 Elsevier Science ⚖ 508 KB

A cryptographic watermarking technique f

A cryptographic watermarking technique for multimedia signals

✍ Jian Ren 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 669 KB

Cryptographic and Physical Zero-Knowledg

Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles

✍ Ronen Gradwohl; Moni Naor; Benny Pinkas; Guy N. Rothblum 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 413 KB

Cryptographic copyright protection for d

Cryptographic copyright protection for digital images based on watermarking techniques

✍ Joseph Ó Ruanaidh; Holger Petersen; Alexander Herrigel; Shelby Pereira; Thierry 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 413 KB

In this paper we present a new approach for the secure and robust copyright protection of digital images. We describe a system for generating digital watermarks and for trading watermarked images. The system is based on a new watermarking technique, which is robust against image transformation techn

A simple framework for real-time cryptog

A simple framework for real-time cryptographic protocol analysis with compositional proof rules

✍ Roberto Gorrieri; Fabio Martinelli 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 377 KB