Recent Talks

2006

• Breaking and Fixing Public-Key Kerberos, Department of Computer Science and Engineering, Qatar University, Doha, Qatar, 18 March 2007.

2006

• The Logical Meeting Point of Multiset Rewriting and Process Algebra, Department of Mathematics, University of Pennsylvania, Philadelphia, PA, 11 December 2005.
• Breaking and Fixing Public-Key Kerberos, 11^th Annual Asian Computing Science Conference - ASIAN'06, Tokyo, Japan, 7 December 2006.
• The Kerberos Verification Project, 2^nd Franco-Japanese Computer Security Workshop, Tokyo, Japan, 4 December 2006.
• A Spreadsheet for Everyday Symbolic Reasoning, AAAI 2006 Fall Symposium on Integrating Reasoning into Everyday Applications - EVERYDAY'06, Crystal City, VA, 14 October 2006.
• Hot Topics in Computer Security, Carnegie Mellon University Doha, Qatar, 14 September 2006.
• The Deductive SpreadSheet, Carnegie Mellon University, Pittsburgh, PA, 6 July 2006.
• Breaking and Fixing Public-Key Kerberos, Sixth Workshop on Issues in the Theory of Security - WITS'06, Vienna, Austria, 25 March 2006.
• Breaking and Fixing Public-Key Kerberos, Department of Information and Security Engineering, George Mason University, Fairfax, VA, 28 February 2006.

2005

• Breaking and Fixing Public-Key Kerberos, Department of Information and Security Engineering, George Mason University, Fairfax, VA, 30 November 2005.
• Towards a Notion of Quantitative Protocol Analysis, ONR Review Meeting, Shepherdstown, WV, 24 August 2005.
• An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols, ONR Review Meeting, Shepherdstown, WV, 23 August 2005.
• Towards a Notion of Quantitative Protocol Analysis, Workshop on the Link between Formal and Computational Models, Paris, France, 23 June 2005.
• An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols, 18th Computer Security Foundations Workshop - CSFW'05, Aix-en-Provence, France, 20 June 2005.
• An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols, Protocol eXchange Seminar - PX, Department of Computer Science, University of Maryland, Baltimore County, Baltimore, MD, 10 June 2005.
• Specifying Kerberos 5 Cross-Realm Authentication, Protocol eXchange Seminar - PX, CISR, Naval Postgraduate School, Monterey, CA, 1 February 2005. [Abstract]
• Deriving Key Distribution Protocols and their Security Properties, Department of Mathematics, Tulane University, New Orleans, LA, 21 January 2005. [Abstract]

2004

• The Logical Meeting Point of Multiset Rewriting and Process Algebra, Department of Mathematics, Tulane University, New Orleans, LA, 8 October 2004.
• Maude Implementation of MSR, ONR Workshop on Interoperability, Pervasive Computing, and Security, Savannah, GA, 30 September - 1 October 2004.
• Maude Implementation of MSR, Protocol eXchange Seminar - PX, Department of Computer Science, University of Maryland, Baltimore County, Baltimore, MD, 21 September 2004.
• Fine-Grained MSR Specifications for Quantitative Security Analysis, DIMACS Workshop on Security Analysis of Protocols, Piscataway, NJ, 7-9 June 2004.
• MSR 3: One Year Later, Protocol eXchange Seminar - PX, Department of Computer Science, University of Maryland, Baltimore County, Baltimore, MD, 28 May 2004.
• The Logical Meeting Point of Multiset Rewriting and Process Algebra, 20^th Workshop on Mathematical Foundations of Programming Semantics - MFPS'04, Carnegie Mellon University, Pittsburgh, PA, 25 May 2004.
• The Logical Meeting Point of Multiset Rewriting and Process Algebra, Dipartimento di Sistematica e Informatica, Università di Venezia, Venice, Italy, 8 March 2004. [Abstract]
• Fine-Grained MSR Specifications for Quantitative Security Analysis, Fourth Workshop on Issues in the Theory of Security - WITS'04, Barcelona, Spain, 3-4 April 2004.
• Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Fifth International Workshop on Rewriting Logic and its Applications - WRLA'04, Barcelona, Spain, 27-28 March 2004.
• The Logical Meeting Point of Multiset Rewriting and Process Algebra, New Jersey Programming Languages and Systems Seminar - NJPLS, Stevens Institute of Technology, Hoboken, NJ, 27 February 2004. [Abstract]
• Fine-Grained MSR Specifications for Quantitative Security Analysis, Protocol eXchange Seminar - PX, CISR, Naval Postgraduate School, Monterey, CA, 9 February 2004. [Abstract]

2003

• Verifying Confidentiality and Authentication in Kerberos 5, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 16 December 2003.
• MSR 3.0: the Logical Meeting Point of Multiset Rewriting and Process Algebra, 2003 International Symposium on Software Security - ISSS'03, Tokyo, Japan 4-6 November 2003.
• Verifying Confidentiality and Authentication in Kerberos 5, 2003 International Symposium on Software Security - ISSS'03, Tokyo, Japan 4-6 November 2003.
• MSR 3.0: the Logical Meeting Point of Multiset Rewriting and Process Algebra, Workshop on Formal on Formal Methods in Security Engineering - FMSE'03, Washington, DC, 30 October 2003.
• Logical Foundations of Multiset Rewriting, Department of Computer Science, Princeton University, Princeton, NJ, 17 October 2003.
• One Picture is Worth a Thousand Words, well ... a Couple Dozen Connectives, Protocol eXchange Seminar - PX, Department of Computer Science, University of Maryland, Baltimore County, Baltimore, MD, 1-2 October 2003.
• One Picture is Worth a Thousand Words, well ... a Couple Dozen Connectives, ONR Workshop on Interoperability, Pervasive Computing, and Security, Harpers Ferry, WV, 23-25 September 2003.
• Relating Multiset Rewriting and Process Algebra for Immediate Decryption Protocols, Protocol eXchange Seminar - PX, Department of Computer Science, University of Maryland, Baltimore County, Baltimore, MD, 11 June 2003.
• A Concurrent Logical Framework, Department of Computer Science, Stevens Institute of Technology Hoboken, NJ, 6 May 2003.
• Relating Multiset Rewriting and Process Algebra for Security Protocol Specification, Department of Mathematics, Tulane University, New Orleans, LA, 17 April 2003.
• Relating Multiset Rewriting and Process Algebra for Security Protocol Specification, Third Workshop on Issues in the Theory of Security - WITS'03, Warsaw, Poland, 5-6 April 2003.
• MSR 3.0: the Logical Meeting Point of Multiset Rewriting and Process Algebra, Protocol eXchange Seminar - PX, Department of Computer Science, University of Maryland, Baltimore County, Baltimore, MD, 27 February 2003.
• A Concurrent Logical Framework, Protocol eXchange Seminar - PX, Department of Computer Science, University of Maryland, Baltimore County, Baltimore, MD, 27 February 2003.
• Strand Spaces and Beyond, Department of Computer Science, Princeton University, Princeton, NJ, 6 February 2003.

2002

• MSR by Examples, Kestrel Institute, Palo Alto, CA, 4 December 2002.
• MSR by Examples, Department of Computer and Information Systems, University of Pennsylvania, Philadelphia, PA, 26 November 2002.
• A Concurrent Logical Framework, International Symposium on Software Security - ISSS'02, Tokyo, Japan, 10 November 2002.
• Proof-Theoretic Foundation of Compilation in Logic Programming Languages, Department of Computer Science, Princeton University, Princeton, NJ, 8 October 2002.
• Solution Count for Multiset Unification with Trailing Multiset Variables , Sixteenth International Workshop on Unification - UNIF'02, Copenhagen, Denmark, 25-26 July 2002.
• MSR by Examples, Computer Science and Engineering Department, Indian Institute of Technology Delhi, India, 24 April 2002.
• The Wolf Within, Second Workshop on Issues in the Theory of Security - WITS'02, Portland, OR, 14 January 2002.

2001

