Showing 141 - 160 results of 241 for search '"cryptographic protocol"', query time: 0.12s Refine Results
  1. 141
    Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Resource Fairness and Composability of Cryptographic Protocols -- One-Way Functions and Friends -- Finding…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 142
    Advances in Cryptology - CRYPTO 2006 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings /
    Published 2006
    Table of Contents: “…-Verifiable Voting with Everlasting Privacy -- Cryptographic Protocols for Electronic Voting -- Asymptotically…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 143
    Computer Network Security 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings /
    Published 2010
    Table of Contents: “… for Cryptographic Protocols -- Credential Chain Discovery in RTT Trust Management Language -- Genetic Optimization…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 144
    Security Protocols 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers /
    Published 2005
    Table of Contents: “… -- Is the Verification Problem for Cryptographic Protocols Solved? -- Secure Sessions from Weak Secrets -- Secure…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 145
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Producing Checkable Proofs -- Matching in Hybrid Terminologies -- Verifying Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 146
    Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Published 2003
    Table of Contents: “… -- Security and Cryptography -- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 147
    Public Key Cryptography - PKC 2006 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings /
    Published 2006
    Table of Contents: “… of a Braid Group Based Cryptographic Protocol -- High-Order Attacks Against the Exponent Splitting…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 148
    Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  9. 149
    Cooperative Information Agents V 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings /
    Published 2001
    Table of Contents: “… for Simultaneous Auctions -- Optimality and Risk in Purchase from Multiple Auctions -- Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 150
    Information Security 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Computation -- Cryptographic Protocols -- Distributed RSA Signature Schemes for General Access Structures…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 151
    Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Published 1999
    Table of Contents: “… -- An Automated Analysis of Ping-Pong Interactions in E-Mail Services -- Automatic Verification of Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 152
    FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
    Published 1997
    Table of Contents: “… in Isabelle/HOL -- A proof obligation generator for VDM-SL -- Verification of cryptographic protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 153
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
    Published 2010
    Table of Contents: “… -- Cryptographic Protocols Analysis in Event B -- A Query Language for Logic Architectures -- Planet Map Generation…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 154
    Applied Cryptography and Network Security 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- Cryptographic Protocols -- A New Protocol for Conditional Disclosure of Secrets and Its Applications…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 155
    Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Rijndael -- High-Speed Pipelined Hardware Architecture for Galois Counter Mode -- Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 156
    Topics in Cryptology – CT-RSA 2008 The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Camellia and MISTY1 -- Small Secret Key Attack on a Variant of RSA (Due to Takagi) -- Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 157
    Computer Security - ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II /
    Published 2019
    Table of Contents: “… Automated Application-Specific Software Stacks -- Cryptographic Protocols -- Identity-Based Encryption…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 158
    Groupware: Design, Implementation, and Use 15th International Workshop, CRIWG 2009, Peso da Régua, Douro, Portugal, September 13-17, 2009. Proceedings /
    Published 2009
    Table of Contents: “… for Collaborative Map Handling -- Collaborative Learning -- Cooperative Model Reconstruction for Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 159
    Σχεδιασμός και υλοποίηση αρχιτεκτονικής βασισμένης σε ελλειπτικές καμπύλες πάνω σε binary extension Galois Fields GF(2^n)
    Get full text
    Thesis
  20. 160
    Progress in Cryptology - INDOCRYPT 2004 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings /
    Published 2005
    Table of Contents: “… -- Secure Protocols for Complex Tasks in Complex Environments -- Cryptographic Protocols -- Tripartite Key…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search