Skip to contents

Chung, Yongwha [Editor]; Yung, Moti [Other] ; WISA 11 2010

Information security applications : 11th international workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6513
Danezis, George [Editor] ; FC 15 2011 Gros Islet

Financial cryptography and data security : 15th international conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2012

Published in: Lecture notes in computer science ; 7035
Mödersheim, Sebastian [Editor]; Palamidessi, Catuscia [Other] ; TOSCA 2011 Saarbrücken

Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2012

Published in: Lecture notes in computer science ; 6993
Ishai, Yuval [Editor] ; Theory of Cryptography Conference 8 2011 Providence, RI

Theory of cryptography : 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6597
Degano, Pierpaolo [Editor]; Etalle, Sandro [Other]; Guttman, Joshua [Other] ; FAST 7 2010 Pisa

Formal aspects of security and trust : 7th international Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6561
Kiayias, Aggelos [Editor] ; CT RSA 11 2011 San Francisco, Calif

Topics in cryptology - CT-RSA 2011 : The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6558
Küsters, Ralf [Author]

On the decidability of cryptographic group protocols

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 0201
Küsters, Ralf [Author]

On the decidability of cryptographic protocols with open ended Data structures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst.f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 0204
Edwards, Scott [Editor]; Gasakis, Mele [Editor]; Weber, Michael [Editor] ; Books on Demand GmbH Norderstedt

Communicating like dolphins with Spot-On encryption suite: democratization of multiple & exponential encryption : Handbook and user manual as practical software guide with introductions into Cryptography, Cryptographic Calling and Cryptographic Discovery, P2P Networking, Graph-Theory, NTRU, McEliece, the Echo Protocol and the Spot-On Software.

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Norderstedt: BoD – Books on Demand, 2019
Gasakis, Mele [Author]; Schmidt, Max [Author] ; Books on Demand GmbH Norderstedt

Beyond cryptographic routing : the Echo Protocol in the new Era of Exponential Encryption (EEE) : a comprehensive essay about the Sprinkling Effect of Cryptographic Echo Discovery (SECRED) and further innovations in cryptography around the Echo Applications Smoke, SmokeStack, Spot-On, Lettera and GoldBug Crypto Chat Messenger addressing Encryption, graph-theory, routing and the change from mix-networks like Tor or I2P to Peer-to-Peer-Flooding-Networks like the Echo respective to Friend-to-Friend Trust-Networks like they are built over the POPTASTIC protocol

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Norderstedt: BoD - Books on Demand, 2018
Henecka, Wilko [Author]; Kögl, Stefan [Author]; Sadeghi, Ahmad-Reza [Author]; Schneider, Thomas [Author]; Wehrenberg, Immo [Author]; Al-Shaer, Ehab S. [Author]; Keromytis, Angelos [Author]; Shmatikov, Vitaly [Author]

TASTY: Tool for automating secure two-partY computations

View online
Schließen

Links

https://bibliographie.ub.rub.de/entry/92f2db3a-679f-473e-8640-117205419299

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2010-01-01

Published in: CCS '10 : Proceedings of the 17th ACM Conference on Computer and Communications Security : October 4-8, 2010, Chicago, Illinois, USA
Cachin, Christian [Author] ; Christian Cachin [Contributor]

Blockchain - From the Anarchy of Cryptocurrencies to the Enterprise (Keynote Abstract)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Chevalier, Céline [Author]; Delaune, Stéphanie [Author]; Kremer, Steve [Author] ; Céline Chevalier and Stéphanie Delaune and Steve Kremer [Contributor]

Transforming Password Protocols to Compose

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Garay, Juan A. [Author] ; Juan A. Garay [Contributor]

Blockchain-Based Consensus (Keynote)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Cheikhrouhou, Lassaad [Author] ; Stephan, Werner [Degree supervisor]

Inductive verification of cryptographic protocols based on message algebras - trace and indistinguishability properties

View online
Schließen

Access

https://d-nb.info/1262884411/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2022
Liu, Qipeng [Author] ; Qipeng Liu [Contributor]

Depth-Bounded Quantum Cryptography with Applications to One-Time Memory and More

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Nguyen, Wilson D. [Author]; Boneh, Dan [Author]; Setty, Srinath [Author] ; Wilson D. Nguyen and Dan Boneh and Srinath Setty [Contributor]

Revisiting the Nova Proof System on a Cycle of Curves

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Cohen, Ran [Author]; Coretti, Sandro [Author]; Garay, Juan [Author]; Zikas, Vassilis [Author] ; Ran Cohen and Sandro Coretti and Juan Garay and Vassilis Zikas [Contributor]

Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Baelde, David [Author]; Delaune, Stéphanie [Author]; Hirschi, Lucca [Author] ; David Baelde and Stéphanie Delaune and Lucca Hirschi [Contributor]

Partial Order Reduction for Security Protocols

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Feng, Yuan [Author]; Ying, Mingsheng [Author] ; Yuan Feng and Mingsheng Ying [Contributor]

Toward Automatic Verification of Quantum Cryptographic Protocols

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication