Logic, Language, and Security

Keyphrases

Publications

2020

Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus J. Bonyadi, Mario Yaksetig, Ian Blumenfeld
Formal Methods Analysis of the Secure Remote Password Protocol. Logic, Language, and Security (2020)
Stepan L. Kuznetsov
A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential. Logic, Language, and Security (2020)
Tajana Ban Kirigin, Benedikt Perak
There's No Time, The Problem of Conceptualising Time. Logic, Language, and Security (2020)
Kaiji Lu, Piotr Mardziel, Fangjing Wu, Preetam Amancharla, Anupam Datta
Gender Bias in Neural Natural Language Processing. Logic, Language, and Security (2020)
Maria Ribeiro, Pedro Adão, Paulo Mateus
Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL. Logic, Language, and Security (2020)
Glyn Morrill
Andre Scedrov. Logic, Language, and Security (2020)
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols. Logic, Language, and Security (2020)
Dale Miller
Andre and the Early Days of Penn's Logic and Computation Group. Logic, Language, and Security (2020)
Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer
Logic and Applications - LAP Meeting. Logic, Language, and Security (2020)
Dusko Pavlovic
Logic of Fusion - - Dedicated to Andre Scedrov -. Logic, Language, and Security (2020)
Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell
Assumption-Based Analysis of Distance-Bounding Protocols with cpsa. Logic, Language, and Security (2020)
Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan
Modelchecking Safety Properties in Randomized Security Protocols. Logic, Language, and Security (2020)
Jean-Yves Girard
Transcendental Syntax iv: Logic Without Systems. Logic, Language, and Security (2020)
Mitsuhiro Okada
A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems. Logic, Language, and Security (2020)

volume 12300, 2020

Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday Logic, Language, and Security 12300 (2020)