Results for "cryptographic protocol"

Results for "cryptographic protocol" Showing 1 - 50 results of 241 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22cryptographic+protocol%22&type=AllFields&lng=en 241 0 50 Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers / Thu, 01 Jan 2015 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-319-15943-0 https://find.library.upatras.gr/Record/978-3-319-15943-0 Electronic eBook 2015 0 Progress in Cryptology - LATINCRYPT 2014 Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers / Thu, 01 Jan 2015 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-319-16295-9 https://find.library.upatras.gr/Record/978-3-319-16295-9 Electronic eBook 2015 0 Cryptography and Information Security in the Balkans First International Conference, BalkanCryptSec 2014, Istanbul, Turkey, October 16-17, 2014, Revised Selected Papers / Thu, 01 Jan 2015 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-319-21356-9 https://find.library.upatras.gr/Record/978-3-319-21356-9 Electronic eBook 2015 0 Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings / Thu, 01 Jan 2015 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-319-22174-8 https://find.library.upatras.gr/Record/978-3-319-22174-8 Electronic eBook 2015 0 Advanced Multimedia and Ubiquitous Engineering Future Information Technology Volume 2 / Fri, 01 Jan 2016 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-662-47895-0 https://find.library.upatras.gr/Record/978-3-662-47895-0 Electronic eBook 2016 0 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 / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-36577-8 https://find.library.upatras.gr/Record/978-3-540-36577-8 Electronic eBook 2003 0 Cooperative Information Agents V 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings / Mon, 01 Jan 2001 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-44799-3 https://find.library.upatras.gr/Record/978-3-540-44799-3 Electronic eBook 2001 0 Formal Aspects of Security First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-40981-6 https://find.library.upatras.gr/Record/978-3-540-40981-6 Electronic eBook 2003 0 Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings / Wed, 01 Jan 1997 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-69140-2 https://find.library.upatras.gr/Record/978-3-540-69140-2 Electronic eBook 1997 0 Information Security 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-39981-0 https://find.library.upatras.gr/Record/978-3-540-39981-0 Electronic eBook 2003 0 Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-40020-2 https://find.library.upatras.gr/Record/978-3-540-40020-2 Electronic eBook 2003 0 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 / Thu, 01 Jan 1998 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-69722-0 https://find.library.upatras.gr/Record/978-3-540-69722-0 Electronic eBook 1998 0 CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings / Sat, 01 Jan 2000 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-44618-7 https://find.library.upatras.gr/Record/978-3-540-44618-7 Electronic eBook 2000 0 Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings / Sat, 01 Jan 2000 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-45022-1 https://find.library.upatras.gr/Record/978-3-540-45022-1 Electronic eBook 2000 0 Automata, Languages and Programming 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings / Mon, 01 Jan 2001 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-48224-6 https://find.library.upatras.gr/Record/978-3-540-48224-6 Electronic eBook 2001 0 Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings / Fri, 01 Jan 1999 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-48294-9 https://find.library.upatras.gr/Record/978-3-540-48294-9 Electronic eBook 1999 0 Computer Security - ESORICS 2003 8th European Symposium on Research in Computer Security, Gjovik, Norway, October 13-15, 2003, Proceedings / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-39650-5 https://find.library.upatras.gr/Record/978-3-540-39650-5 Electronic eBook 2003 0 Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings / Fri, 01 Jan 1999 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-48340-3 https://find.library.upatras.gr/Record/978-3-540-48340-3 Electronic eBook 1999 0 Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-39979-7 https://find.library.upatras.gr/Record/978-3-540-39979-7 Electronic eBook 2003 0 CONCUR 2002 - Concurrency Theory 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings / Tue, 01 Jan 2002 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-45694-0 https://find.library.upatras.gr/Record/978-3-540-45694-0 Electronic eBook 2002 0 Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / Thu, 01 Jan 2004 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-30476-0 https://find.library.upatras.gr/Record/978-3-540-30476-0 Electronic eBook 2004 0 Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers / Tue, 01 Jan 2002 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-47813-3 https://find.library.upatras.gr/Record/978-3-540-47813-3 Electronic eBook 2002 0 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 / Fri, 01 Jan 1999 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-49059-3 https://find.library.upatras.gr/Record/978-3-540-49059-3 Electronic eBook 1999 0 FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / Wed, 01 Jan 1997 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-69593-6 https://find.library.upatras.gr/Record/978-3-540-69593-6 Electronic eBook 1997 0 Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-36575-4 https://find.library.upatras.gr/Record/978-3-540-36575-4 Electronic eBook 2003 0 Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / Mon, 01 Jan 2001 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-47764-8 https://find.library.upatras.gr/Record/978-3-540-47764-8 Electronic eBook 2001 0 Public Key Cryptography First International Workshop on Practice and Theory in Public Key Cryptography, PKC'98, Pacifico Yokohama, Japan, February 5-6, 1998, Proceedings / Thu, 01 Jan 1998 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-69105-1 https://find.library.upatras.gr/Record/978-3-540-69105-1 Electronic eBook 1998 0 Information Security 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings / Fri, 01 Jan 2016 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-319-45871-7 https://find.library.upatras.gr/Record/978-3-319-45871-7 Electronic eBook 2016 0 Advances in Cryptology – ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II / Fri, 01 Jan 2016 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-662-53890-6 https://find.library.upatras.gr/Record/978-3-662-53890-6 Electronic eBook 2016 0 Mathematical Foundations of Computer Science 2003 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-45138-9 https://find.library.upatras.gr/Record/978-3-540-45138-9 Electronic eBook 2003 0 CONCUR'97: Concurrency Theory 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings / Wed, 01 Jan 1997 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-69188-4 https://find.library.upatras.gr/Record/978-3-540-69188-4 Electronic eBook 1997 0 Foundations of Software Science and Computational Structures 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-36576-1 https://find.library.upatras.gr/Record/978-3-540-36576-1 Electronic eBook 2003 0 Rewriting Techniques and Applications 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-44881-5 https://find.library.upatras.gr/Record/978-3-540-44881-5 Electronic eBook 2003 0 Information Security and Cryptology - ICISC 2002 5th International Conference, Seoul, Korea, November 28-29, 2002, Revised Papers / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-36552-5 https://find.library.upatras.gr/Record/978-3-540-36552-5 Electronic eBook 2003 0 Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings / Tue, 01 Jan 2002 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-46017-6 https://find.library.upatras.gr/Record/978-3-540-46017-6 Electronic eBook 2002 0 Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / Sat, 01 Jan 2000 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-45101-3 https://find.library.upatras.gr/Record/978-3-540-45101-3 Electronic eBook 2000 0 Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Thu, 01 Jan 1998 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-69339-0 https://find.library.upatras.gr/Record/978-3-540-69339-0 Electronic eBook 1998 0 Advances in Cryptology - ASIACRYPT'98 International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, October 18-22, 1998, Proceedings / Thu, 01 Jan 1998 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-49649-6 https://find.library.upatras.gr/Record/978-3-540-49649-6 Electronic eBook 1998 0 Progress in Cryptology - INDOCRYPT 2000 First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000. Proceedings / Sat, 01 Jan 2000 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-44495-4 https://find.library.upatras.gr/Record/978-3-540-44495-4 Electronic eBook 2000 0 Smart Card. Research and Applications Third International Conference, CARDIS'98 Louvain-la-Neuve, Belgium, September 14-16, 1998 Proceedings / Sat, 01 Jan 2000 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-44534-0 https://find.library.upatras.gr/Record/978-3-540-44534-0 Electronic eBook 2000 0 Mobile Agents 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / Mon, 01 Jan 2001 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-45647-6 https://find.library.upatras.gr/Record/978-3-540-45647-6 Electronic eBook 2001 0 Parallel and Distributed Processing 15 IPDPS 2000 Workshops Cancun, Mexico, May 1-5, 2000 Proceedings / Sat, 01 Jan 2000 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-45591-2 https://find.library.upatras.gr/Record/978-3-540-45591-2 Electronic eBook 2000 0 Information Security and Privacy 6th Australasian Conference, ACISP 2001, Sydney, Australia, July 11-13, 2001. Proceedings / Mon, 01 Jan 2001 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-47719-8 https://find.library.upatras.gr/Record/978-3-540-47719-8 Electronic eBook 2001 0 Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / Wed, 01 Jan 1997 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-69195-2 https://find.library.upatras.gr/Record/978-3-540-69195-2 Electronic eBook 1997 0 Advances in Cryptology - EUROCRYPT '97 International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11-15, 1997 Proceedings / Wed, 01 Jan 1997 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-69053-5 https://find.library.upatras.gr/Record/978-3-540-69053-5 Electronic eBook 1997 0 CONCUR 2003 - Concurrency Theory 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-45187-7 https://find.library.upatras.gr/Record/978-3-540-45187-7 Electronic eBook 2003 0 Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings / Mon, 01 Jan 2001 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-45116-7 https://find.library.upatras.gr/Record/978-3-540-45116-7 Electronic eBook 2001 0 Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / Sat, 01 Jan 2000 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-45047-4 https://find.library.upatras.gr/Record/978-3-540-45047-4 Electronic eBook 2000 0 Security in Communication Networks Third International Conference, SCN 2002, Amalfi, Italy, September 11-13, 2002, Revised Papers / Wed, 01 Jan 2003 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-36413-9 https://find.library.upatras.gr/Record/978-3-540-36413-9 Electronic eBook 2003 0 Automata, Languages and Programming 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings / Fri, 01 Jan 1999 02:52:47 +0200 https://find.library.upatras.gr/Record/978-3-540-48523-0 https://find.library.upatras.gr/Record/978-3-540-48523-0 Electronic eBook 1999 0