Patrick Lincoln - Patrick Lincoln

Patrick Denis Lincoln (narozen 1964) je americký počítačový vědec, který vede Computer Science Laboratory (CSL) v SRI International. Vystudoval MIT a poté Stanford. Do SRI nastoupil v roce 1989 a ředitelem CSL se stal kolem roku 1998. Předtím zastával pozice u Systémy ETA, Národní laboratoř Los Alamos, a MCC.

Vzdělání a časná kariéra

Lincoln získal bakalářský titul v oboru elektrotechniky a výpočetní techniky z Massachusetts Institute of Technology v roce 1986, s prací „Redukce distribuovaného kombinátoru DisCoRd, automatický paralelizující překladač“ pod vedením vedoucího práce Rishiyura Nikhila.^[1] Během tohoto studia působil v softwarové divizi ETA Systems v letech 1982 až 1983; jeden v Národní laboratoř Los Alamos, Divize C-10 v letech 1984 až 1985. Po absolutoriu zastával funkci u MCC od roku 1986 do roku 1988 ve svých odděleních softwarových technologií a pokročilé počítačové architektury.^[1]

Lincoln se poté zúčastnil Stanfordská Univerzita, od roku 1988 do roku 1992, získal titul Ph.D. v informatice pod vedením poradce John Mitchell. Lincolnova disertační práce byla „Výpočetní aspekty lineární logika ".^[1][2][3]

Pozdější kariéra

V roce 1989 nastoupil Lincoln do laboratoře počítačové vědy (CSL) společnosti SRI International. Od roku 1998 je ředitelem laboratoře výpočetní techniky SRI a v roce 2018 se stal viceprezidentem pro informační a výpočetní vědy.^[4] Je také výkonným ředitelem programu SRI pro Ministerstvo vnitřní bezpečnosti Centrum pro výzkum a vývoj v oblasti kybernetické bezpečnosti a spoluředitel Centra pro výpočetní biologii SRI.^[5] Vede také řadu multidisciplinárních výzkumných skupin.^[6][7]

V roce 2013 byl uveden v BBC Horizont epizoda „Poražení hackerů“ ^[8] a epizoda NOVA „Rise of the Hackers“ ^[9] popisující jeho práci na bezpečné výpočty a kortikální kryptografie. Toto se zaměřuje na to, jak si v mysli někoho uložit heslo, které si nemůže přímo vzpomenout; například tím, že je naučíte hrát píseň a změříte jejich reakční časy.^[10][11] Tyto metody jsou teoreticky odolné vůči dešifrování gumové hadice, kde je uživatel nucen vzdát se hesla nebo jiného klíče; pokud neznáte heslo, nemůžete ho někomu sdělit.^[12]

Poradní sbory a ocenění

Sloužil na Vědecká rada pro obranu pracovní skupina pro vědu a technologii a pracovní skupina Rady pro obranu v oblasti obranných informačních operací. Působí v několika poradních sborech, včetně startupů jako Neurome,^[13] Relační AI,^[14] Černý kůň.

V roce 2005 byl Lincoln jmenován členem SRI.^[15] V roce 2013 získal se spolupracovníky cenu za nejlepší papír na 19. ročníku IEEE Pacific Rim International Symposium on Dependable Computing (PRDC).^[16]

Vybrané publikace

Patrick Lincoln je držitelem více než 240 vědeckých publikací. Patří mezi počítačové vědce, jejichž publikace h-index je nad 50 ^[17]

