Патрик Линкольн - Patrick Lincoln

Патрик Линкольн
Родившийся1964
Альма-матерМассачусетский Институт Технологий
Стэндфордский Университет
ИзвестенКомпьютерная безопасность, Формальная проверка, Вычислительная биология, Нанотехнологии
НаградыSRI International Сотрудник 2005 г.
Научная карьера
ПоляИнформатика
УчрежденияSRI International
ДокторантДжон Митчелл

Патрик Денис Линкольн (1964 г.р.) - американский ученый-компьютерщик, руководитель Лаборатории компьютерных наук (CSL) в SRI International. Получив образование в Массачусетском технологическом институте, а затем в Стэнфорде, он присоединился к SRI в 1989 году и стал директором CSL примерно в 1998 году. Ранее он занимал должности в ETA Systems, Лос-Аламосская национальная лаборатория, и MCC.

Образование и начало карьеры

Линкольн получил степень бакалавра электротехники и информатики в Массачусетский Институт Технологий В 1986 г. защитил диссертацию «Редукция распределенного комбинатора DisCoRd, компилятор автоматического распараллеливания» под руководством научного руководителя Ришиюра Нихила.[1] Получая эту степень, он занимал должность в подразделении программного обеспечения ETA Systems с 1982 по 1983 год; один в Лос-Аламосская национальная лаборатория В дивизионе С-10 с 1984 по 1985 год. После окончания учебы занимал должность в MCC с 1986 по 1988 год на отделениях программных технологий и современной компьютерной архитектуры.[1]

Линкольн тогда посетил Стэндфордский Университет, с 1988 по 1992 год, защитил докторскую диссертацию. в информатике под руководством консультанта Джон Митчелл. Докторская диссертация Линкольна была «Вычислительные аспекты линейная логика ".[1][2][3]

Более поздняя карьера

В 1989 году Линкольн присоединился к Лаборатории компьютерных наук (CSL) SRI International. Он является директором Лаборатории компьютерных наук НИИ с 1998 года и стал вице-президентом по информационным и вычислительным наукам в 2018 году.[4] Он также является исполнительным директором программы SRI для Департамент внутренней безопасности Центр исследований и разработок в области кибербезопасности и содиректор Центра вычислительной биологии НИИ.[5] Он также возглавляет многочисленные междисциплинарные исследовательские группы.[6][7]

В 2013 году он был показан на BBC. Горизонт серия "Победа над хакерами" [8] и эпизод NOVA "Восстание хакеров" [9] описывая свою работу над безопасные вычисления и корковая криптография. Это сосредоточение на том, как сохранить в голове пароль, который они не могут вспомнить напрямую; например, научив их играть песню и измерив время их реакции.[10][11] Те методы теоретически устойчивы к резиношланговый криптоанализ, где пользователя принуждают отказаться от пароля или другого ключа; если вы не знаете пароль, вы не можете никому его сообщить.[12]

Консультативные советы и награды

Он служил на Совет по оборонным наукам целевая группа по науке и технологиям и целевая группа Министерства обороны по оборонным информационным операциям. Он входит в несколько консультативных советов, включая такие стартапы, как Neurome,[13] Relational.AI,[14] Черная лошадь.

В 2005 году Линкольн был назначен научным сотрудником SRI.[15] В 2013 году он и его сотрудники получили награду за лучшую работу на 19-м международном симпозиуме IEEE Pacific Rim по надежным вычислениям (PRDC).[16]

Избранные публикации

