Patrick Lincoln

Patrick Denis Lincoln (born 1964) is an American computer scientist leading the Computer Science Laboratory (CSL) at SRI International. Educated at MIT and then Stanford, he joined SRI in 1989 and became director of the CSL around 1998. He previously held positions with ETA Systems, Los Alamos National Laboratory, and MCC.

Lincoln received a bachelor of science in electrical engineering and computer science from the Massachusetts Institute of Technology in 1986, with the thesis "DisCoRd distributed combinator reduction, automatic parallelizing compiler" under thesis advisor Rishiyur Nikhil.^[1] While pursuing that degree, he held a position in ETA Systems' Software Division from 1982 to 1983; one at Los Alamos National Laboratory, Division C-10 from 1984 to 1985. After graduation, he held a position with MCC from 1986 to 1988 in their Software Technology and Advanced Computer Architecture departments.^[1]

Lincoln then attended Stanford University, from 1988 to 1992, earning a Ph.D. in computer science under advisor John Mitchell. Lincoln's doctoral dissertation was "Computational aspects of linear logic".^[1][2][3]

In 1989, Lincoln joined SRI International's Computer Science Laboratory (CSL). He is the director of SRI's Computer Science Laboratory since 1998 and became Vice-President of Information and Computing Sciences in 2018.^[4] He is also the executive director of SRI's program for the Department of Homeland Security's Cyber Security Research and Development Center and co-director of the SRI Center for Computational Biology.^[5] He also leads numerous multidisciplinary research groups.^[6][7]

En 2013, apareció en el episodio de BBC Horizon «Derrotando a los hackers» ^{[ 8 ]} y en el episodio de NOVA «El ascenso de los hackers» ^{[ 9 ],} donde describió su trabajo sobre computación segura y criptografía cortical. Esto se centra en cómo almacenar una contraseña en la mente de alguien que no pueda recordarla directamente; por ejemplo, enseñándole a tocar una canción y midiendo sus tiempos de reacción. ^{[ 10 ] [ 11 ]} Estos métodos son teóricamente resistentes al criptoanálisis de manguera de goma , donde se obliga a un usuario a revelar una contraseña u otra clave; si no sabes una contraseña, no puedes decírsela a nadie. ^{[ 12 ]}

Ha formado parte del grupo de trabajo de la Junta de Ciencias de la Defensa sobre Ciencia y Tecnología y del grupo de trabajo de la Junta de Ciencias de la Defensa sobre Operaciones de Información Defensiva. Forma parte de varios consejos asesores, incluidas empresas emergentes como Neurome, ^{[ 13 ]} Relational.AI, ^{[ 14 ]} Blackhorse.

En 2005, Lincoln fue nombrado miembro del SRI. ^{[ 15 ]} En 2013, él y sus colaboradores recibieron el premio al mejor artículo en el 19.º Simposio Internacional IEEE Pacific Rim sobre Computación Confiable (PRDC). ^{[ 16 ]}

Patrick Lincoln cuenta con más de 240 publicaciones científicas. Se encuentra entre los científicos informáticos cuyo índice h de publicaciones es superior a 50 ^{[ 17 ].}