• bRIGHT - pracovní stanice budoucnosti a využití kontextových modelů, R Senanayake, G Denker, P Lincoln, mezinárodní konference o lidském rozhraní a správě informací, 2018
• Oprava modelu, dat a odměn: Důvěryhodné strojové učení pro rozhodovací procesy Markov, S Ghosh, S Jha, A Tiwari, P Lincoln, X Zhu, 48. výroční mezinárodní konference IEEE / IFIP o spolehlivých systémech, 2018
• Pravděpodobnostní modelování závislostí poruch pomocí logických sítí Markov S Ghosh, W Steiner, G Denker, P Lincoln, Proceedings of the 19. IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2013. (Cena za nejlepší papír)
• Neurověda se setkává s kryptografií: návrh kryptoprimitivů zabezpečených proti útokům gumovými hadicemi, H Bojinov, D Sanchez, P Reber, D Boneh, P Lincoln, Proceedings of the 21. USENIX conference on Security symposium, 33-33, 2012
• {TRIST}: Obcházení cenzury pomocí transkódovací rezistentní steganografie, C Connolly, P Lincoln, I Mason, V Yegneswaran, 4. {USENIX} Workshop o bezplatné a otevřené komunikaci na internetu ({FOCI} 14), 2014
• Bootstrapping komunikace do systému proti cenzuře, P Lincoln, I Mason, P Porras, V Yegneswaran, Z Weinberg, J Massar, W A Simpson, P Vixie, D Boneh, 2. workshop USENIX o volné a otevřené komunikaci na internetu, 2012
• Dynamické kódy LDPC pro paměť v nanoměřítku s různou rychlostí příjmu chyb, S Gosh, P Lincoln, Design & Technology of Integrated Systems in Nanoscale Era (DTIS), 2011 6th International Conference on, sv., Č., S. 1,4, 2011
• Markovovy logické sítě ve zdravotnické informatice, S Ghosh, P Lincoln, N Shankar, S Owre, S David, G Swan, Sborník ICML-MLGC, 2011
• Homogenita jako výhoda: Ochranu aplikace vyžaduje komunita, 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
• Výzvy v škálovatelné odolnosti proti chybám, P Lincoln, Nanoscale Architectures, NANOARCH'09. IEEE / ACM International Symposium on Nanoscale Architectures, 2009
• Perspektivy nefotolitografické nanoscale paměti hustoty, A DeHon, S C Goldstein, P J Kuekes, P Lincoln, IEEE Transaction on Nanotechnology 4 (2), 215-228 2005 citováno 117
• Sjednocení a zúžení v Maude 2.4, M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, Techniky přepisování a aplikace, 380-390 2009
• Časné ukazatele expozice biologickým nebezpečným látkám využívající profily hostitelských genů v mononukleárních buňkách periferní krve, R Das, R Hammamieh, R Neill, GV Ludwig, S Eker, P Lincoln, P Ramamoorthy, A ..., BMC Infectious Diseases 8 (1), 2008
• Maude: Specifikace a programování v přepisovací logice, M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, JF Quesada, Theoretical Computer Science 285 (2), 187-243, 2002 citováno 980
• Architektonická podpora softwaru odolného proti kopírování a neoprávněné manipulaci, D Lie, C Thekkath, M Mitchell, P Lincoln, D Boneh, J Mitchell, M Horowitz, ACM SIGPLAN Notices 35 (11), 168-177, 2000 citováno 852
• Používání 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 citováno 400
• Meta-notace pro analýzu protokolu„I Cervesato, NA Durgin, PD Lincoln, JC Mitchell, A Scedrov, Computer Security Foundations Workshop, 1999. Proceedings of the 12th IEEE ..., 1999 citováno 344
• Zásady Maude, M Clavel, S Eker, P Lincoln, J Meseguer, Electronic Notes in Theoretical Computer Science 4, 65-89, 1996 citováno 294
• Nerozhodnutelnost omezených bezpečnostních protokolů, NA Durgin, PD Lincoln, JC Mitchell, A Scedrov, In Workshop on Formal Methods and Security Protocols, 1999, citováno 345
• Systém 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 citováno 370
• Efektivní implementace mřížových operací, H Aït-Kaci, R Boyer, P Lincoln, R Nasr, ACM Transactions on Programming Languages ​​and Systems 11 (1), 115-146, 1989 citováno 310
• Vše o maude-vysoce výkonném logickém rámci: jak specifikovat, programovat a ověřovat systémy v logice přepisování, M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, Springer-Verlag, 2007 citováno 1235
• Pravděpodobnostní poly-time rámec pro analýzu protokolu, P Lincoln, J Mitchell, M Mitchell, A Scedrov, Sborník z 5. konference ACM o počítačích a komunikacích ... 1998, citováno 246
• Rozhodovací problémy pro výrokovou lineární logiku, P Lincoln, J Mitchell, A Scedrov, N Shankar, Annals of pure and applied logic 56 (1), 239-311, 1992 citováno 322
• Stochastická sestava sublitografických rozhraní v nanoměřítku, A DeHon, P Lincoln, JE Savage, Nanotechnology, IEEE Transactions on 2 (3), 165-174, 2003 citováno 246
• Profily epidemie a obrana bezškálových sítí, L Briesemeister, P Lincoln, P Porras, Proceedings of 2003 ACM Workshop on Rapid Malcode, 67-75, 2003 citováno 107
• Vše o vysoce výkonném logickém rámci Maude-A, jak specifikovat, programovat a ověřovat systémy v přepisovací logice, svazek 4350 přednášek v informatice, M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, CL Talcott, Springer 4, 50-88, 2007 citováno 205
• Logika dráhy: Symbolická analýza biologické signalizace, S Eker, M Knapp, K Laderoute, P Lincoln, J Meseguer, K Sonmez, Pacific symposium on Biocomputing 7, 400-412, 2002 citovaný 195
• Přepisování více souborů a složitost omezených bezpečnostních protokolů, N Durgin, P Lincoln, J Mitchell, A Scedrov, Journal of Computer Security 12 (2), 247-311, 2004 citovaný 194
• Manuál Maude (verze 2.6), M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott, University of Illinois, Urbana-Champaign 1 (3), 4.6, 2011 citováno 204
• Formálně ověřený algoritmus pro interaktivní konzistenci v rámci modelu hybridní poruchy, P Lincoln, J Rushby, Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., 1993. Objevuje se také ve FTCS: Highlights from 25 Years, 1995, str. 438–447 citovaný 128
• O Shostakově rozhodovacím postupu pro kombinace teorií„D Cyrluk, P Lincoln, N Shankar, Automated Deduction - CADE-13, 463-477, 1996 citováno 109
• Sdílení a oprava bezpečnostních výstrah s ochranou soukromí, P Lincoln, P Porras, V Shmatikov, Sborník příspěvků ze 13. konference o bezpečnostním sympoziu USENIX - svazek 13, 17-17, 2004 citováno 136

Patenty

Dr. Lincoln je držitelem více než 40 patentů v různých oblastech, včetně počítačové bezpečnosti, vysoce zabezpečených systémů, pokročilých uživatelských rozhraní, počítačových sítí, robotiky, biotechnologií a nanotechnologií. Vybraná podmnožina je uvedena níže.

Zabezpečení počítačů a informací

• Vizuálně intuitivní interaktivní síťová kybernetická obrana, R Senanayake, PA Porras, PD Lincoln, US Patent App. 14/733 899, 2016
• Metoda, systém a zařízení pro odvození aktuálního kontextu mobilního uživatele a proaktivní poskytování pomoci, K C Nitz, P D Lincoln, K L Myers, H H Bui, R Senanayake, G Denker, W Mark, N D Winarsky, S S Weiner, Americký patent 13585003, 2014
• {TRIST}: Obcházení cenzury pomocí transkódovací rezistentní steganografie, C Connolly, P Lincoln, I Mason, V Yegneswaran, 4. {USENIX} Workshop o bezplatné a otevřené komunikaci na internetu ({FOCI} 14), 2014
• Systém a metoda pro autentizaci vyrobeného produktu pomocí mobilního zařízení, SM Eker, PD Lincoln, US patent 8 534 543, 2013 a US patent 8 534 544, 2013
• Systém a metoda využívající informace založené na informacích pro zabezpečení a ověřování transakcí, PD Lincoln, N Shankar, US Patent 7 117 363, 2006 a US patent 8 171 297, 2012
• Systém a metoda klasifikace zabezpečení založené na mřížce, PD Lincoln, SM Dawson, P Samarati, SDC di Vimercati, US patent 6 922 696, 2005

Vysoce zabezpečené systémy

• Formální metody pro modelování a analýzu hybridních systémů, Tiwari, PD Lincoln, US patent 7574 334, 2009

Pokročilá kolaborativní multimodální uživatelská rozhraní

• Adaptabilní aktivované vstupní zařízení s integrovanou detekcí blízkosti, R Senanayake, G Denker, PD Lincoln, J Murray, SS Weiner, US patent 20 130 215 038, 2013
• Metoda adaptivní interakce se starší softwarovou aplikací, R Senanayake, G Denker, PD Lincoln, J Murray, SS Weiner, Americký patent 20 130 215 005, 2013
• Adaptabilní vstupní / výstupní zařízení, R Senanayake, G Denker, PD Lincoln, RD Kornbluh, SJ Lincoln, RP Heydt, H ..., US patent 20 120 313 857 2012 a US patent 20 120 313 854, 2012

Počítačové sítě

• Způsob a zařízení pro zpracování síťových paketů, PD Lincoln, SM Eker, US patent 7 706 378, 2010
• Metody a zařízení pro škálovatelnou, distribuovanou správu virtuálních privátních sítí, DWJ Stringer-Calvert, SM Dawson, PD Lincoln, US patent 7 403 980, 2008
• Způsob a zařízení pro poskytování škálovatelného zjišťování zdrojů, DWJ Stringer-Calvert, PD Lincoln, SM Dawson, US patent 7 177 867, 2007
• Způsob a zařízení pro generování, distribuci a rekonstrukci dekonstruovaného videa, PD Lincoln, DWJ Stringer-Calvert, SM Dawson, US patent 7 095 444, 2006

Robotika

• Roboti na procházení po zdiRE Pelrine, H Prahlad, RD Kornbluh, PD Lincoln, S Stanford, US patent 7554 787, 2009, US patent 7554 784, 2009 a Americký patent 8111 500, 2012

Biotechnologie

• Zařízení pro zesílení biomolekulárních vazeb v nanoměřítku, PD Lincoln, US Patent App. 12 / 215,239, 2008 a US patent 7 985 385, 2011
• Modelování a hodnocení metabolických reakčních drah a kultivace buněk, SM Eker, PD Lincoln, PD Karp, P Romero, US patent 7 308 363, 2007
• Porovnání sekvence biopolymerů, LR Toll, PD Lincoln, PD Karp, K Sonmez, US patent 7 133 781, 2006
• Model datového vztahuK Sonmez, LR Toll, PD Lincoln, PD Karp, US patent 7 039 238, 2006
• Způsob a zařízení pro klasifikaci odpovědí nukleových kyselin na infekční agens, PD Lincoln, SM Eker, US Patent App. 11/335 982, 2006
• Metoda a zařízení pro korelaci dat shromážděných z biologických senzorů v reálném čase, PD Lincoln, ADJ Valdes, PA Porras, US Patent App. 11/073257, 2005

Nanotechnologie

• Volumetrické zobrazovací zařízení v nanoměřítku, které má alespoň jedno mikroskopické zařízení pro elektrické připojení alespoň jednoho adresovatelného pole k prostředku pro zpracování dat, PD Lincoln, CM Patton, US patent 7 683 303, 2010
• Sublitografická architektura paměti v nanoměřítku, Dehon, CM Lieber, PD Lincoln, J Savage, US Patent 6,963,077, 2005 a Patent EP 1525 586, 2007
• Obvod výběru v nanoměřítku, Dehon, PD Lincoln, CM Lieber, J Savage, Patent EP 1 758 126, 2007
• Stochastická sestava sublitografických rozhraní v nanoměřítku, DeHon, CM Lieber, PD Lincoln, JE Savage, US patent 6 900 479, 2005 a Patent EP 1525 585, 2005
• Trojrozměrné paměťové pole, Dehon, PD Lincoln, CM Lieber, J Savage, Patent EP 1 630 819, 2009

Reference

externí odkazy

• SRI mezinárodní stránka
• Osobní domovská stránka
• Stránka Linkedin