Showing 81 - 100 results of 241 for search '"cryptographic protocol"', query time: 0.28s Refine Results
  1. 81
    Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
    Published 1998
    Table of Contents: “… for cryptographic protocols -- A polyvariant binding-time analysis for off-line partial deduction -- Verifiable…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 82
    Progress in Cryptology – LATINCRYPT 2010 First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 8-11, 2010, proceedings /
    Published 2010
    Table of Contents: “… Implementation of Binary Field Arithmetic Using Vector Instruction Sets -- Cryptographic Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 83
    Security and Privacy in Ad-Hoc and Sensor Networks Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers /
    Published 2006
    Table of Contents: “… for Distributed Sensor Networks -- Cryptographic Protocol to Establish Trusted History of Interactions -- Ad Hoc…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 84
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Bytecode -- Cryptographic Protocol Analysis on Real C Code -- Bounded Model Checking -- Simple Is Better…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 85
    Public Key Cryptography - PKC 2005 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Cryptanalysis -- A New Related Message Attack on RSA -- Breaking a Cryptographic Protocol…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 86
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Environment -- TAPS: A First-Order Verifier for Cryptographic Protocols -- VINAS-P: A Tool for Trace Theoretic…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 87
    Financial Cryptography and Data Security 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers /
    Published 2010
    Table of Contents: “… Transaction Data -- What’s in a Name? -- Cryptographic Protocol Analysis of AN.ON -- A CDH-Based Ring…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 88
    Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Cryptographic Protocols with Tree Automata -- State Space Reduction Based on Live Variables Analysis -- Static…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 89
    Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “… for Shared Authorisation Data in TCG TPM -- Session 6. Protocols 2 -- Trusted Multiplexing of Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 90
    Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
    Published 2010
    Table of Contents: “… to the Analysis of Cryptographic Protocols -- On Efficient Models for Model Checking Message-Passing Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 91
    Information Security and Cryptology - ICISC'99 Second International Conference Seoul, Korea, December 9-10, 1999 Proceedings /
    Published 2000
    Table of Contents: “… Curve Cryptosystems -- Speeding Up Elliptic Scalar Multiplication with Precomputation -- Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 92
    Advances in Cryptology – CRYPTO 2005 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings /
    Published 2005
    Table of Contents: “… on Algebraic Tori -- A Practical Attack on a Braid Group Based Cryptographic Protocol -- The Conditional…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 93
    Computer Security - ESORICS 2008 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings /
    Published 2008
    Table of Contents: “… and Cryptographic Protocols -- Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 94
    Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings /
    Published 2015
    Table of Contents: “…Cryptographic Protocols -- Efficient RKA-Secure KEM and IBE Schemes Against Invertible Functions…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 95
    CONCUR'97: Concurrency Theory 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings /
    Published 1997
    Table of Contents: “… time temporal logic -- Reasoning about cryptographic protocols in the spi calculus -- Modularity…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 96
    Mobile Agents 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings /
    Published 2001
    Table of Contents: “…Security -- On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection -- Trust…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 97
    Provable Security 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings /
    Published 2010
    Table of Contents: “… to Protect a Company’s Reputation -- Invited Talk -- Cryptographic Protocols from Lattices -- Encryption -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 98
    Public Key Infrastructures, Services and Applications 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “… of Certificate Revocation: A Case Study -- Cryptographic Protocols -- Automatic Generation of Sigma-Protocols…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 99
    Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
    Published 2003
    Table of Contents: “… as Tokens -- The Coinductive Approach to Verifying Cryptographic Protocols -- Behavioural Equivalence…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 100
    Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
    Published 2002
    Table of Contents: “… Cryptographic Protocols in a Reactive Framework -- Timed Systems and Games -- An Abstract Schema for Equivalence…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search