• bRIGHT – Estaciones de trabajo del futuro y aprovechamiento de modelos contextuales, R Senanayake, G Denker, P Lincoln, Conferencia Internacional sobre Interfaz Humana y Gestión de la Información, 2018
• Reparación de modelos, datos y recompensas: Aprendizaje automático confiable para procesos de decisión de Markov, S Ghosh, S Jha, A Tiwari, P Lincoln, X Zhu, 48.ª Conferencia Internacional Anual IEEE/IFIP sobre Sistemas Confiables, 2018
• Modelado probabilístico de dependencias de fallas mediante redes lógicas de Markov. S. Ghosh, W. Steiner, G. Denker, P. Lincoln, Actas del 19.º Simposio Internacional IEEE Pacific Rim sobre Computación Confiable (PRDC), 2013. (Premio al mejor artículo)
• La neurociencia se une a la criptografía: diseño de primitivas criptográficas seguras contra ataques de manguera de goma , H Bojinov, D Sanchez, P Reber, D Boneh, P Lincoln, Actas del simposio de la 21.ª conferencia USENIX sobre seguridad, 33-33, 2012
• {TRIST}: Circumventing Censorship with Transcoding-Resistant Image Steganography, C Connolly, P Lincoln, I Mason, V Yegneswaran, 4th {USENIX} Workshop on Free and Open Communications on the Internet ({FOCI} 14), 2014
• Bootstrapping Communications into an Anti-Censorship System, P Lincoln, I Mason, P Porras, V Yegneswaran, Z Weinberg, J Massar, W A Simpson, P Vixie, D Boneh, 2nd USENIX Workshop on Free and Open Communications on the Internet, 2012
• Dynamic LDPC codes for nanoscale memory with varying fault arrival rates, S Gosh, P Lincoln, Design & Technology of Integrated Systems in Nanoscale Era (DTIS), 2011 6th International Conference on, vol., no., pp. 1,4, 2011
• Markov logic networks in health informatics, S Ghosh, P Lincoln, N Shankar, S Owre, S David, G Swan, Proceedings of ICML-MLGC, 2011
• Homogeneity as an advantage: It takes a community to protect an application, L Briesemeister, S Dawson, P Lincoln, H Saidi, J Thornton, G Durfee, P Kwan, E Stinson, A Oliner, J Mitchell, CollSec'10 Proceedings of the 2010 international conference on Collaborative methods for security and privacy, 2010
• Challenges in scalable fault tolerance, P Lincoln, Nanoscale Architectures, NANOARCH'09. IEEE/ACM International Symposium on Nanoscale Architectures, 2009
• Non-photolithographic nanoscale memory density prospects, A DeHon, S C Goldstein, P J Kuekes, P Lincoln, IEEE Transactions on Nanotechnology 4 (2), 215-228 2005 cited 117
• Unification and narrowing in Maude 2.4, M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, Rewriting Techniques and Applications, 380-390 2009
• Early indicators of exposure to biological threat agents using host gene profiles in peripheral blood mononuclear cells, R Das, R Hammamieh, R Neill, GV Ludwig, S Eker, P Lincoln, P Ramamoorthy, A ..., BMC Infectious Diseases 8 (1), 2008
• Maude: Specification and programming in rewriting logic, M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, JF Quesada, Theoretical Computer Science 285 (2), 187-243, 2002 cited 980
• Architectural support for copy and tamper resistant software, D Lie, C Thekkath, M Mitchell, P Lincoln, D Boneh, J Mitchell, M Horowitz, ACM SIGPLAN Notices 35 (11), 168-177, 2000 cited 852
• Using Maude, M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, JF Quesada, Fundamental Approaches to Software Engineering, 371-374, 2000 cited 400
• Una meta-notación para el análisis de protocolos , I Cervesato, NA Durgin, PD Lincoln, JC Mitchell, A Scedrov, Computer Security Foundations Workshop, 1999. Actas del 12º IEEE ..., 1999, citado 344
• Principios de maude , M Clavel, S Eker, P Lincoln, J Meseguer, Electronic Notes in Theoretical Computer Science 4, 65-89, 1996, citado 294
• Indecidibilidad de protocolos de seguridad acotados , NA Durgin, PD Lincoln, JC Mitchell, A Scedrov, En Taller sobre métodos formales y protocolos de seguridad, 1999, citado 345
• El sistema maude 2.0 , M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, Rewriting Techniques and Applications, 76-87, 2003, citado 370
• Implementación eficiente de operaciones reticulares , H Aït-Kaci, R Boyer, P Lincoln, R Nasr, ACM Transactions on Programming Languages ​​and Systems 11 (1), 115-146, 1989, citado 310
• Todo sobre maude: un marco lógico de alto rendimiento: cómo especificar, programar y verificar sistemas en lógica de reescritura , M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, Springer-Verlag, 2007, 1235 citas
• Un marco probabilístico de tiempo polinomial para el análisis de protocolos , P Lincoln, J Mitchell, M Mitchell, A Scedrov, Actas de la 5.ª conferencia ACM sobre informática y comunicaciones... 1998, citado 246
• Problemas de decisión para la lógica lineal proposicional , P Lincoln, J Mitchell, A Scedrov, N Shankar, Annals of pure and applied logic 56 (1), 239-311, 1992 citado 322
• Ensamblaje estocástico de interfaces a nanoescala sublitográficas , A. DeHon, P. Lincoln, J.E. Savage, IEEE Transactions on Nanotechnology 2 (3), 165-174, 2003, citado 246
• Perfiles epidémicos y defensa de redes libres de escala, L. Briesemeister, P. Lincoln, P. Porras, Actas del Taller ACM de 2003 sobre código malicioso rápido, 67-75, 2003, citado 107
• Todo sobre Maude: un marco lógico de alto rendimiento, cómo especificar, programar y verificar sistemas en lógica de reescritura , volumen 4350 de Lecture Notes in Computer Science, M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, CL Talcott, Springer 4, 50-88, 2007, citado 205
• Lógica de vías: Análisis simbólico de la señalización biológica , S Eker, M Knapp, K Laderoute, P Lincoln, J Meseguer, K Sonmez, Simposio del Pacífico sobre Biocomputación 7, 400-412, 2002, citado 195
• Reescritura de multiconjuntos y la complejidad de los protocolos de seguridad acotados , N Durgin, P Lincoln, J Mitchell, A Scedrov, Journal of Computer Security 12 (2), 247-311, 2004, citado 194
• Manual de Maude (versión 2.6) , M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott, Universidad de Illinois, Urbana-Champaign 1 (3), 4.6, 2011 citado 204
• Un algoritmo formalmente verificado para la consistencia interactiva bajo un modelo de fallos híbrido , P. Lincoln, J. Rushby, Fault-Tolerant Computing, 1993. FTCS-23. Resumen de artículos, 1993. También aparece en FTCS: Highlights from 25 Years, 1995, pp.  438–447 , citado 128.
• Sobre el procedimiento de decisión de Shostak para combinaciones de teorías , D Cyrluk, P Lincoln, N Shankar, Deducción automatizada—CADE-13, 463-477, 1996 citado 109
• Compartir y corregir alertas de seguridad preservando la privacidad , P Lincoln, P Porras, V Shmatikov, Actas de la 13.ª conferencia sobre el Simposio de Seguridad USENIX - Volumen 13, 17-17, 2004, citada en 136 ocasiones.