Патрик Линкольн является автором более 240 научных публикаций. Он входит в число компьютерных ученых, чьи публикации ' индекс Хирша выше 50 [17]

  • bRIGHT – Рабочие станции будущего и использование контекстных моделей, Р. Сенанаяке, Дж. Денкер, П. Линкольн, Международная конференция по человеческому интерфейсу и управлению информацией, 2018
  • Ремонт модели, данных и вознаграждений: доверенное машинное обучение для марковских процессов принятия решений, С. Гош, С. Джа, А. Тивари, П. Линкольн, Х Чжу, 48-я ежегодная Международная конференция IEEE / IFIP по надежным системам, 2018
  • Вероятностное моделирование зависимостей отказов с использованием логических сетей Маркова С. Гош, В. Штайнер, Г. Денкер, П. Линкольн, Материалы 19-го Международного симпозиума IEEE Pacific Rim по надежным вычислениям (PRDC), 2013. (Премия за лучшую работу)
  • Нейробиология встречает криптографию: разработка криптопримитивов, защищенных от атак с помощью резинового шланга, Х. Божинов, Д. Санчес, П. Ребер, Д. Бонех, П. Линкольн, Материалы 21-й конференции USENIX по симпозиуму по безопасности, 33-33, 2012
  • {TRIST}: Обойти цензуру с помощью стеганографии изображений, устойчивых к перекодированию, К. Коннолли, П. Линкольн, И. Мейсон, В. Егнесваран, 4-й семинар {USENIX} по свободным и открытым коммуникациям в Интернете ({FOCI} 14), 2014
  • Загрузка сообщений в систему защиты от цензуры, П. Линкольн, И. Мейсон, П. Поррас, В. Егнесваран, З. Вайнберг, Дж. Массар, В. А. Симпсон, П. Викси, Д. Бонех, 2-й семинар USENIX по свободным и открытым коммуникациям в Интернете, 2012
  • Динамические коды LDPC для наноразмерной памяти с различной скоростью поступления ошибок, С. Гош, П. Линкольн, Дизайн и технология интегрированных систем в эру наномасштаба (DTIS), 6-я Международная конференция 2011 г., том, №, стр. 1,4, 2011
  • Марковские логические сети в информатике здоровья, С. Гош, П. Линкольн, Н. Шанкар, С. Овре, С. Дэвид, Дж. Свон, Труды ICML-MLGC, 2011
  • Однородность как преимущество: для защиты приложения требуется сообщество., Л. Бриземейстер, С. Доусон, П. Линкольн, Х. Саиди, Дж. Торнтон, Дж. Дарфи, П. Кван, Э. Стинсон, А. Олинер, Дж. Митчелл, CollSec'10 Труды международной конференции 2010 года по совместным методам безопасности и конфиденциальности, 2010
  • Проблемы масштабируемой отказоустойчивости, П. Линкольн, Архитектура в наномасштабе, NANOARCH'09. Международный симпозиум IEEE / ACM по наноразмерным архитектурам, 2009
  • Перспективы нефотолитографической наноразмерной плотности памяти, A DeHon, S.C Goldstein, PJ Kuekes, P Lincoln, IEEE Transactions on Nanotechnology 4 (2), 215-228 2005 цитируется 117
  • Унификация и сужение в Maude 2.4, М. Клавель, Ф. Дюран, С. Экер, С. Эскобар, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Талкотт, Методы и приложения перезаписи, 380–390 2009
  • Ранние индикаторы воздействия агентов биологической угрозы с использованием профилей генов-хозяев в мононуклеарных клетках периферической крови, R Das, R Hammamieh, R. Neill, GV Ludwig, S Eker, P Lincoln, P. Ramamoorthy, A ..., BMC Infectious Diseases 8 (1), 2008
  • Maude: Спецификация и программирование в логике перезаписи, М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, Дж. Ф. Кесада, Теоретическая информатика 285 (2), 187-243, 2002 процитировано 980
  • Архитектурная поддержка программного обеспечения, защищенного от копирования и несанкционированного доступа, Д. Ли, С. Теккат, М. Митчелл, П. Линкольн, Д. Бонех, Дж. Митчелл, М. Горовиц, ACM SIGPLAN Notices 35 (11), 168-177, 2000 цитировано 852
  • Использование Мод, М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, Дж. Ф. Кесада, Фундаментальные подходы к разработке программного обеспечения, 371-374, 2000 процитировал 400
  • Мета-нотация для анализа протокола, I Cervesato, NA Durgin, PD Lincoln, JC Mitchell, A Scedrov, Computer Security Foundations Workshop, 1999. Труды 12-го IEEE ..., 1999 процитировано 344
  • Принципы мод, М. Клавель, С. Экер, П. Линкольн, Дж. Месегер, Электронные заметки по теоретической информатике 4, 65-89, 1996 процитировано 294
  • Неразрешимость ограниченных протоколов безопасности, Н.А. Дургин, П.Д. Линкольн, Дж. К. Митчелл, А. Щедров, В семинаре по формальным методам и протоколам безопасности, 1999 г., процитировано 345
  • Система мод 2.0, М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Талкотт, Методы перезаписи и приложения, 76-87, 2003 процитировано 370
  • Эффективная реализация решетчатых операций, Х. Айт-Качи, Р. Бойер, П. Линкольн, Р. Наср, Транзакции ACM на языках программирования и системах 11 (1), 115-146, 1989 цитируется 310
  • Все о моде - высокопроизводительной логической структуре: как определять, программировать и проверять системы при переписывании логики, М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Талкотт, Спрингер-Верлаг, 2007 г. цитируется 1235
  • Вероятностная поливременная структура для анализа протокола, П. Линкольн, Дж. Митчелл, М. Митчелл, А. Щедров, Труды 5-й конференции ACM по компьютерам и коммуникациям ... 1998, процитировано 246
  • Проблемы решения для пропозициональной линейной логики, П. Линкольн, Дж. Митчелл, А. Щедров, Н. Шанкар, Анналы чистой и прикладной логики 56 (1), 239-311, 1992 цитируется 322
  • Стохастическая сборка сублитографических наноразмерных интерфейсов, A DeHon, P Lincoln, JE Savage, Nanotechnology, IEEE Transactions on 2 (3), 165-174, 2003. процитировано 246
  • Профили эпидемий и защита безмасштабных сетей, L Briesemeister, P Lincoln, P Porras, Proceedings of 2003 ACM Workshop on Rapid Malcode, 67-75, Цитировано в 2003 г. 107
  • Все о моде - высокопроизводительная логическая структура, как определять, программировать и проверять системы в переписывании логики, том 4350 конспектов лекций по информатике, М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Л. Талкотт, Springer 4, 50-88, 2007 цитируется 205
  • Логика пути: символический анализ биологической сигнализации, S Eker, M Knapp, K Laderoute, P Lincoln, J Meseguer, K Sonmez, Pacific symposium on Biocomputing 7, 400-412, 2002 цитируется 195
  • Перезапись нескольких наборов и сложность протоколов ограниченной безопасности, Н. Дургин, П. Линкольн, Дж. Митчелл, А. Щедров, Журнал компьютерной безопасности 12 (2), 247-311, 2004 процитировано 194
  • Maude manual (версия 2.6), М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Талкотт, Иллинойсский университет, Урбана-Шампейн 1 (3), 4.6, 2011 г. процитировано 204
  • Формально проверенный алгоритм интерактивной согласованности в гибридной модели сбоев, П. Линкольн, Дж. Рашби, Отказоустойчивые вычисления, 1993. FTCS-23. Digest of Papers., 1993. Также появляется в FTCS: Highlights from 25 Years, 1995, pp. 438–447. цитируется 128
  • О методике решения Шостака для комбинаций теорий, Д. Цирлюк, П. Линкольн, Н. Шанкар, Автоматическое вычисление - CADE-13, 463-477, 1996 цитируется 109
  • Совместное использование с сохранением конфиденциальности и исправление предупреждений системы безопасности, П. Линкольн, П. Поррас, В. Шматиков, Труды 13-й конференции, посвященной симпозиуму по безопасности USENIX, том 13, 17-17, 2004 г. цитируется 136

Патенты

Доктор Линкольн имеет более 40 патентов в различных областях, включая компьютерную безопасность, системы с высоким уровнем гарантии, расширенные пользовательские интерфейсы, компьютерные сети, робототехнику, биотехнологии и нанотехнологии. Выбранное подмножество приведено ниже.

Компьютерная и информационная безопасность
  • Визуально интуитивно понятная интерактивная сетевая киберзащита, Р. Сенанаяке, П. А. Поррас, П. Д. Линкольн, Патентное приложение США. 14/733 899, 2016
  • Метод, система и устройство для определения текущего контекста мобильного пользователя и упреждающего оказания помощи, К. К. Нитц, П. Д. Линкольн, К. Л. Майерс, Х. Х. Буй, Р. Сенанаяке, Г. Денкер, В. Марк, Н. Д. Винарский, С. С. Вайнер, Патент США 13585003, 2014
  • {TRIST}: Обойти цензуру с помощью стеганографии изображений, устойчивых к перекодированию, К. Коннолли, П. Линкольн, И. Мейсон, В. Егнесваран, 4-й семинар {USENIX} по свободным и открытым коммуникациям в Интернете ({FOCI} 14), 2014 г.
  • Система и способ аутентификации произведенного продукта с помощью мобильного устройства, С. М. Экер, П. Д. Линкольн, Патент США 8,534,543, 2013 и Патент США 8,534,544, 2013
  • Система и метод использования информационных индикаторов для защиты и аутентификации транзакций, П. Д. Линкольн, Н. Шанкар, Патент США 7,117,363, 2006 и Патент США 8,171,297, 2012
  • Система и метод классификации безопасности на основе решеток, П. Д. Линкольн, С. М. Доусон, П. Самарати, SDC di Vimercati, Патент США 6,922,696, 2005
Системы высокой надежности
  • Формальные методы моделирования и анализа гибридных систем, А Тивари, Полицейский Линкольн, Патент США 7,574,334, 2009
Расширенные совместные мультимодальные пользовательские интерфейсы
  • Адаптируемое управляемое устройство ввода со встроенным датчиком приближения, Р. Сенанаяке, Дж. Денкер, П. Д. Линкольн, Дж. Мюррей, С. С. Вайнер, Патент США 20130215.038, 2013
  • Метод адаптивного взаимодействия с устаревшим программным приложением, Р. Сенанаяке, Дж. Денкер, П. Д. Линкольн, Дж. Мюррей, С. С. Вайнер, Патент США 20130215005, 2013
  • Адаптируемое устройство ввода / вывода, Р. Сенанаяке, Дж. Денкер, П. Д. Линкольн, Р. Д. Корнблу, С. Дж. Линкольн, Р. П. Хейдт, Х ..., Патент США 20120313857 2012 и Патент США 20120313854, 2012
Компьютерная сеть
  • Способ и устройство для обработки сетевых пакетов., П. Д. Линкольн, С. М. Экер, Патент США 7,706,378, 2010
  • Методы и устройства для масштабируемого распределенного управления виртуальными частными сетями, DWJ Stringer-Calvert, SM Dawson, PD Lincoln, Патент США 7,403,980, 2008
  • Способ и устройство для обеспечения масштабируемого обнаружения ресурсов, DWJ Stringer-Calvert, PD Lincoln, SM Dawson, Патент США 7,177,867, 2007
  • Способ и устройство для создания, распространения и восстановления деконструированного видео., П. Д. Линкольн, Д. Д. Стрингер-Калверт, С. М. Доусон, Патент США 7095444, 2006
Робототехника
  • Роботы для ползания по стенам, Р. Э. Пелрин, Х. Прахлад, Р. Д. Корнблу, П. Д. Линкольн, С. Стэнфорд, Патент США 7,554,787, 2009, Патент США 7,554,784, 2009, и Патент США 8,111,500, 2012
Биотехнологии
  • Устройство для усиления биомолекулярной связи в наномасштабе, Полицейский Линкольн, Патентное приложение США. 12/215 239, 2008, и Патент США 7,985,385, 2011
  • Моделирование и оценка путей метаболических реакций и культивирование клеток, С. М. Экер, П. Д. Линкольн, П. Д. Карп, П. Ромеро, Патент США 7,308,363, 2007
  • Сравнение биополимерных последовательностей, Л. Р. Толл, П. Д. Линкольн, П. Д. Карп, К. Сонмез, Патент США 7,133,781, 2006
  • Модель отношений данных, К. Сонмез, Л. Р. Толл, П. Д. Линкольн, П. Д. Карп, Патент США 7039238, 2006
  • Метод и устройство для классификации ответов нуклеиновых кислот на инфекционные агенты, П. Д. Линкольн, С. М. Экер, Патентное приложение США. 11/335 982, 2006
  • Метод и устройство для корреляции в реальном времени данных, полученных с биологических датчиков, PD Lincoln, ADJ Valdes, PA Porras, Патентное приложение США. 11/073 257, 2005
Нанотехнологии
  • Устройство наномасштабной объемной визуализации, имеющее по меньшей мере одно микромасштабное устройство для электрического соединения по меньшей мере одного адресного массива со средством обработки данных, PD Линкольн, CM Паттон, Патент США 7,683,303, 2010
  • Сублитографическая наноразмерная архитектура памяти, А. Дехон, К. М. Либер, П. Д. Линкольн, Дж. Сэвидж, Патент США 6,963,077, 2005 и Патент EP 1,525,586, 2007
  • Схема выбора в наномасштабе, А. Дехон, П. Д. Линкольн, К. М. Либер, Дж. Сэвидж, Патент EP 1,758,126, 2007
  • Стохастическая сборка сублитографических наноразмерных интерфейсов, А. ДеХон, К. М. Либер, П. Д. Линкольн, Дж. Э. Сэвидж, Патент США 6,900,479, 2005 и Патент EP 1,525,585, 2005
  • Трехмерный массив памяти, А. Дехон, П. Д. Линкольн, К. М. Либер, Дж. Сэвидж, Патент EP 1630819, 2009

Рекомендации

  1. ^ а б c "Патрик Линкольн". SRI International Лаборатория компьютерных наук. Получено 2014-01-12.
  2. ^ "Консультации по генеалогии Патрика Линкольна". SRI International Лаборатория компьютерных наук. Получено 2013-01-12.
  3. ^ "Патрик Деннис Линкольн". Проект "Математическая генеалогия". Государственный университет Северной Дакоты. Получено 2014-01-12.
  4. ^ "Патрик Линкольн, директор Лаборатории компьютерных наук | SRI International". www.sri.com. Получено 2019-08-04.
  5. ^ «создание Центра передового опыта НИИ в области вычислительной биологии | SRI International». www.sri.com. Получено 2019-08-04.
  6. ^ «НИИ Лаборатория компьютерных наук». SRI International.
  7. ^ «Лаборатория компьютерных наук». www.csl.sri.com. Получено 2019-08-04.
  8. ^ «Горизонт - победа над хакерами». computer-literacy-project.pilots.bbcconnectedstudio.co.uk. Получено 2019-08-04.
  9. ^ «Восстание хакеров». www.pbs.org. Получено 2019-08-04.
  10. ^ «Победа над хакерами». Горизонт. BBC. 2013-10-01. Получено 2014-01-27.
  11. ^ SRI International (2013-10-01). «Кортикальная криптография на BBC Horizon». Twitter. Получено 2014-01-27.
  12. ^ Мец, Рэйчел (2013-06-06). "Пароль настолько секретный, что вы его не знаете". Обзор технологий MIT. Массачусетский технологический институт. Получено 2013-02-25.
  13. ^ "Neurome inc". Neurome Inc.. Получено 2019-08-04.
  14. ^ реляционный AI. «relationalAI - AI для предприятия». реляционный. Получено 2019-08-04.
  15. ^ «Стипендиаты НИИ». SRI International. Получено 2013-01-12.
  16. ^ «PRDC 2013». prdc.dependability.org. Получено 2019-08-04.
  17. ^ "Google ученый". scholar.google.com. Получено 2019-08-04.

внешняя ссылка