• A Specification Language for Crypto-Protocols based on Multiset Rewriting Dependent Types and Subsorting, ICLP 2001 workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic - SAVE'01, Paphos, Cyprus, 1 December 2001.
• Expressing Type-Flaw Attacks in a Strongly-Typed Language, Second Workshop on Foundations for Secure/Survivable Systems and Networks, Tokyo, Japan, 27 October 2001. [Abstract]
• The Wolf Within, seminar on Specification and Analysis of Secure Cryptographic Protocols (check also this link), Dagstuhl, Germany, 24 September 2001. [Abstract]
• Abstract Specification of Crypto-Protocols and their Attack Models in MSR, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 6 August 2001. [Abstract]
• Automated Intruder Generation, Protocol eXchange Seminar - PX, Department of Computer Science, University of Maryland, Baltimore County, Baltimore, MD, 18 July 2001.
• The Dolev-Yao Intruder is the Most Powerful Attacker, 16th Annual IEEE Symposium on Logic in Computer Science - LICS'01, Boston, MA, 18 June 2001.
• Typed MSR: Syntax and Examples, First International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security - MMM'01, St. Petersburg, Russia, 22 May 2001.
• MSR, a Framework for Security Protocols and their Meta-Theory, Protocol eXchange Seminar - PX, Department of Computer Science University of Maryland, Baltimore County, Baltimore, MD, 23 April 2001. [Abstract]
• A (Linear) Spine Calculus, Seminar on Semantic Foundations of Proof-search, Dagstuhl, Germany, 4 April 2001. [Abstract]
• MSR by Examples, Workshop on Programming and Programming Languages - PPL'01, Kameoka, Japan, 21 March 2001. [Abstract]
• MSR, a Framework for Security Protocols and their Meta-Theory, Graduate School of Information Science, Japan Advanced Institute of Science and Technology - JAIST, Kanazawa, Japan, 15 March 2001. [Abstract]
• MSR, a Framework for Security Protocols and their Meta-Theory, Department of Information Science, University of Tokyo, Japan, 12 March 2001. [Abstract]
• MSR, a Framework for Security Protocols and their Meta-Theory, Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 2 February 2001. [Abstract]

2000

• A Flexible Methodology for Specifying Security Protocols, Seminar on Security through Analysis and Verification, Dagstuhl, Germany, 15 December 2000.
• Relating Strands and Multiset Rewriting Specification of Security Protocols, International School on Foundations of Security Analysis and Design - FOSAD'00, Bertinoro, Italy, 26 September 2000.
• Multiset Rewriting Specification of Security Protocols, First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology - MFSCIT'01, Cork, Ireland, 21 July 2000.
• Relating Strands and Multiset Rewriting for Security Protocol Analysis, 13th Computer Security Foundations Workshop - CSFW'00, Cambridge, UK, 3 July 2000.
• A Calculus of Macro-Events: Progress Report, 7th International Workshop on Temporal Representation and Reasoning - TIME'00, Cape Breton, NS, Canada, 7 July 2000.
• Security Protocol Specification with Strands and Multiset Rewriting, Dipartimento di Informatica e Matematica, University of Udine, Italy, 30 June 2000.
• Are Transition-Based Systems beyond the Reach of Logical Frameworks?, NSF-JSPS Cooperative Science Program "Logical Methods for Formal Verification of Software" kickoff meeting, Stanford University, Stanford, CA, 14 March 2000.
• Formalizing Strands, Strand Meeting, University of Maryland, Baltimore County, Baltimore, MD, 3 February 2000.

1999

• Explicit Substitutions for Linear Logical Frameworks: Preliminary Results, Workshop on Logical Frameworks and Meta-languages - LFM'99 Paris, France, 28 September 1999.
• Reasoning about State in a Linear Logical Framework, Naval Research Laboratory, Washington, DC, 23 April 1999.

1998