El Dr. Lincoln posee más de 40 patentes en diversos campos, entre ellos seguridad informática, sistemas de alta fiabilidad, interfaces de usuario avanzadas, redes informáticas, robótica, biotecnología y nanotecnología. A continuación se presenta una selección de las mismas.

Seguridad informática y de la información

• Sistema de ciberdefensa de red interactivo e intuitivo visualmente, R Senanayake, PA Porras, PD Lincoln, Solicitud de patente estadounidense 14/733,899, 2016
• Método, sistema y dispositivo para inferir el contexto actual de un usuario móvil y brindar asistencia de forma proactiva, KC Nitz, PD Lincoln, KL Myers, HH Bui, R Senanayake, G Denker, W Mark, ND Winarsky, SS Weiner, Patente estadounidense 13585003, 2014
• {TRIST}: Eludiendo la censura con esteganografía de imágenes resistente a la transcodificación, C Connolly, P Lincoln, I Mason, V Yegneswaran, 4.º Taller {USENIX} sobre comunicaciones libres y abiertas en Internet ({FOCI} 14), 2014
• Sistema y método para autenticar un producto manufacturado con un dispositivo móvil , SM Eker, PD Lincoln, Patente estadounidense 8,534,543 , 2013 y Patente estadounidense 8,534,544 , 2013
• Sistema y método que utiliza indicadores basados ​​en información para asegurar y autenticar transacciones , PD Lincoln, N Shankar, Patente estadounidense 7,117,363 , 2006 y Patente estadounidense 8,171,297 , 2012
• Sistema y método de clasificación de seguridad basado en retículos , PD Lincoln, SM Dawson, P Samarati, SDC di Vimercati, Patente estadounidense 6,922,696 , 2005

Sistemas de alta seguridad

• Métodos formales para el modelado y análisis de sistemas híbridos , A. Tiwari, P.D. Lincoln, Patente estadounidense 7,574,334 , 2009

Interfaces de usuario multimodales colaborativas avanzadas

• Dispositivo de entrada accionado adaptable con detección de proximidad integrada , R Senanayake, G Denker, PD Lincoln, J Murray, SS Weiner, Patente estadounidense 20,130,215,038 , 2013
• Método para la interacción adaptativa con una aplicación de software heredada , R Senanayake, G Denker, PD Lincoln, J Murray, SS Weiner, Patente estadounidense 20,130,215,005 , 2013
• Dispositivo de entrada/salida adaptable , R Senanayake, G Denker, PD Lincoln, RD Kornbluh, SJ Lincoln, RP Heydt, H ..., Patente estadounidense 20,120,313,857 2012 y Patente estadounidense 20,120,313,854 , 2012

Redes informáticas

• Método y aparato para el procesamiento de paquetes de red , PD Lincoln, SM Eker, Patente estadounidense 7,706,378 , 2010
• Métodos y aparatos para la gestión distribuida y escalable de redes privadas virtuales , DWJ Stringer-Calvert, SM Dawson, PD Lincoln, Patente estadounidense 7,403,980 , 2008
• Método y aparato para proporcionar descubrimiento de recursos escalable , DWJ Stringer-Calvert, PD Lincoln, SM Dawson, Patente estadounidense 7,177,867 , 2007
• Método y aparato para generar, distribuir y reconstruir vídeo deconstruido , PD Lincoln, DWJ Stringer-Calvert, SM Dawson, Patente estadounidense 7,095,444 , 2006

Robótica

• Robots trepadores de paredes , RE Pelrine, H Prahlad, RD Kornbluh, PD Lincoln, S Stanford, Patente estadounidense 7,554,787 , 2009, Patente estadounidense 7,554,784 , 2009 y Patente estadounidense 8,111,500 , 2012

Biotecnología

• Dispositivo potenciador de enlaces biomoleculares de matriz a nanoescala , PD Lincoln, solicitud de patente estadounidense n.° 12/215,239 , 2008, y patente estadounidense n.° 7,985,385 , 2011.
• Modelado y evaluación de vías de reacción metabólica y cultivo de células , SM Eker, PD Lincoln, PD Karp, P Romero, Patente estadounidense 7,308,363 , 2007
• Comparación de secuencias de biopolímeros , LR Toll, PD Lincoln, PD Karp, K Sonmez, Patente estadounidense 7,133,781 , 2006
• Modelo de relación de datos , K Sonmez, LR Toll, PD Lincoln, PD Karp, Patente estadounidense 7,039,238 , 2006
• Método y aparato para clasificar las respuestas de ácidos nucleicos a agentes infecciosos , PD Lincoln, SM Eker, Solicitud de patente estadounidense 11/335,982 , 2006
• Método y aparato para la correlación en tiempo real de datos recopilados de sensores biológicos , PD Lincoln, ADJ Valdes, PA Porras, Solicitud de patente estadounidense 11/073,257 , 2005

Nanotecnología

• Dispositivo de imágenes volumétricas a nanoescala que cuenta con al menos un dispositivo a microescala para acoplar eléctricamente al menos una matriz direccionable a un medio de procesamiento de datos , PD Lincoln, CM Patton, Patente estadounidense 7,683,303 , 2010
• Arquitectura de memoria a nanoescala sublitográfica , A. Dehon, C.M. Lieber, P.D. Lincoln, J. Savage, Patente estadounidense 6,963,077 , 2005 y Patente europea 1,525,586 , 2007
• Nanoscale selection circuit, A Dehon, PD Lincoln, CM Lieber, J Savage, EP Patent 1,758,126, 2007
• Stochastic assembly of sublithographic nanoscale interfaces, A DeHon, CM Lieber, PD Lincoln, JE Savage, US Patent 6,900,479, 2005 and EP Patent 1,525,585, 2005
• Three-dimensional memory array, A Dehon, PD Lincoln, CM Lieber, J Savage, EP Patent 1,630,819, 2009

• SRI International page
• Personal homepage
• Linkedin page