Patrick Lincoln's Recent Papers

• In preparation: ``Nonlithographic, Nanoscale Memory Density Prospects'' Andre DeHon, Seth Goldstein, Phil Kuekes, Patrick Lincoln.
• In preparation: ``Interactive Proof-Carrying Code'', C. Dwork, S. Kannan, P. D. Lincoln, J.C. Mitchell, R. Rubinfeld, A. Scedrov. Submitted (September 2002) to Journal of Automated Reasoning.
• In preparation: ``Towards a Semantic Framework for Secure Agents'', C. Talcott, P. D. Lincoln. Submitted to High Confidence Software and Systems Symposium 2003.
• PSB 2004: ``Pathway Logic Modeling of Protein Functional Domains in Signal Transduction'' Carolyn Talcott, Steven Eker and Merrill Knapp and Keith Laderoute and Patrick Lincoln January, 2004. To Appear: Proceedings of the Pacific Symposium on Biocomputing. January, 2004. pdf
• WORM 2003 ''Epidemic Profiles and Defense of Scale-Free Networks'', Linda Briesemeister, Patrick Lincoln, and Phil Porras. ACM WORM'03, October 27, 2003, Washington, DC, USA. pdf
• TNANO 2003 ``Stochastic Assembly of Sublithographic Nanoscale Interfaces'' Andre DeHon, Patrick Lincoln, John Savage. IEEE Transactions on Nanotechnology, Vol 2, Issue 3, Pages 165--174, September 2003.
• JCS 2003: ``Multiset Rewriting and the Complexity of Bounded Security Protocols'' N.A Durgin, P.D. Lincoln, J.C.Mitchell, A. Scedrov, To appear, Journal of Computer Security.
• RTA 2003 ``The Maude 2.0 System'' Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso Marti-Oliet Jose Meseguer, Carolyn Talcott.
• CMSB 2003: ``Representing and simulating protein functional domains in signal transduction using MAUDE'' - Steven Eker, Keith Laderoute, Patrick Lincoln, M.G. Sriram and Carolyn Talcott International workshop on Computational Methods in Systems Biology LNCS. February 2003.
• CMSB 2003: ``Evolution as Design Engineer'' David Dill and Patrick Lincoln, International workshop on Computational Methods in Systems Biology LNCS. February 2003.
• ISSS 2002: ``Negotiated Privacy'' Jarecki, S., Lincoln, P., and Shmatikov, V. LNCS Proc. International Symposium on Software Security (ISSS), 2002
• WRLA 2002: ``Pathway Logic: Executable Models of Biological Networks'' Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, and Carolyn Talcott. 2002. Electronic Notes in Theoretical Computer Science, Volume 71, Number xxx, From Fourth International Workshop on Rewriting Logic and Its Applications WRLA'2002. Elsevier. 2002.
• PSB 2002: ``Pathway Logic: Symbolic Analysis of Biological Signaling'' Steven Eker and Merrill Knapp and Keith Laderoute and Patrick Lincoln and Jose Meseguer and Kemal Sonmez. January, 2002. From Proceedings of the Pacific Symposium on Biocomputing. January, 2002. Pages 400.412.
• CCGRID 2002: ``NEVRLATE: Scalable Resource Discovery'' A. Chander, S. Dawson, P. Lincoln, D. Stringer-Calvert 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02) May 21 - 24, 2002 Berlin, Germany
• JCS 2001: ``Depender Graphs: A method of fault-tolerant certificate distribution'' R.Wright, P. Lincoln and J. Millen. 2001. Appears in Journal of Computer Security, Volume 9, Number 4. 2001. Pages 323.338.
• ASPLOS-IX: ``Architectural Support for Copy and Tamper Resistant Software'' D. Lie, C. Thekkath, P. Lincoln, M. Mitchell, D. Boneh, J. Mitchell, M. Horowitz. November, 2000. From Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX). Cambridge, MA. November, 2000.
• CCS 2000: ``Efficient Fault-Tolerant Certificate Revocation'' Rebecca N. Wright, Patrick D. Lincoln and Jonathan K. Millen. 2000 ACM CCS: Computer and Communications Security, June, 2000.
• ASA/MA 2000: ``Principles of Mobile Maude'' F. Duran, S. Eker, P. Lincoln, and J. Meseguer Lecture Notes in Computer Science, Volume 1882. From Procs. ASA/MA 2000. Edited by D. Kotz and F. Mattern. Springer-Verlag. 2000. Pages 73.85.
• CSFW 2000: ``Relating Strands and Multiset Rewriting for Security Protocol Analysis'' Cervesato, Durgin, Mitchell, Lincoln and Scedrov. 2000. Proceedings of The 13th Computer Security Foundations Workshop. IEEE Computer Society Press. 2000.
• ENTCS 2000: ``Towards Maude 2.0'' M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer and J. Quesada. 2000. Appears in ENTCS, Volume 36. From Procs. 3rd Intl. Workshop on Rewriting logic and its Applications. Edited by F. Futatsugi. Elsevier. 2000.
• TCS'99: Optimization Complexity of Linear Logic Proof Games ps.gz (by P.D. Lincoln J.C. Mitchell and A. Scedrov), 30 pp., accepted for publication in Theoretical Computer Science.
• FM'99: Probabilistic polynomial-time equivalence and security protocols dvi dvi.gz ps ps.gz PDF
  (by P.D. Lincoln, J.C. Mitchell, M. Mitchell, and A. Scedrov) In: "FM'99 World Congress On Formal Methods in the Development of Computing Systems", Toulouse, France, September, 1999.
• FMSP'99: Undecidability of bounded security protocols
  (by N.A. Durgin, P.D. Lincoln, J.C. Mitchell, and A. Scedrov) In: "Workshop on Formal Methods and Security Protocols", Trento, Italy, July, 1999.
• CSFW'99: A Meta-Notation for Protocol Analysis ps
  PDF
  (by Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, and Andre Scedrov) 12th IEEE Compuer Security Foundations Workshop, Mordano, Italy, June 1999.
• PODS'99: Minimal Data Upgrading to Prevent Inference and Association Attacks ps
  PDF
  (by Steve Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, and Pierangela Samarati), 18th ACM Principles of Database Systems, Philladelphia, PA, May 31 1999.
• CNDS'99: TCP SYN Flooding Defense (by Livio Ricciulli, Patrick Lincoln, Pankaj Kakkar) Simulation Multiconference, San Francisco, 1999
• NDSS'99: PGRIP: PNNI Global Routing Infrastructure Protection (by Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati) Network and Distributed System Security conference (San Diego).
• ISW'99: PNNI Global Routing Infrastructure Protection (by Livio Ricciulli, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati) Information Security Workshop Orlando, FL, 1999.
• RLW'99: The Maude Interpreter
  (by M. Clavel, D. Duran, S. Eker, P.D. Lincoln, N. Marti-Oliet, J. Meseger, and J.F.Quesada) Rewriting Logic Workshop, Nice, France 1999.
• CCS'98: A Probabilistic PolyTime Framework ps
  PDF
  (by Patrick Lincoln, John Mitchell, Mark Mitchell, and Andre Scedrov) In: "5-th ACM Conference on Computer and Communications Security", San Francisco, California, November 5, 1998, 10 pp.
• TSE'97: Formally Verified On-Line Diagnosis html (by Chris Walter, Patrick Lincoln, and Neeraj Suri) IEEE Transactions on Software Engineering, Vol 23, No 11, November 1997, pp. 684-721.
• WDAG'97: Low-overhead Time-Triggered Group Membership html
  (by Shmuel Katz, Pat Lincoln, and John Rushby) 11th International Workshop on Distributed Algorithms, Saarbrucken Germany, September 24-26, 1997. Springer-Verlag Lecture Notes in Computer Science Vol. 1320, pp. 155-169.
• LISM'97: Decision Problems for Second Order Linear Logic dvi.Z dvi.gz ps ps.gz PDF
  (by P.D. Lincoln, A. Scedrov, and N. Shankar) In: ``Logic and Scientific Methods'', ed. by M.L. Dalla Chiara et al., Kluwer Academic Publishers, 1997, pp. 127-143.
• CADE'96: On Shostak's Decision Procedure for Combinations of Theories html
  (by David Cyrluk, Patrick Lincoln, and Natarajan Shankar) Conference on Automated Deduction, Springer Verlag LNAI 1104, pp 463-477, July 1996, New Brunswick, NJ.
• RLW'96: Principles of Maude
  M.G. Clavel,, S. Eker, P.D. Lincoln, and J. Meseguer, Proc. 1st International Workshop on Rewriting Logic and its applications, Monteray, California, September 1996, Electronic Notes in Theoretical Computer Science.
• LL'96: The Complexity of Local Proof Search in Linear Logic
  P.Lincoln, J.Mitchell, and A.Scedrov, Proc. Linear Logic '96, Tokyo, Electronic Notes in Theoretical Computer Science, Volume 3 (1996) 10 pp
• BSL'96: Linear Logic Proof Games and Optimization ref
  P.Lincoln, J.Mitchell, and A.Scedrov, Bulletin of Symbolic Logic, Vol 2, Issue 3, September, 1996, pages 322-338.
• Sim'96: Distributed simulation of parallel executions L. Ricciulli, P.D. Lincoln, and J. Meseguer, Proc. 29th Annual Simulation Symposium, New Orleans, Louisiana, April 1996, pages 15-24.
• LL'95: Stochastic Interaction and Linear Logic dvi.Z
  (by P.D. Lincoln, J.C. Mitchell and A. Scedrov). in {\em Advances in Linear Logic}, ed. by J.-Y. Girard, Y. Lafont, and L. Regnier, London Mathematical Society Lecture Notes Series, Volume 222, Cambridge University Press, 1995, pp. 147-166.
• LL'95: Deciding Provability of Linear Logic Formulas
  (by P.D. Lincoln) In: {\em Advances in Linear Logic}, London Mathematical Society Lecture Notes Series, Volume 222, Cambridge University Press, 1995.
• DCCA'95: Authenticated Byzantine Agreement html
  (by Li Gong, Patrick Lincoln, and John Rushby)
• LICS'95: Decision Problems for Second Order Linear Logic DVI.Z DVI.gz PS PS.gz PDF
  (by P.D. Lincoln, A. Scedrov, and N. Shankar) "10-th Annual IEEE Symposium on Logic in Computer Science", San Diego, California, June, 1995, IEEE Computer Society Press, 1995, pp. 476-485.
  
• LLWork'95: Overview of Decision Problem for Linear Logic Complexity Results DVI.Z DVI.gz PS PS.gz PDF
  
• TCS'94: Constant-Only Linear Logic is NP-Complete DVI.Z DVI.gz PS PS.gz PDF
  (by P.D. Lincoln and T. Winkler) Theoretical Computer Science 135 (1994)
• TCS'94: First Order Linear Logic Without Modalities is NEXPTIME-Hard, DVI.Z DVI.gz PS PS.gz PDF
  (by P.D. Lincoln and A. Scedrov). Theoretical Computer Science 135 (1994) pp. 139-154.
  
• COMPASS'94: Formal Verification of Draper's FTP Under A Hybrid Fault Model DVI.Z DVI.gz PS PS.gz PDF
  (by Patrick Lincoln and John Rushby)
  
• DIMACS'94: Maude: Specification and Programming in Rewriting Logic DVI.Z DVI.gz PS PS.gz PDF
  
• LICS'94: Dynamic Skolemization for Non-Classical First Order Logics DVI.Z DVI.gz PS PS.gz PDF
  (by Patrick Lincoln and Natarajan Shankar)
  
• PARLE'94: Compiling Rewriting onto SIMD and MIMD/SIMD Machines DVI.Z DVI.gz PS PS.gz PDF
  
• CONPAR'94: The Rewrite Rule Machine Node Architecture and its Performance (by P.D. Lincoln, J. Meseguer, and L. Ricciulli) CONPAR VAPP VI July 1994.
• FTCS'93: A New Hybrid Algorithm for Byzantine Agreement DVI.Z DVI.gz PS PS.gz PDF
  (by Patrick Lincoln and John Rushby)
• CAV'93: Formal Verification of Hyrbid Agreement Algorithm DVI.Z DVI.gz PS PS.gz PDF
  (by Patrick Lincoln and John Rushby)
  
• SIGACT'92: Introduction to Linear Logic DVI.Z DVI.gz PS PS.gz PDF
  (by Patrick Lincoln)
  
• Frontiers'92: Simulations of the RRM DVI.Z DVI.gz PS PS.gz PDF
  
• APAAL'92: Decision Problems for Propositional Linear Logic, DVI.Z DVI.gz PS PS.gz PDF
  (by P.D. Lincoln, J.C. Mitchell, A. Scedrov, and N. Shankar). Annals of Pure and Applied Logic 56 (1992) pp. 239-311, Special Volume dedicated to the memory of John Myhill.
  
• LICS'92: A Linear Lambda Calculus DVI.Z DVI.gz PS PS.gz PDF
  (by Patrick Lincoln and John Mitchell)
  
• POPL'92: Algorithmic Aspects of Type Inference with Subtypes DVI.Z DVI.gz PS PS.gz PDF
  (by Patrick Lincoln and John Mitchell)
• Disstertation: Computational Aspects of Linear Logic PS PS.Z PDF
  (by Patrick Lincoln) Stanford Ph.D. Dissertation.
  
• LICS'91: Linearizing Intuitionistic Implication, DVI.Z DVI.gz PS PS.gz PDF
  (by P.D. Lincoln, A. Scedrov and N. Shankar) Annals of Pure and Applied Logic 60 (1993) pp. 151-177.
  
• FOCS'90: Decision Problems for Propositional Linear Logic, DVI.Z DVI.gz PS PS.gz PDF
  (by P.D. Lincoln, J.C. Mitchell, A. Scedrov, and N. Shankar).
  
• TAI'90: LIFE: A Natural Language for NLP DVI.Z DVI.gz PS PS.gz PDF
  (by Hassan Ait-Kaci, Patrick Lincoln, and Roger Nasr)
• JSC'89: Adventures in Associative-Commutative Unification DVI.Z DVI.gz PS PS.gz PDF
  (by Patrick Lincoln and Jim Christian)
  
• TOPLAS'89: New Algorithms for Lattice Operations DVI.Z DVI.gz PS PS.gz PDF
  (by Hassan Ait-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr)
  
• CADE'88: A New Associative-Commutative Unification Algorithm DVI.Z DVI.gz PS PS.gz PDF
  (by Patrick Lincoln and Jim Christian)
  
• SLP'87: Integrating Functional and Logic Programming DVI.Z DVI.gz PS PS.gz PDF
  (by Hassan Ait-Kaci, Patrick Lincoln, and Roger Nasr)
• Thesis'86: Distributed Combinator Reduction
  (by Patrick Lincoln) MIT Bachelor's thesis.

See Related Papers Through:

• Linear Logic and Proof Theory
  
• Rewriting Program
• Formal Methods Program