Skip to main content
SpringerLink
Log in

Logic, Language, and Security

Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

  • Book
  • © 2020

Overview

Editors:
  1. Vivek Nigam

    1. fortiss GmbH, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tajana Ban Kirigin

    1. University of Rijeka, Rijeka, Croatia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Carolyn Talcott

    1. SRI International, Menlo Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Joshua Guttman

    1. Worcester Polytechnic Institute, Worcester, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Stepan Kuznetsov

    1. Steklov Mathematical Institute of the Russian Academy of Sciences, Moscow, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Boon Thau Loo

    1. University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Mitsuhiro Okada

    1. Keio University, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains refereed papers dedicated to Andre Scedrov and to his work
  • Presents a broad range of topics reflecting Andre Scedrov’s versatility
  • Depicts Andre Scedrov’s major contributions to proof theory, logic in computer science, foundations in computer security, and formal linguistics

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12300)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  3. Logic and Computing

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. A Small Remark on Hilbert’s Finitist View of Divisibility and Kanovich-Okada-Scedrov’s Logical Analysis of Real-Time Systems

      • Mitsuhiro Okada
      Pages 39-47Open Access

    3. Logic of Fusion

      • Dusko Pavlovic
      Pages 48-60

    4. There’s No Time, The Problem of Conceptualising Time

      • Tajana Ban Kirigin, Benedikt Perak
      Pages 61-68

    5. Andre and the Early Days of Penn’s Logic and Computation Group

      • Dale Miller
      Pages 69-70

    6. Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL

      • Maria Ribeiro, Pedro Adão, Paulo Mateus
      Pages 71-97

    7. Logic and Applications - LAP Meeting

      • Zvonimir Šikić, Silvia Ghilezan, Zoran Ognjanović, Thomas Studer
      Pages 98-100

  4. Logic and Security

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Methods Analysis of the Secure Remote Password Protocol

      • Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski et al.
      Pages 103-126

    3. The Hitchhiker’s Guide to Decidability and Complexity of Equivalence Properties in Security Protocols

      • Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
      Pages 127-145

    4. Assumption-Based Analysis of Distance-Bounding Protocols with cpsa

      • Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell
      Pages 146-166

    5. Modelchecking Safety Properties in Randomized Security Protocols

      • Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
      Pages 167-183

  5. Logic and Language

    1. Front Matter

      Pages 185-185
      Download chapter PDF

    2. Andre Scedrov

      • Glyn Morrill
      Pages 187-188

    3. Gender Bias in Neural Natural Language Processing

      • Kaiji Lu, Piotr Mardziel, Fangjing Wu, Preetam Amancharla, Anupam Datta
      Pages 189-202

  6. Back Matter

    Pages 203-203
    Download chapter PDF
Back to top

Keywords

About this book

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday.

The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.

The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.


Editors and Affiliations

  • fortiss GmbH, Munich, Germany

    Vivek Nigam

  • University of Rijeka, Rijeka, Croatia

    Tajana Ban Kirigin

  • SRI International, Menlo Park, USA

    Carolyn Talcott

  • Worcester Polytechnic Institute, Worcester, USA

    Joshua Guttman

  • Steklov Mathematical Institute of the Russian Academy of Sciences, Moscow, Russia

    Stepan Kuznetsov

  • University of Pennsylvania, Philadelphia, USA

    Boon Thau Loo

  • Keio University, Tokyo, Japan

    Mitsuhiro Okada

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation