Patrick Lincoln

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 11

Top Topics

Keyphrase Extraction

Requirements Specification

Virus Detection

Symbolic Reasoning

Top Venues

Publications

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. MILCOM (2023)
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. CoRR (2023)
Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. ICAA (2023)
William Martin, Patrick Lincoln, William L. Scherlis
Formal Methods at Scale. IEEE Secur. Priv. 20 (3) (2022)
Rukman Senanayake, Grit Denker, Patrick Lincoln
bRIGHT - Workstations of the Future and Leveraging Contextual Models. HCI (4) (2018)
Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu
Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. DSN Workshops (2018)
Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln
Trusted Neural Networks for Safety-Constrained Autonomous Control. CoRR (2018)
Susmit Jha, Patrick Lincoln
Data Efficient Learning of Robust Control Policies. Allerton (2018)
Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu
Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models. AAAI Workshops (2017)
Ashish Tiwari, Patrick Lincoln
A search-based procedure for nonlinear real arithmetic. Formal Methods Syst. Des. 48 (3) (2016)
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
ARSENAL: Automatic Requirements Specification Extraction from Natural Language. NFM (2016)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
Two Decades of Maude. Logic, Rewriting, and Concurrency (2015)
Ashish Tiwari, Patrick Lincoln
A Nonlinear Real Arithmetic Fragment. CAV (2014)
Christopher Connolly, Patrick Lincoln, Ian Mason, Vinod Yegneswaran
TRIST: Circumventing Censorship with Transcoding-Resistant Image Steganography. FOCI (2014)
Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia
Safety envelope for security. HiCoNS (2014)
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
Automatically Extracting Requirements Specifications from Natural Language. CoRR (2014)
Hristo Bojinov, Daniel Sánchez, Paul J. Reber, Dan Boneh, Patrick Lincoln
Neuroscience meets cryptography: crypto primitives secure against rubber hose attacks. Commun. ACM 57 (5) (2014)
Shalini Ghosh, Patrick Lincoln, Christian Petersen, Alfonso Valdes
Virus Detection in Multiplexed Nanowire Arrays using Hidden Semi-Markov models. CoRR (2014)
Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln
Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks. PRDC (2013)
Patrick Lincoln, Ian Mason, Phillip A. Porras, Vinod Yegneswaran, Zachary Weinberg, Jeroen Massar, William Allen Simpson, Paul Vixie, Dan Boneh
Bootstrapping Communications into an Anti-Censorship System. FOCI (2012)
Hristo Bojinov, Daniel Sánchez, Paul J. Reber, Dan Boneh, Patrick Lincoln
Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks. USENIX Security Symposium (2012)
Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Linda Briesemeister, Steven Dawson, Patrick Lincoln, Hassen Saïdi, Jim Thornton, Glenn Durfee, Peter C. S. Kwan, Elizabeth Stinson, Adam J. Oliner, John C. Mitchell
Homogeneity as an Advantage: It Takes a Community to Protect an Application. CollSec (2010)
Patrick Lincoln
Challenges in scalable fault tolerance. NANOARCH (2009)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Unification and Narrowing in Maude 2.4. RTA (2009)
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute
Analyzing Pathways Using SAT-Based Approaches. AB (2007)
David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln
The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. Systems Biology and Regulatory Genomics (2005)
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln
A comparison between strand spaces and multiset rewriting for security protocol analysis. J. Comput. Secur. 13 (2) (2005)
Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute
Pathway Logic Helping Biologists Understand and Organize Pathway Information. CSB Workshops (2005)
Nancy A. Durgin, Patrick Lincoln, John C. Mitchell
Multiset rewriting and the complexity of bounded security protocols. J. Comput. Secur. 12 (2) (2004)
Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. Pacific Symposium on Biocomputing (2004)
Patrick Lincoln, Phillip A. Porras, Vitaly Shmatikov
Privacy-Preserving Sharing and Correlation of Security Alerts. USENIX Security Symposium (2004)
Patrick Lincoln, Ashish Tiwari
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. HSCC (2004)
David L. Dill, Patrick Lincoln
Evolution as Design Engineer. CMSB (2003)
Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer
Certifying and Synthesizing Membership Equational Proofs. FME (2003)
Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. CMSB (2003)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
The Maude 2.0 System. RTA (2003)
Patrick Lincoln
Invited Talk: Symbolic Systems Biology. RTA (2003)
Linda Briesemeister, Patrick Lincoln, Phillip A. Porras
Epidemic profiles and defense of scale-free networks. WORM (2003)
Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. CSB (2003)
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. ISSS (2002)
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
Pathway Logic: Executable Models of Biological Networks. Electron. Notes Theor. Comput. Sci. 71 (2002)
Livio Ricciulli, Phillip A. Porras, Patrick Lincoln, Pankaj Kakkar, Steven Dawson
An Adaptable Network COntrol and Reporting System (ANCORS). DANCE (2002)
Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
Maximizing Sharing of Protected Information. J. Comput. Syst. Sci. 64 (3) (2002)
Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert
NEVRLATE: Scalable Resource Discovery. CCGRID (2002)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285 (2) (2002)
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez
Pathway Logic: Symbolic Analysis of Biological Signaling. Pacific Symposium on Biocomputing (2002)
Stanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov
Negotiated Privacy: (Extended Abstract). ISSS (2002)
Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. J. Comput. Secur. 9 (4) (2001)
Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati
Global Infrastructure Protection System. J. Comput. Secur. 9 (4) (2001)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Using Maude. FASE (2000)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Towards Maude 2.0. WRLA (2000)
Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
Classifying Information for External Release. SEC (2000)
Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer
Principles of Mobile Maude. ASA/MA (2000)
Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
Efficient fault-tolerant certificate revocation. CCS (2000)
David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz
Architectural Support for Copy and Tamper Resistant Software. ASPLOS (2000)
Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov
Relating Strands and Multiset Rewriting for Security Protocol Analysis. CSFW (2000)
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
A Meta-Notation for Protocol Analysis. CSFW (1999)
Patrick Lincoln, John C. Mitchell, Andre Scedrov
Optimization Complexity of Linear Logic Proof Games. Theor. Comput. Sci. 227 (1-2) (1999)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
The Maude System. RTA (1999)
Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods (1999)
Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
Minimal Data Upgrading to Prevent Inference and Association. PODS (1999)
Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati
PGRIP: PNNI Global Routing Infrastructure Protection. NDSS (1999)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
Metalevel computation in Maude. WRLA (1998)
Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
A Probabilistic Poly-Time Framework for Protocol Analysis. CCS (1998)
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
Maude as a metalanguage. WRLA (1998)
Chris J. Walter, Patrick Lincoln, Neeraj Suri
Formally Verified On-Line Diagnosis. IEEE Trans. Software Eng. 23 (11) (1997)
Shmuel Katz, Patrick Lincoln, John M. Rushby
Low-Overhead Time-Triggered Group Membership. WDAG (1997)
David Cyrluk, Patrick Lincoln, Natarajan Shankar
On Shostak's Decision Procedure for Combinations of Theories. CADE (1996)
Patrick Lincoln, John C. Mitchell, Andre Scedrov
The Complexity of Local Proof Search in Linear Logic. Electron. Notes Theor. Comput. Sci. 3 (1996)
Patrick Lincoln, John C. Mitchell, Andre Scedrov
Linear logic proof games and optimization. Bull. Symb. Log. 2 (3) (1996)
Livio Ricciulli, Patrick Lincoln, José Meseguer
Distributed Simulation of Parallel Executions. Annual Simulation Symposium (1996)
Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
Principles of Maude. WRLA (1996)
Patrick Lincoln, Andre Scedrov, Natarajan Shankar
Decision Problems for Second-Order Linear Logic LICS (1995)
Patrick Lincoln, Natarajan Shankar
Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi LICS (1994)
Patrick Lincoln, Andre Scedrov
First-Order Linear Logic without Modalities is NEXPTIME-Hard. Theor. Comput. Sci. 135 (1) (1994)
Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. Specification of Parallel Algorithms (1994)
Patrick Lincoln, José Meseguer, Livio Ricciulli
The Rewrite Rule Machine Node Architecture and Its Performance. CONPAR (1994)
Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE (1994)
Patrick Lincoln, Timothy C. Winkler
Constant-Only Multiplicative Linear Logic is NP-Complete. Theor. Comput. Sci. 135 (1) (1994)
Patrick Lincoln, Andre Scedrov, Natarajan Shankar
Linearizing Intuitionistic Implication. Ann. Pure Appl. Log. 60 (2) (1993)
Patrick Lincoln, John M. Rushby
The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. CAV (1993)
Patrick Lincoln, John M. Rushby
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model. FTCS (1993)
Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Log. 56 (1-3) (1992)
Patrick Lincoln
Linear logic. SIGACT News 23 (2) (1992)
Patrick Lincoln, John C. Mitchell
Operational aspects of linear lambda calculus LICS (1992)
Patrick Lincoln, John C. Mitchell
Algorithmic Aspects of Type Inference with Subtypes. POPL (1992)
Patrick Lincoln, Andre Scedrov, Natarajan Shankar
Linearizing Intuitionistic Implication LICS (1991)
Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
Decision Problems for Propositional Linear Logic FOCS (1990)
Patrick Lincoln, Jim Christian
Adventures in Associative-Commutative Unification. J. Symb. Comput. 8 (1/2) (1989)
Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
Efficient Implementation of Lattice Operations. ACM Trans. Program. Lang. Syst. 11 (1) (1989)
Patrick Lincoln, Jim Christian
Adventures in Associative-Commutative Unification (A Summary). CADE (1988)
Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr
Le Fun: Logic, Equations and Functions. SLP (1987)