• The Linear Logical Framework LLF, Département d'Informatique, Université Laval, Québec, Canada. 16 October 1998.
• Course on Logical Frameworks, Département d'Informatique, Université Laval, Québec, Canada. 14-16 October 1998.
• Proof-Theoretic Foundation of Compilation in Logic Programming Languages 1998 Joint International Conference and Symposium on Logic Programming - JICSLP'98, Manchester, UK, 17 June 1998.
• A Modular Analysis of the Event Calculus with Modalities, Connectives, Quantifiers, and Preconditions, Department of Computing and Mathematics, Manchester Metropolitan University, Manchester, UK, 18 June 1998.
• The Linear Logical Framework LLF, Seventh Annual Workshop on Logic, language and Computation, CSLI, Stanford, CA, 29 May 1998.
• Event Calculus with Explicit Quantifiers, Fifth International Workshop on Temporal Representation and Reasoning - TIME'98, Sanibel Island, FL, 17 May 1998.
• Proof-Theoretic Foundation of Compilation in Logic Programming Languages, Department of Computer and Information Systems, University of Pennsylvannia, Philadelphia, PA, 4 May 1998.
• The Linear Logical Framework LLF, Linear Logic Workshop, CIRM, Marseille, France, 7 April 1998.
• Proof-Theoretic Foundation of Compilation in Logic Programming Languages, Computer Science Laboratory, SRI International, Menlo Park, CA, 5 February 1998.

1997

• A Linear Logical Framework, Research Institute for Mathematical Sciences, University of Kyoto, Japan, 2 June 1997.
• Modal Event Calculi with Preconditions, Fourth International Workshop on Temporal Representation and Reasoning - TIME'97, Daytona Beach, FL, 10 May 1997.
• A Linear Logical Framework, School of Computer Science, Telecommunications and Information Systems, DePaul University, Chicago, IL, 2 May 1997
• A Linear Logical Framework, Department of Computer Science and Engineering, Pennsylvania State University. 17 February 1997.
• A Linear Logical Framework, Department of Philosophy, Carnegie Mellon University. Pittsburgh, PA, 27 January 1997.

1996

• , Dipartimento di Informatica e Matematica, University of Udine Italy, 23 October 1996.
• A Linear Logical Framework, CRIN-LORIA, Nancy, France, 4 July 1996
• A Linear Logical Framework, 11th Annual IEEE Symposium on Logic in Computer Science - LICS'96, New Brunswick, NJ, 28 July 1996.
• Efficient Resource Management for Linear Logic Proof Search, International Workshop on Extensions of Logic Programming - ELP'96, Leipzig, Germany, 29 March 1996.
• A Linear Logical Framework, Ph.D. thesis defense, Milano, Italy 6 February 1996.

1995

• Efficient Resource Management for Linear Logic Proof Search, Dipartimento di Informatica e Matematica, University of Udine, Italy, 16 November 1995
• Petri Nets and Linear Logic: a Case Study for Logic Programming, Joint Conference on fDeclarative Programming - GULP-PRODE'95, Marina di Vietri, Italy, 12 September 1995

1994

• Modal Event Calculus, International Logic Programming Symposium 1994 - ILPS'94, Ithaca, NY, 17 November 1994.
• Lollipops taste of Vanilla too, Workshop on Proof-theoretical Extensions of Logic Programming - ELP'94, Santa Margherita Ligure, Italy, 18 June 1994.

1993

• Expression and Enforcement of Dynamic Integrity Constraints, First Italian Conference on Advanced Database Systems - SEBD'93, Gizzeria Lido, Italy, 15 June 1993.
• A WAM Implementation for the Logic Meta Programming Language 'Log, 8th Italian Conference on Logic Programming - GULP'93, Gizzeria Lido, Italy, 16 June 1993.
• On the Non-Monotonic Behavior of the Event Calculus for Deriving Maximal Time Intervals, International Conference on Numerical Analysis with Automatic Result Verification, Lafayette, LA, 26 February 1993.

1992

• A WAM Implementation for the Meta-Logic Programming Language 'Log, Master's thesis defense, Houston, TX, 24 July 1992.

1991

• Una Proposta per l'Introduzione di Capacità di Meta-Rappresentazione in un Linguaggio di Programmazione Logica (in Italian), Bachelor thesis defense, Udine, Italy 7 March 1991.

Last modified: Sun Apr 29, 07